Abstract
The relationship between the disjunctive stable semantics and argumentation is rarely explored. In particular, the problem of how to perform argumentation with disjunctive logic programs by the disjunctive stable semantics is still open. This paper attempts to address this problem and a satisfied solution is provided, in which a disjunctive logic program is naturally transformed into an argument framework and the credulous argumentation is characterized as the maximal members of all acceptable hypotheses. In this semantic framework, some interesting results are obtained. In particular, it is shown that the formalism of credulous argumentation can be implemented through the disjunctive stable models. As a result, the work provides not only a new way of performing argumentation (abduction) in disjunctive deductive databases, but also a natural and complete extension for the disjunctive stable semantics.
Similar content being viewed by others
References
Przymunski, T., Stable semantics for disjunctive programs.New Generation Computing, 1991, 9: 401.
Wang Kewen, Chen Huowang, Wu Quanyuan, Argumentation in disjunctive logic programming,Science in China (in Chinese), Ser. E, 1997, 28(1): 90.
Gelfond, M., Lifschitz, V., The stable model semantics for logic programming, inProc. 5th Int'l Conf. Symp. on Logic Programming, Seattle, 1988 (eds. Kowalski, R., Bowen, K.), Cambridge, MA: MIT Press, 1988, 1070–1080
Levi, G.,Advances in Logic Programming Theory Oxford: Clarendon, 1994, 1–53.
Wang Kewen, An abductive framework for disjunctive logic programming,Nankai University Technical Report NIM12, 1995.
Torres, A., A nondeterministic well-founded semantics,Annals of Math. and AI, 1995, 14; 37.
Sato T., Completed logic programs and their consistency,J. Logic Programming, 1990, 9(1): 33.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Wang, K., Chen, H. & Wu, Q. Credulous argumentation with the disjunctive stable semantics. Sci. China Ser. E-Technol. Sci. 41, 330–336 (1998). https://doi.org/10.1007/BF02919444
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02919444