Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief)
Simon KramerJoshua SackPublished in: CoRR (2012)
Keyphrases
- multi agent
- knowledge extraction
- knowledge acquisition
- domain knowledge
- machine learning
- expert systems
- prior knowledge
- knowledge representation
- data mining techniques
- knowledge base
- intelligent agents
- knowledge management
- reinforcement learning
- state space
- multi agent systems
- logic programming
- cooperative
- semantic information
- domain ontology
- knowledge sources
- desirable properties
- knowledge structures
- epistemic states