Developing an inference engine for CR-Prolog with preferences

Show full item record

Title: Developing an inference engine for CR-Prolog with preferences
Author: Kolvekar, Loveleen
Abstract: In recent years , A -Prolog with answer set semantics was shown to be a useful tool for knowledge representation and reasoning . A -Prolog is a declarative language based on stable models of logic programs . It allows the encoding of defaults and various other types of knowledge contained in dynamic domains . It seems however that A -Prolog lacks the ability to gracefully perform the reasoning needed for certain types of conflict resolution , e .g . finding the best explanations of unexpected observations . To solve this problem CR -Prolog - an extension of A -Prolog by consistency restoring rules with preferences was introduced . The most intuitive solutions correspond to those models that best satisfy the preferences expressed , and minimize the application of cr -rules . The goal of this work is to develop an inference engine for computing the answer sets of CR -Prolog program automatically . The inference engine handles preferences efficiently .
URI: http : / /hdl .handle .net /2346 /19377
Date: 2004-12


Developing an inference engine for CR-Prolog with preferences. Master's thesis, Texas Tech University. Available electronically from http : / /hdl .handle .net /2346 /19377 .

Files in this item

Files Size Format View
31295019601672.pdf 2.107Mb application/pdf View/Open

This item appears in the following Collection(s)

Show full item record

Search DSpace

Advanced Search