δείτε την πρωτότυπη σελίδα τεκμηρίου
στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*
κοινοποιήστε το τεκμήριο




1993 (EL)

A full theorem-prover under uncertainty (EN)

Papakonstantinou, G (EN)
Panayiotopoulos, T (EN)

Prolog embodies an ordered input resolution inference mechanism, with a powerful unification procedure. However, Prolog is not a full theorem-prover, and does not contain an inexact reasoning mechanism. In this paper, it is shown how these capabilities can be combined in a Prolog environment. A Prolog meta-interpreter is used in an elegant and simple way for this purpose. The inexact reasoning mechanism is presented through the certainty factor model, but it is also discussed how other inexact reasoning models may be also implemented. © 1993 Kluwer Academic Publishers. (EN)

journalArticle (EN)

model elimination (EN)
theorem-proving (EN)
certainty (EN)
Prolog (EN)
Computer Science, Artificial Intelligence (EN)
EXPERT SYSTEMS (EN)
inexact reasoning (EN)
Robotics (EN)


Journal of Intelligent & Robotic Systems (EN)

Αγγλική γλώσσα

1993 (EN)

ISI:A1993KQ70800002 (EN)
2 (EN)
149 (EN)
10.1007/BF01257816 (EN)
7 (EN)
139 (EN)
0921-0296 (EN)

Kluwer Academic Publishers (EN)




*Η εύρυθμη και αδιάλειπτη λειτουργία των διαδικτυακών διευθύνσεων των συλλογών (ψηφιακό αρχείο, καρτέλα τεκμηρίου στο αποθετήριο) είναι αποκλειστική ευθύνη των αντίστοιχων Φορέων περιεχομένου.