Abduction, ASP and Open Logic Programs

Details Abduction, ASP and Open Logic Programs Abduction, ASP and Open Logic Programs

2002-07-07

arxiv.org/abs/cs/0207021v1

Computer Science

Artificial Intelligence

7 pages, NMR'02 Workshop

Scientific paper

Open logic programs and open entailment have been recently proposed as an abstract framework for the verification of incomplete specifications based upon normal logic programs and the stable model semantics. There are obvious analogies between open predicates and abducible predicates. However, despite superficial similarities, there are features of open programs that have no immediate counterpart in the framework of abduction and viceversa. Similarly, open programs cannot be immediately simulated with answer set programming (ASP). In this paper we start a thorough investigation of the relationships between open inference, abduction and ASP. We shall prove that open programs generalize the other two frameworks. The generalized framework suggests interesting extensions of abduction under the generalized stable model semantics. In some cases, we will be able to reduce open inference to abduction and ASP, thereby estimating its computational complexity. At the same time, the aforementioned reduction opens the way to new applications of abduction and ASP.

Affiliated with

Also associated with

No associations

Rating

Abduction, ASP and Open 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 Abduction, ASP and Open Logic Programs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Abduction, ASP and Open Logic Programs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-573859