Computer Science – Artificial Intelligence
Scientific paper
2000-10-25
Computer Science
Artificial Intelligence
47 pages, revised version of the paper submitted 10/2000
Scientific paper
The Autoepistemic Logic of Knowledge and Belief (AELB) is a powerful nonmonotic formalism introduced by Teodor Przymusinski in 1994. In this paper, we specialize it to a class of theories called `super logic programs'. We argue that these programs form a natural generalization of standard logic programs. In particular, they allow disjunctions and default negation of arbibrary positive objective formulas. Our main results are two new and powerful characterizations of the static semant ics of these programs, one syntactic, and one model-theoretic. The syntactic fixed point characterization is much simpler than the fixed point construction of the static semantics for arbitrary AELB theories. The model-theoretic characterization via Kripke models allows one to construct finite representations of the inherently infinite static expansions. Both characterizations can be used as the basis of algorithms for query answering under the static semantics. We describe a query-answering interpreter for super programs which we developed based on the model-theoretic characterization and which is available on the web.
Brass Stefan
Dix Juergen
Przymusinski Teodor C.
No associations
LandOfFree
Super Logic Programs does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Super Logic Programs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Super Logic Programs will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-105441