Logic of Awareness in Agent's Reasoning.
Yudai KubonoTeeradaj RacharakSatoshi TojoPublished in: ICAART (1) (2023)
Keyphrases
- reasoning engine
- reasoning process
- proof theory
- automated reasoning
- computational properties
- deductive reasoning
- order of magnitude reasoning
- multi agent systems
- multi agent
- resource bounded
- cognitive agents
- reasoning about actions
- reasoning mechanism
- intuitionistic logic
- mobile agents
- probabilistic logic
- logical inference
- incomplete knowledge
- intelligent agents
- proof theoretic
- human reasoning
- dynamic logic
- bdi agents
- agent model
- logical rules
- autonomous agents
- abductive reasoning
- logical framework
- reasoning systems
- horn logic
- knowledge base
- decision making
- multiagent systems
- reasoning tasks
- default reasoning
- agent programming
- multi agent decision making
- software agents
- modal logic
- agent architecture
- qualitative reasoning
- defeasible logic
- dynamic environments
- case based reasoning
- derivation rules
- agent systems
- probabilistic reasoning
- action selection
- inference rules
- information gathering
- reasoning problems
- logic programming
- reasoning and decision making
- predicate logic