| Автор | Ambler, Simon |
| Дата выпуска | 1996 |
| dc.description | Argumentation is a proof theoretic paradigm for reasoning under uncertainty. Whereas a ‘proof’ establishes its conclusion outright, an ‘argument’ can only lend a measure of support. Thus, the process of argumentation consists of identifying all the arguments for a particular hypothesis φ, and then calculating the support for φ from the weight attached to these individual arguments. Argumentation has been incorporated as the inference mechanism of a large scale medical expert system, the ‘Oxford System of Medicine’ (OSM), and it is therefore important to demonstrate that the approach is theoretically justified. This paper provides a formal semantics for the notion of argument embodied in the OSM. We present a categorical account in which arguments are the arrows of a semilattice enriched category. The axioms of a cartesian closed category are modified to give the notion of an ‘evidential closed category’, and we show that this provides the correct enriched setting in which to model the connectives of conjunction (&) and implication (⇒).Finally, we develop a theory of ‘confidence measures’ over such categories, and relate this to the Dempster-Shafer theory of evidence. |
| Формат | application.pdf |
| Издатель | Cambridge University Press |
| Копирайт | Copyright © Cambridge University Press 1996 |
| Название | A categorical approach to the semantics of argumentation |
| Тип | research-article |
| DOI | 10.1017/S0960129500000931 |
| Electronic ISSN | 1469-8072 |
| Print ISSN | 0960-1295 |
| Журнал | Mathematical Structures in Computer Science |
| Том | 6 |
| Первая страница | 167 |
| Последняя страница | 188 |
| Аффилиация | Ambler Simon; Department of Mathematics and Computer Science, University of Leicester, Leicester LE1 7RH, England. |
| Выпуск | 2 |
