Applications of Intuitionistic Logic in Answer Set Programming

Computer Science – Logic in Computer Science

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

30 pages, Under consideration for publication in Theory and Practice of Logic Programming

Scientific paper

We present some applications of intermediate logics in the field of Answer Set Programming (ASP). A brief, but comprehensive introduction to the answer set semantics, intuitionistic and other intermediate logics is given. Some equivalence notions and their applications are discussed. Some results on intermediate logics are shown, and applied later to prove properties of answer sets. A characterization of answer sets for logic programs with nested expressions is provided in terms of intuitionistic provability, generalizing a recent result given by Pearce. It is known that the answer set semantics for logic programs with nested expressions may select non-minimal models. Minimal models can be very important in some applications, therefore we studied them; in particular we obtain a characterization, in terms of intuitionistic logic, of answer sets which are also minimal models. We show that the logic G3 characterizes the notion of strong equivalence between programs under the semantic induced by these models. Finally we discuss possible applications and consequences of our results. They clearly state interesting links between ASP and intermediate logics, which might bring research in these two areas together.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

Applications of Intuitionistic Logic in Answer Set Programming 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 Applications of Intuitionistic Logic in Answer Set Programming, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Applications of Intuitionistic Logic in Answer Set Programming will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-478615

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.