Unit:
Κατεύθυνση / ειδίκευση Θεωρητική Πληροφορική (ΘΕΩ)Library of the School of Science
Author:
Τρουμπούκης Αντώνιος
Supervisors info:
Παναγιώτης Ροντογιάννης Αναπλ.Καθηγ. (επιβλέπων), Παναγιώτης Σταματόπουλος Επικ. Καθηγ.
Original Title:
Λογικός προγραμματισμός με προτιμήσεις στην απειρότιμη λογική
Summary:
In this thesis we propose a new extension of Logic Programming. We introduce two
unary preference operators with the meaning “optionally” and “alternatively”
respectively, which can occur in the bodies of the clauses. In addition, we
dene xed-point semantics for this new language. The semantics is based on
Innitesimal Logic, an extension of classical two-valued logic, in which there
are innite truth values that are “less true” than “standard” truth, and
innite truth values that are “less false” than “standard” falsity. These
dierent levels of truth values correspond to dierent degrees of preferences.
Keywords:
Logic Programming, Fixed-point Semantics, Preferences, In?nitesimal Logic, Non-classical Logics