Correct Reasoning pp 57-71
Parameterized Splitting: A Simple Modification-Based Approach
In an important and much cited paper Vladimir Lifschitz and Hudson Turner have shown how, under certain conditions, logic programs under answer set semantics can be split into two disjoint parts, a “bottom” part and a “top” part. The bottom part can be evaluated independently of the top part. Results of the evaluation, i.e., answer sets of the bottom part, are then used to simplify the top part. To obtain answer sets of the original program one simply has to combine an answer set of the simplified top part with the answer set which was used to simplify this part. Similar splitting results were later proven for other nonmonotonic formalisms and also Dung style argumentation frameworks.
In this paper we show how the conditions under which splitting is possible can be relaxed. The main idea is to modify also the bottom part before the evaluation takes place. Additional atoms are used to encode conditions on answer sets of the top part that need to be fulfilled. This way we can split in cases where proper splitting is not possible. We demonstrate this idea for argumentation frameworks and logic programs.
Unable to display preview. Download preview PDF.
- 2.Baroni, P., Giacomin, M.: Semantics of abstract argument systems. In: Rahwan, I., Simari, G.R. (eds.) Argumentation in Artificial Intelligence, pp. 25–44. Springer (2009)Google Scholar
- 8.Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Logic Programming: Proceedings of the Fifth International Conference and Symposium, pp. 1070–1080. MIT Press, Cambridge (1988)Google Scholar
- 13.Lifschitz, V., Turner, H.: Splitting a logic program. In: Van Hentenryck, P. (ed.) Proceedings of the Eleventh International Conference on Logic Programming (ICLP 1994), pp. 23–27. MIT Press (1994)Google Scholar
- 15.Turner, H.: Splitting a default theory. In: Clancey, W.J., Weld, D.S. (eds.) Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference (AAAI/IAAI), vol. 1, pp. 645–651. AAAI Press / The MIT Press (1996)Google Scholar