A categorical approach to the semantics of argumentation

Mathematical Structures in Computer Science

Volumn 6, Issue 2, 1996, Pages 167-188

  Ambler, Simon ^a  

^a UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE MAINTENANCE; EXPERT SYSTEMS; FORMAL LOGIC; SEMANTICS;

CARTESIAN CLOSED CATEGORY; CONFIDENCE MEASURE; DEMPSTER-SHAFER THEORY OF EVIDENCE; ENRICHED CATEGORIES; FORMAL SEMANTICS; INFERENCE MECHANISM; MEDICAL EXPERT SYSTEM; REASONING UNDER UNCERTAINTY;

FORMAL METHODS;

EID: 1642618852     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129500000931     Document Type: Article

References (25)

1. Aqvist, L. (1984) Deontic Logic. In: Gabbay, D. and Guenthner, F. (eds.) Handbook of Philosophical Logic Vol. II, Reidel, Dordrecht.
2. Carboni, A., Kelly, G. M. and Wood, R. J. (1990) A 2-categorical approach to change of base and geometric morphisms I, Sydney Category Seminar Report 90-1, Dept of Pure Mathematics, University of Sydney, Australia.
3. Crouch, R. and Pulman, S. (1991) A simple approach to belief revision, Technical Report, SRI International, Cambridge Computer Science Research Centre.
4. Carboni, A. and Walters, R. F. C. (1987) Cartesian bicategories I. J. Pure Appl. Algebra 49 11-32.
5. Clarke, M. and Wilson, R N. (1991) Efficient algorithms for belief functions based on the relationship between belief and probability. Proc. ECSQAU, Marseille, 1991. Springer-Verlag Lecture Notes in Computer Science 548.
6. Dubois, D. and Prade, H. (1988) Possibility Theory: An Approach to Computerized Processing of Uncertainty, Plenum Press, New York.
7. Di Paola, R. A. and Heller, A. (1987) Dominical categories: Recursion theory without elements. J. Symbolic Logic 3 52.
8. Fox, J., Glowinski, A. J., Gordon, C, Hajnal, S. J. and O'Neil, M. J. (1990) Logic engineering for knowledge engineering: design and implementation of the Oxford System of Medicine. Artificial Intelligence in Medicine 2 323-339.
9. Fox, J., Krause, P. J. and Ambler, S. J. (1992) Arguments, contradictions and practical reasoning. Proc. European Conference on A.I. '92, Wiley.
10. Fox, T. (1976) Coalgebras and cartesian categories. Comm. Algebra 7 (4) 665-667.
11. Girard, J. Y. (1987) Linear logic. Theoretical Computer Science 50 1-102.
12. Girard, J. Y, Taylor, P. and Lafont, Y. (1989) Proofs and Types, Cambridge University Press.
13. Johnstone, P. T. (1982) Stone Spaces, Cambridge Studies in Advanced Mathematics 3, Cambridge University Press.
14. Kelly, G. M. (1982) Basic Concepts of Enriched Category Theory. London Math. Soc. Lecture Note Series 64, Cambridge University Press.
15. Krause, P. J., Ambler, S. J., Elvang-Goransson, M. and Fox, J. (1995) A logic of argumentation for reasoning under uncertainty. Computational Intelligence 1 (11) 113-131.
16. Krause, P. J., Ambler, S. J. and Fox, J. (1993) The development of a logic of argumentation. In: Bouchon-Meunier, B., Valverde, L. and Yager, R.R. (eds.) IPMU '92, Advanced Methods in Artificial Intelligence. Springer-Verlag Lecture Notes in Computer Science 682 109-118.
17. Lawvere, F. W. (1973) Metric spaces, generalized logic, and closed categories. Rend, del Sent. Mat. e Fis. di Milano 43 135-166.
18. Lindley, D. V. (1985) Making Decisions (2nd ed.), Wiley.
19. Lambek, J. L. and Scott, P. J. (1986) Introduction to Higher Order Categorical Logic, Cambridge Studies in Advanced Mathematics 7, Cambridge University Press.
20. Mac Lane, S. (1971) Categories for the Working Mathematician, Graduate Texts in Mathematics 5, Springer-Verlag.
21. Moggi, E. (1989) Computational lambda-calculus and monads. In: Proc. 4th annual symposium on Logic In Computer Science, IEEE.
22. O'Neil, M. and Glowinski, A. (1990) Evaluating and validating very large knowledge-based systems. Med. Inform. 15 237-251.
23. Pitts, A. M. (1988) Applications of sup-lattice enriched category theory to sheaf theory. Proc. London Math. Soc. 3 (57) 433-80.
24. Shafer, G. (1976) A Mathematical Theory of Evidence, Princeton University Press, Princeton, New Jersey.
25. Wilson, P. N. (1989) Justification, computational efficiency and generalisation of the Dempster-Shafer theory, Research report no. 15, Dept. of Computing and Math. Sciences, Oxford Polytechnic.