Towards a Logic of "Inferable" for Self-Aware Transparent Logical Agents.
Stefania CostantiniValentina PitoniPublished in: XAI.it@AI*IA (2020)
Keyphrases
- dynamic logic
- logical framework
- multi agent systems
- alternating time temporal logic
- multi agent
- epistemic logic
- coalition logic
- logical operations
- modal logic
- multiagent systems
- multiple agents
- logical rules
- truth values
- classical logic
- logical representation
- inference rules
- software agents
- agent technology
- predicate calculus
- intelligent agents
- coalition formation
- normative systems
- game theoretic
- rationality postulates
- probabilistic logic
- cooperative
- resource allocation
- logic programming
- mobile agents
- agent programming
- artificial agents
- predicate logic
- automated reasoning
- belief revision
- dynamic environments
- mechanism design
- inductive inference
- agent model
- logical theories
- autonomous agents
- background knowledge
- training data