Abstract argumentation systems. (English) Zbl 1017.03513
Summary: We develop a theory of abstract argumentation systems. An abstract argumentation system is a collection of ”defeasible proofs’, called arguments, that is partially ordered by a relation expressing the difference in conclusive force. The prefix ”abstract” indicates that the theory is concerned neither with a specification of the underlying language, nor with the development of a subtheory that explains the partial order. An unstructured language, without logical connectives such as negation, makes arguments not (pairwise) inconsistent, but (groupwise) incompatible. Incompatibility and difference in conclusive force cause defeat among arguments. The aim of the theory is to find out which arguments eventually emerge undefeated. These arguments are considered to be in force. Several results are established. The main result is that arguments that are in force are precisely those that are in the limit of a so-called complete argumentation sequence.
Software:
OSCARReferences:
| [1] | Apt, K. R.; van Emden, M. H., Contributions to the theory of logic programming, J. ACM, 29, 3, 841-862 (1982) · Zbl 0483.68004 |
| [2] | Ashley, K. D.; Aleven, V., What law students need to know to WIN, (Proceedings 4th International Conference on AI and Law (1993), ACM Press: ACM Press New York), 152-161 |
| [3] | Avron, A., The semantics and proof theory of linear logic, Theor. Comput. Sci., 57, 161-184 (1988) · Zbl 0652.03018 |
| [4] | Bundy, A., (The Computer Modelling of Mathematical Reasoning (1983), Academic Press: Academic Press New York) · Zbl 0541.68067 |
| [5] | Chisholm, R., Theory of Knowledge, (Foundations of Philosophy Series (1977), Prentice-Hall: Prentice-Hall Englewood Cliffs, NJ) · Zbl 0163.22203 |
| [6] | Copi, I. M.; Cohen, C., (Introduction to Logic (1953), Macmillan: Macmillan New York) |
| [7] | de Kleer, J., An assumption-based TMS, Artif. Intell., 28, 163-196 (1986) |
| [8] | Dung, P. M., On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and human’s social and economical affairs (1994), Manuscript |
| [9] | Dung, P. M., On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(N\)-person games, Artif. Intell., 77, 321-357 (1995) · Zbl 1013.68556 |
| [10] | Gordon, T. F., The pleadings game: formalizing procedural justice, (Proceedings 4th International Conference on AI and Law (1993), ACM Press: ACM Press New York), 10-19 |
| [11] | Gärdenfors, P., (Knowledge in Flux: Modelling the Dynamics of Epistemic States (1988), MIT Press/Bradford Books: MIT Press/Bradford Books London) · Zbl 1229.03008 |
| [12] | Hage, J. C., (Report SKBS/B3.A/93-8 (1993), Department of Metajuridica: Department of Metajuridica University of Limburg, Maastricht), also |
| [13] | Hage, J. C.; Leenes, R.; Lodder, A. R., Hard cases: a procedural approach, (Artificial Intelligence and Law, 2 (1994), Kluwer Academic Publishers: Kluwer Academic Publishers Dordrecht), 113-167 |
| [14] | Hage, J. C.; Verheij, H. B., (Report SKBS/B3.A/93-8 (1993), Department of Metajuridica, University of Limburg: Department of Metajuridica, University of Limburg Maastricht), also |
| [15] | Hamblin, C. L., (Fallacies (1970), Methuen: Methuen London) |
| [16] | Horty, J. F.; Thomason, R. H., Mixing strict and defeasible inheritance, (Proceedings AAAI-88. Proceedings AAAI-88, St. Paul, MN (1988)), 427-432 |
| [17] | Konolige, K., Defeasible argumentation in reasoning about events, (Ras, Z. W.; Saitta, L., Methodologies for Intelligent Systems, 3 (1988), Elsevier: Elsevier Amsterdam), 380-390 |
| [18] | Kowalski, R. A., (Logic for Problem Solving (1979), Elsevier North-Holland: Elsevier North-Holland New York) · Zbl 0426.68002 |
| [19] | Lin, F., An argument-based approach to nonmonotonic reasoning, Comput. Intell., 9, 254-267 (1993) |
| [20] | Lin, F.; Shoham, Y., Argument systems: a uniform basis for nonmonotonic reasoning, (Proceedings First International Conference on Knowledge Representation and Reasoning. Proceedings First International Conference on Knowledge Representation and Reasoning, Toronto, Ont. (1989)), 245-255 · Zbl 0709.68089 |
| [21] | Loui, R. P., Defeat among arguments: a system of defeasible inference, Comput. Intell., 3, 100-106 (1987) |
| [22] | Loui, R. P., Defeat among arguments II, (Report WUCS-89-06 (1989), Department of Computer Science, Washington University: Department of Computer Science, Washington University St. Louis, MO) · Zbl 0907.03011 |
| [23] | Loui, R. P., Argument and arbitration games, Working notes of the workshop on computational dialectics, (Proceedings AAAI-94. Proceedings AAAI-94, Seattle, WA (1994)), 72-83 |
| [24] | Loui, R. P.; Norman, J.; Olson, J.; Merrill, A., (Report WUCS-93-03 (1993), Department of Computer Science, Washington University: Department of Computer Science, Washington University St. Louis, MO), also |
| [25] | Lukaszewicz, W., Nonmonotonic Reasoning: Formalisation of Commonsense Reasoning, (Series in Artificial Intelligence (1990), Ellis Horwood: Ellis Horwood New York) |
| [26] | Makinson, D.; Schlechta, K., Floating conclusions and zombie paths: two deep difficulties in the “directly skeptical” approach to inheritance nets, Artif. Intell., 48, 199-209 (1991) · Zbl 1117.68493 |
| [27] | Martins, J. P.; Shapiro, S. C., A model for belief revision, Artif. Intell., 35, 25-79 (1988) · Zbl 0646.68109 |
| [28] | Meyer, J.-J. C.; van der Hoek, W., A modal logic for nonmonotonic reasoning, (van der Hoek, W.; Meyer, J.-J. C.; Tan, Y. H.; Witteveen, C., Nonmonotonic Reasoning and Partial Semantics. Nonmonotonic Reasoning and Partial Semantics, Ellis Horwood Series in Artificial Intelligence (1992), Prentice-Hall: Prentice-Hall Englewood Cliffs, NJ), 37-78 |
| [29] | Nute, D., A non-monotonic logic based on conditional logic, (ACMC Res. Rept. 01-0007 (1986), Advanced Computational Methods Center, University of Georgia: Advanced Computational Methods Center, University of Georgia Athens, GA) |
| [30] | Nute, D., Defeasible reasoning and decision support systems, Decis. Support Syst., 4, 97-110 (1988) |
| [31] | Pollock, J. L., Defeasible reasoning, Cognit. Sci., 11, 481-518 (1987) |
| [32] | Pollock, J. L., Interest driven suppositional reasoning, J. Autom. Reasoning, 6, 419-461 (1990) · Zbl 0714.68090 |
| [33] | Pollock, J. L., A theory of defeasible reasoning, Int. J. Intell. Syst., 6, 33-54 (1991) |
| [34] | Pollock, J. L., Self-defeating arguments, Minds Mach., 1, 367-392 (1991) |
| [35] | Pollock, J. L., How to reason defeasibly, Artif. Intell., 57, 1-42 (1992) · Zbl 0763.68056 |
| [36] | Pollock, J. L., Justification and defeat, Artif. Intell., 67, 377-407 (1994) · Zbl 0807.68085 |
| [37] | Poole, D. L., On the comparison of theories: preferring the most specific explanation, (Proceedings IJCAI-85. Proceedings IJCAI-85, Los Angeles, CA (1985)), 144-147 |
| [38] | Poole, D. L., A logical framework for default reasoning, Artif. Intell, 36, 27-47 (1988) · Zbl 0647.68094 |
| [39] | Prakken, H., Logical tools for modeling legal argument, (doctoral dissertation (1993), Vrije Universiteit: Vrije Universiteit Amsterdam) |
| [40] | Prawitz, D., (Natural Deduction: A Proof-Theoretical Study (1965), Almqvist & Wiksells: Almqvist & Wiksells Uppsala) · Zbl 0173.00205 |
| [41] | Prawitz, D., Ideas and results in proof theory, (Fenstad, J. E., Proceedings of the Second Scandinavian Logic Symposium. Proceedings of the Second Scandinavian Logic Symposium, Series Studies in Logic and the Foundations of Mathematics, 63 (1971), North-Holland: North-Holland Amsterdam), 235-307 · Zbl 0226.02031 |
| [42] | Reiter, R., A logic for default reasoning, Artif. Intell., 13, 81-132 (1980) · Zbl 0435.68069 |
| [43] | Rescher, N., Hypothetical reasoning, (Brouwer, L. E.J.; Beth, E. W.; Heyting, A., Studies in Logic and the Foundations of Mathematics, VII (1964), North-Holland: North-Holland Amsterdam) · Zbl 0166.25204 |
| [44] | Rescher, N., (Dialectics: A Controversy-Oriented Approach to the Theory of Knowledge (1977), State University of New York Press: State University of New York Press Albany, NY) |
| [45] | Simari, G. R.; Loui, R. P., A mathematical treatment of defeasible reasoning and its implementation, Artif. Intell., 53, 125-157 (1992) · Zbl 1193.68238 |
| [46] | Sparkes, A. W., (Talking Philosophy: A Wordbook (1991), Routledge: Routledge London) |
| [47] | Touretzky, D. S.; Horty, J. F.; Thomason, R. H., A clash of intuitions: the current state of nonmonotonic multiple inheritance systems, (Proceedings IJCAI-87. Proceedings IJCAI-87, Milan (1987)), 476-482 |
| [48] | Verheij, H. B., (Report SKBS/B3.A/94-5 (1994), University of Limburg: University of Limburg Maastricht), also |
| [49] | Verheij, H. B., (Report SKBS/B3.A/95-03 (1995), University of Limburg: University of Limburg Maastricht), also |
| [50] | Vreeswijk, G. A.W., Abstract argumentation systems: preliminary report, (De Glas, M.; Gabbay, D. M., Proceedings First World Conference on the Fundamentals of Artificial Intelligence (1991), Angkor: Angkor Paris), 501-510 |
| [51] | Vreeswijk, G. A.W., Diamonds and Defaults, (Studies in Language, Logic and Information, 1 (1993), Kluwer Academic Publishers: Kluwer Academic Publishers Dordrecht), 359-380, also in |
| [52] | Vreeswijk, G. A.W., Nonmonotonicity and partiality in defeasible argumentation, (van der Hoek, W.; Meyer, J.-J. C.; Tan, Y. H.; Witteveen, C., Nonmonotonic Reasoning and Partial Semantics. Nonmonotonic Reasoning and Partial Semantics, Ellis Horwood Series in Artificial Intelligence (1992), Prentice-Hall: Prentice-Hall Englewood Cliffs, NJ), 157-180 |
| [53] | Vreeswijk, G. A.W., Reasoning with defeasible arguments: examples and applications, (Wagner, G.; Pearce, D., Proceedings of the European Workshop on Logics in AI (JELIA). Proceedings of the European Workshop on Logics in AI (JELIA), Lecture Notes in Computer Science (1992), Springer: Springer Berlin), 189-211 · Zbl 0925.68419 |
| [54] | another version of this article is available via anonymous ftp from · Zbl 0789.03026 |
| [55] | Vreeswijk, G. A.W., Studies in defeasible argumentation, (Doctoral dissertation (1993), Department of Mathematics and Computer Science, Vrije Universiteit: Department of Mathematics and Computer Science, Vrije Universiteit Amsterdam) |
| [56] | Vreeswijk, G. A.W., IACAS: an implementation of Chisholm’s principles of knowledge, (Witteveen, C.; van der Hoek, W.; Meyer, J.-J. C.; van Linder, B., Proceedings 2nd Dutch/German Workshop on Nonmonotonic Reasoning. Proceedings 2nd Dutch/German Workshop on Nonmonotonic Reasoning, Utrecht (1995)), 225-234 |
| [57] | another version of this article is available via anonymous ftp from |
| [58] | Woods, J.; Walton, D., (Argument: The Logic of the Fallacies (1982), McGraw-Hill: McGraw-Hill Toronto, Ont) |
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.
