An Environment for the Exploration of Non Monotonic Logic Programs

Details An Environment for the Exploration of Non Monotonic Logic Programs An Environment for the Exploration of Non Monotonic Logic Programs

2001-11-19

arxiv.org/abs/cs/0111049v1

Computer Science

Programming Languages

* In A. Kusalik (ed), Proceedings of the Eleventh International Workshop on Logic Programming Environments (WLPE'01), December

Scientific paper

Stable Model Semantics and Well Founded Semantics have been shown to be very useful in several applications of non-monotonic reasoning. However, Stable Models presents a high computational complexity, whereas Well Founded Semantics is easy to compute and provides an approximation of Stable Models. Efficient engines exist for both semantics of logic programs. This work presents a computational integration of two of such systems, namely XSB and SMODELS. The resulting system is called XNMR, and provides an interactive system for the exploration of both semantics. Aspects such as modularity can be exploited in order to ease debugging of large knowledge bases with the usual Prolog debugging techniques and an interactive environment. Besides, the use of a full Prolog system as a front-end to a Stable Models engine augments the language usually accepted by such systems.

Affiliated with

Also associated with

No associations

Rating

An Environment for the Exploration of Non Monotonic 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 An Environment for the Exploration of Non Monotonic Logic Programs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An Environment for the Exploration of Non Monotonic Logic Programs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-394598