Logic of Awareness in Agent's Reasoning.
Yudai KubonoTeeradaj RacharakSatoshi TojoPublished in: CoRR (2023)
Keyphrases
- reasoning engine
- automated reasoning
- proof theory
- reasoning process
- deductive reasoning
- resource bounded
- computational properties
- proof theoretic
- order of magnitude reasoning
- intuitionistic logic
- logical framework
- probabilistic logic
- human reasoning
- dynamic logic
- multi agent systems
- logical inference
- reasoning systems
- reasoning tasks
- decision making
- reasoning mechanism
- logic programming
- cognitive agents
- incomplete knowledge
- practical reasoning
- knowledge base
- agent model
- multi agent
- abductive reasoning
- classical logic
- reasoning and decision making
- knowledge representation and reasoning
- autonomous agents
- multiagent systems
- horn logic
- knowledge representation
- agent architecture
- predicate logic
- reasoning problems
- modal logic
- mobile agents
- multiple agents
- intelligent agents
- plan execution
- logical rules
- multi agent decision making
- agent technology
- bdi agents
- information gathering
- agent programming
- proof procedure
- default reasoning
- commonsense reasoning
- qualitative reasoning
- logic programs
- defeasible logic
- current situation
- agent systems