NAF-Based Logic Semantics: Proof-Theoretic Generalization and Non-Ground Extension

dc.contributor.advisorGupta, Gopal
dc.creatorSalazar, Elmer E
dc.date.accessioned2020-01-28T20:13:34Z
dc.date.available2020-01-28T20:13:34Z
dc.date.created2019-08
dc.date.issued2019-07-19
dc.date.submittedAugust 2019
dc.date.updated2020-01-28T20:13:34Z
dc.description.abstractThere are several semantics based for negation as failure in logic programming. These semantics can be realized with a combination of induction and coinduction, and this realization can be used to develop a goal-directed method of computing models. In essence, the difference between these semantics is how they resolve the unstratified portions of a program. Two major, but related, topics are covered. Firstly, while being restricted to the propositional case, we show how a semantics is a mixture of induction and coinduction, and how we can use coinduction to resolve the cycles formed by the rules in a program. We present denotational semantics based on a fixed point of a function, and show its equivalence to the use of induction and coinduction. We take a look at the different ways a semantics may resolve cycles, and show how to implement two popular semantics, well-founded and stable models, as well as costable model semantics. Finally, we present operational semantics as a parametrized goal-directed algorithm that allows us to determine how cycles are resolved. Secondly, a Method for computing stable models of normal logic programs, i.e., logic programs extended with negation, in the presence of predicates with arbitrary terms will be presented. Such programs need not have a finite grounding, so traditional methods do not apply. This method relies on the use of a non-Herbrand universe, as well as coinduction, constructive negation and a number of other novel techniques. Using this method, a normal logic program with predicates can be executed directly under the stable model semantics without requiring it to be grounded either before or during execution and without requiring that its variables range over a finite domain. As a result, the method is quite general and supports the use of terms as arguments, including lists and complex data structures.
dc.format.mimetypeapplication/pdf
dc.identifier.urihttps://hdl.handle.net/10735.1/7192
dc.language.isoen
dc.rights©2019 Elmer E. Salazar, All Rights Reserved.
dc.subjectLogic programming
dc.subjectSemantic computing
dc.titleNAF-Based Logic Semantics: Proof-Theoretic Generalization and Non-Ground Extension
dc.typeDissertation
dc.type.materialtext
thesis.degree.departmentComputer Science
thesis.degree.grantorThe University of Texas at Dallas
thesis.degree.levelDoctoral
thesis.degree.namePHD

Files

Original bundle

Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
ETD-5608-011-SALAZAR-260799.23.pdf
Size:
808.34 KB
Format:
Adobe Portable Document Format
Description:
Dissertation

License bundle

Now showing 1 - 2 of 2
No Thumbnail Available
Name:
LICENSE.txt
Size:
1.84 KB
Format:
Plain Text
Description:
No Thumbnail Available
Name:
PROQUEST_LICENSE.txt
Size:
5.84 KB
Format:
Plain Text
Description: