Semantics for a theory of defeasible reasoning

Autor:	Joe Thurbon, Norman Foo, Quoc Bao Vo
Rok vydání:	2005
Předmět:	Cognitive science biology business.industry Applied Mathematics Formal semantics (linguistics) Complex system biology.organism_classification Pollock Argumentation theory Artificial Intelligence Artificial intelligence Defeasible reasoning business Mathematics
Zdroj:	Annals of Mathematics and Artificial Intelligence. 44:87-119
ISSN:	1573-7470 1012-2443
Popis:	In this paper, we establish a formal semantics for Pollock's [23] theory of defeasible reasoning. As a notion of argument or argumentation has never been formalised in this theory, it is important that such a formal account be introduced to couple with the algorithmic description of the theory. In particular, it makes Pollock's theory become more comparable to other related frameworks as shown in the paper. In also enforces a well-defined semantical account for Pollock's theory of defeasible reasoning based on the argumentation-theoretic approach proposed by Dung and Bondarenko et al. [1,5]. Our formalisation thus enables further studies to the meta-theoretic properties of Pollock's defeasible reasoning system.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::e1d5b8df66782909d00473b40c650176 https://doi.org/10.1007/s10472-005-1807-4 Zobrazit plný text záznamu Full text from SpringerLink