A logic of reasoning, communication and cooperation with syntactic knowledge.
Thomas ÅgotnesMichal WalickiPublished in: AAMAS (2005)
Keyphrases
- knowledge base
- deductive reasoning
- knowledge representation
- reasoning engine
- general knowledge
- human reasoning
- reasoning process
- domain knowledge
- automated reasoning
- commonsense knowledge
- commonsense reasoning
- logic programming
- knowledge management
- multi agent systems
- inconsistent knowledge
- logical rules
- information sharing
- knowledge acquisition
- information exchange
- cooperative
- proof theoretic
- proof theory
- incomplete knowledge
- multi agent
- predicate logic
- knowledge creation
- logical framework
- natural language
- model based reasoning
- reasoning processes
- qualitative reasoning
- knowledge sources
- higher level
- knowledge based systems
- knowledge discovery
- order of magnitude reasoning