Computer Science – Artificial Intelligence
Scientific paper
2011-02-26
Computer Science
Artificial Intelligence
25 pages; extended version of the paper accepted for LPNMR 2011
Scientific paper
Rules in logic programming encode information about mutual interdependencies between literals that is not captured by any of the commonly used semantics. This information becomes essential as soon as a program needs to be modified or further manipulated. We argue that, in these cases, a program should not be viewed solely as the set of its models. Instead, it should be viewed and manipulated as the set of sets of models of each rule inside it. With this in mind, we investigate and highlight relations between the SE-model semantics and individual rules. We identify a set of representatives of rule equivalence classes induced by SE-models, and so pinpoint the exact expressivity of this semantics with respect to a single rule. We also characterise the class of sets of SE-interpretations representable by a single rule. Finally, we discuss the introduction of two notions of equivalence, both stronger than strong equivalence [1] and weaker than strong update equivalence [2], which seem more suitable whenever the dependency information found in rules is of interest.
Leite João
Slota Martin
No associations
LandOfFree
Back and Forth Between Rules and SE-Models (Extended Version) 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 Back and Forth Between Rules and SE-Models (Extended Version), we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Back and Forth Between Rules and SE-Models (Extended Version) will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-302115