Unfolding Partiality and Disjunctions in Stable Model Semantics

Details Unfolding Partiality and Disjunctions in Stable Model Semantics Unfolding Partiality and Disjunctions in Stable Model Semantics

2003-03-14

arxiv.org/abs/cs/0303009v2

Computer Science

Artificial Intelligence

49 pages, 4 figures, 1 table

Scientific paper

The paper studies an implementation methodology for partial and disjunctive stable models where partiality and disjunctions are unfolded from a logic program so that an implementation of stable models for normal (disjunction-free) programs can be used as the core inference engine. The unfolding is done in two separate steps. Firstly, it is shown that partial stable models can be captured by total stable models using a simple linear and modular program transformation. Hence, reasoning tasks concerning partial stable models can be solved using an implementation of total stable models. Disjunctive partial stable models have been lacking implementations which now become available as the translation handles also the disjunctive case. Secondly, it is shown how total stable models of disjunctive programs can be determined by computing stable models for normal programs. Hence, an implementation of stable models of normal programs can be used as a core engine for implementing disjunctive programs. The feasibility of the approach is demonstrated by constructing a system for computing stable models of disjunctive programs using the smodels system as the core engine. The performance of the resulting system is compared to that of dlv which is a state-of-the-art special purpose system for disjunctive programs.

Affiliated with

Also associated with

No associations

Rating

Unfolding Partiality and Disjunctions in Stable Model Semantics 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 Unfolding Partiality and Disjunctions in Stable Model Semantics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Unfolding Partiality and Disjunctions in Stable Model Semantics will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-291812