Date of Award
Summer 7-15-2010
Degree Type
Thesis
Degree Name
Master of Science (MS)
Department
Computer Science
First Advisor
Dr. Rajshekhar Sunderraman
Second Advisor
Dr. Sushil K. Prasad-Committee Member
Third Advisor
Dr. Yanqing Zhang-Committee Member
Abstract
The aim of this thesis is to develop faster method for stable model computation of non-stratified logic programs and study its efficiency. It focuses mainly on the stable model and weak well founded semantics of logic programs. We propose an approach to compute stable models by where we first transform the logic program using paraconsistent relational model, then we compute the weak-well founded model which is used to generate a set of models consisting of the true and unknown values, which are tested for stability. We perform some experiments to test the efficiency of our approach which incurs overhead to eliminate negative values against a Naïve method of stable model computation.
DOI
https://doi.org/10.57709/1397210
Recommended Citation
Khabya, Komal, "A Novel Stable Model Computation Approach for General Dedcutive Databases." Thesis, Georgia State University, 2010.
doi: https://doi.org/10.57709/1397210