Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities.
Dragan DoderNenad SavicZoran OgnjanovicPublished in: J. Log. Lang. Inf. (2020)
Keyphrases
- higher order
- multi agent
- higher order logic
- anti unification
- cognitive agents
- cooperative
- multi agent systems
- markov random field
- natural images
- multiagent systems
- reinforcement learning
- expressive power
- pairwise
- intelligent agents
- high order
- probability distribution
- modal operators
- lower order
- modal logic
- low order
- markov models
- qualitative reasoning
- belief networks
- agent oriented
- spatial reasoning
- kripke models
- autonomous agents
- inference rules
- classical logic
- probability estimates
- computational properties
- formal theory
- epistemic logic
- inductive learning
- proof theory
- multi agent coordination
- first order logic
- complete axiomatization
- probability theory