Towards a Theory of Access-Limited Logic for Knowledge Representation.
James M. CrawfordBenjamin KuipersPublished in: KR (1989)
Keyphrases
- knowledge representation
- commonsense reasoning
- logic programming
- automated reasoning
- formal theory
- deductive reasoning
- knowledge representation formalisms
- proof theory
- access control
- asynchronous circuits
- artificial intelligence
- machine learning
- probability theory
- proof theoretic
- causal reasoning
- knowledge base
- natural language
- natural language processing
- probabilistic reasoning
- knowledge acquisition
- classical logic
- modal logic
- knowledge engineering
- general theory
- representing knowledge
- mathematical theory
- knowledge based systems
- set theory
- boolean algebra
- computer algebra
- defeasible logic
- multi valued