Categorical Foundations of Explainable AI: A Unifying Formalism of Structures and Semantics.
Pietro BarbieroStefano FioravantiFrancesco GianniniAlberto TondaPietro LiòElena Di LavorePublished in: CoRR (2023)
Keyphrases
- artificial intelligence
- knowledge representation
- logical language
- conceptual graphs
- machine learning
- modal operators
- logic programming
- conceptual model
- computational properties
- knowledge based systems
- formal language
- formal semantics
- action language
- truth maintenance systems
- graphical representation
- intelligent systems
- case based reasoning
- argumentation semantics
- data sets
- knowledge representation formalisms
- reasoning services
- ai researchers
- reasoning mechanisms
- ai systems
- logical framework
- argumentation frameworks