The Propositional n-Agent Logic.
Nikolai KossovskiArtem TishkovV. IaroslavskiPublished in: CEEMAS (1999)
Keyphrases
- sound and complete axiomatization
- multi valued
- intelligent agents
- multi agent
- multiagent systems
- proof procedure
- probabilistic logic
- propositional logic
- multi agent systems
- software agents
- dynamic logic
- predicate calculus
- reasoning engine
- horn clauses
- deductive reasoning
- first order logic
- autonomous agents
- default logic
- multiple agents
- classical first order logic
- agent architecture
- predicate logic
- autoepistemic logic
- classical logic
- decision making
- dynamic environments
- agent systems
- agent technology
- mobile agents
- logic programming
- theorem proving
- modal logic
- computational properties
- defeasible logic
- pedagogical agents
- agent model
- action selection
- decision theoretic
- artificial agents
- epistemic states
- state space
- coalition logic