A LOGIC OF ARGUMENTATION FOR REASONING UNDER UNCERTAINTY
作者:
Paul Krause,
Simon Ambler,
Morten Elvang‐Goransson,
John Fox,
期刊:
Computational Intelligence
(WILEY Available online 1995)
卷期:
Volume 11,
issue 1
页码: 113-131
ISSN:0824-7935
年代: 1995
DOI:10.1111/j.1467-8640.1995.tb00025.x
出版商: Blackwell Publishing Ltd
关键词: uncertain reasoning;epistemic probability;argumentation;nonclassical logics;nonmonotonic reasoning
数据来源: WILEY
摘要:
We present the syntax and proof theory of a logic of argumentation, LA. We also outline the development of a category theoretic semantics for LA. LA is the core of a proof theoretic model for reasoning under uncertainty. In this logic, propositions are labeled with a representation of the arguments which support their validity. Arguments may then be aggregated to collect more information about the potential validity of the propositions of interest. We make the notion of aggregation primitive to the logic, and then define strength mappings from sets of arguments to one of a number of possible dictionaries. This provides a uniform framework which incorporates a number of numerical and symbolic techniques for assigning subjective confidences to propositions on the basis of their supporting arguments. These aggregation techniques are also described with examples.
点击下载:
PDF
(1243KB)
返 回