A categorical approach to the semantics of argumentation

DOI10.1017/S0960129500000931MaRDI QIDQ4882497zbMATH OpenFDO

Authors Simon J. Ambler

Publication date 5 November 1996

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

confidence measuresimplicationconjunctionuncertain inferencesemantics of argumentationevidential closed categorysemilattice enriched catgory

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Theories (e.g., algebraic theories), structure, and semantics (18C10) Logical aspects of lattices and related structures (03G10) Foundations, relations to logic and deductive systems (18A15)

Recommendations

• Abstract argumentation systems
• Categorical proof theory of classical propositional calculus
• scientific article; zbMATH DE number 5000963
• What is a reasonable argumentation semantics?
• Probabilistic graded semantics

Cites work

• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory
• Cartesian bicategories. I
• Coalgebras and cartesian categories
• Computer-aided verification. 2nd international conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
• Linear logic
• Metric spaces, generalized logic, and closed categories

Cited in

(3)

• A unified framework for hypothetical and practical reasoning (2): Lessons from medical applications
• THE IDENTITY OF ARGUMENT-PLACES
• Uses and computation of imprecise probabilities from statistical data and expert arguments

This page was built for publication: A categorical approach to the semantics of argumentation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4882497)