×

Argument-based extended logic programming with defeasible priorities. (English) Zbl 0877.68019

Summary: Inspired by legal reasoning, this paper presents a semantics and proof theory of a system for defeasible argumentation. Arguments are expressed in a logic-programming language with both weak and strong negation, conflicts between arguments are decided with the help of priorities on the rules. An important feature of the system is that these priorities are not fixed, but are themselves defeasibly derived as conclusions within the system. Thus debates on the choice between conflicting arguments can also be modelled. The semantics of the system is given with a fixpoint definition, while its proof theory is stated in dialectical style, where a proof takes the form of a dialogue between a proponent and an opponent of an argument: an argument is shown to be justified if the proponent can make the opponent run out of moves in whatever way the opponent attacks.

MSC:

68N17 Logic programming
68T30 Knowledge representation
68T27 Logic in artificial intelligence
03B80 Other applications of logic
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Analyti A., Journal of Logic and Computation 5 pp 303– (1995) · Zbl 0826.68076 · doi:10.1093/logcom/5.3.303
[2] Baral C., Proceedings of the International Workshop on Logic Programming and Nonmonotonic Reasoning (1991)
[3] Bondarenko A., Proceedings of the Second International Workshop on Logic Programming and Nonmonotonic Reasoning pp 171– (1993)
[4] Brewka G., Proceedings AAAI-94 pp 247–
[5] Brewka G., Proceedings of the 11th European Conference on Artificial Intelligence pp 366–
[6] Brewka G., Journal of Artificial Intelligence Research 4 pp 1936– (1996)
[7] Dung P. M., Proceedings of the Tenth Logic Programming Conference 1993 pp 616–
[8] Dung, P. M. Logic programming as dialogue games. Unpublished paper
[9] Dung P. M., Artificial Intelligence 77 pp 321– (1995) · Zbl 1013.68556 · doi:10.1016/0004-3702(94)00041-X
[10] Geffner H., Artificial Intelligence 53 pp 209– (1992) · Zbl 1193.68235 · doi:10.1016/0004-3702(92)90071-5
[11] Gordon T. F., The Pleadings Game. An Artificial Intelligence Model of Procedural Justice. (1995)
[12] Grosof B. N., Proceedings Common Sense ’93: The second Symposium on Logical Formalizations of Common-Sense Reasoning (1993)
[13] Horty J. F., Artificial Intelligence 42 pp 311– (1990) · Zbl 0717.68085 · doi:10.1016/0004-3702(90)90057-7
[14] Laenens E., Journal of Logic and Computation 1 pp 159– · Zbl 0723.68068 · doi:10.1093/logcom/1.2.159
[15] Lifschitz V. L., Journal of Philosophical Logic 17 pp 391– (1988) · Zbl 0825.68634 · doi:10.1007/BF00297512
[16] Loui R. P., Computational Intelligence 2 pp 100– (1987) · doi:10.1111/j.1467-8640.1987.tb00178.x
[17] Loui R. P., Computational Intelligence. (1993)
[18] Loui R. P., Artificial Intelligence and Law 3 pp 159– (1995) · Zbl 05388682 · doi:10.1007/BF00872529
[19] P Loui R., Proceedings of Fourth International Conference on Artificial Intelligence and Law, ACM Press pp 202– (1993)
[20] Nute D., Decision Support Systems 4 pp 97– (1988) · doi:10.1016/0167-9236(88)90100-5
[21] Nute D., Logic, Methodology and Philosophy of Science IX. pp 263– (1994)
[22] Pollock J. L., Cognitive Science 11 pp 481– (1987) · doi:10.1207/s15516709cog1104_4
[23] Prakken H., Proceedings of the Third International Conference on Artificial Intelligence and Law, Oxford 1991. ACM Press pp 165– (1991) · doi:10.1145/112646.112666
[24] Prakken H., Annals of Mathematics and Artificial Intelligence 9 (1993) pp 91–
[25] Prakken H., Proceedings of the Second Dutch/German Workshop on Nonmonotonic Reasoning, Utrecht pp 152– (1995)
[26] Prakken H., Proceedings of the International Conference on Formal Aspects of Practical Reasoning (FAPR’96) pp 510– (1996)
[27] Prakken H., Artificial Intelligence and Law. · Zbl 0995.03023
[28] Rescher N., Dialectics: a controversy-oriented approach to the theory of knowledge. State University of New York Press, Albany (1977)
[29] Sartor G., Ratio Juris 7 pp 212– (1994) · doi:10.1111/j.1467-9337.1994.tb00176.x
[30] Simari G. R., Artificial Intelligence 53 pp 125– (1992) · Zbl 1193.68238 · doi:10.1016/0004-3702(92)90069-A
[31] Vreeswijk G., Studies in defeasible argumentation. Doctoral dissertation Free University Amsterdam (1993) · Zbl 0789.03026
[32] Vreeswijk G., Journal of Logic and Computation pp 317– (1993) · Zbl 0789.03026 · doi:10.1093/logcom/3.3.317
[33] Wagner G., Vivid logic–Knowledge-based reasoning with two kinds of negation. · Zbl 0806.68105
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.