Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems.
Olivier GasquetValentin GorankoFrançois SchwarzentruberPublished in: Auton. Agents Multi Agent Syst. (2016)
Keyphrases
- multi agent systems
- epistemic logic
- computational logic
- logical framework
- dynamic epistemic logic
- temporal epistemic
- proof theory
- normative systems
- automated reasoning
- deductive reasoning
- computational properties
- logic programming
- coalition logic
- non stationary
- order of magnitude reasoning
- logical inference
- visual information
- proof theoretic
- computation tree logic
- reasoning engine
- model checking
- cooperative
- intuitionistic logic
- cognitive agents
- agent systems
- meta level
- knowledge representation
- probabilistic reasoning
- agent architecture
- knowledge base
- multi agent
- reasoning systems
- reasoning about actions
- default reasoning
- modal logic
- human reasoning
- logical rules
- reasoning tasks
- intelligent agents
- inference rules
- coalition formation
- model based diagnosis
- proof procedure
- temporal logic
- big data
- linear logic
- derivation rules
- visual features
- abductive reasoning
- low level
- qualitative reasoning