Multivalued logics: a uniform approach to reasoning in artificial intelligence.
Matthew L. GinsbergPublished in: Comput. Intell. (1988)
Keyphrases
- artificial intelligence
- knowledge representation and reasoning
- proof theory
- knowledge representation
- human reasoning
- inheritance reasoning
- knowledge processing
- rule based reasoning
- scientific discovery
- computational intelligence
- logical reasoning
- computational properties
- expressive power
- expert systems
- horn logic
- default reasoning
- knowledge representation formalisms
- fuzzy logic
- conditional logic
- reasoning problems
- intuitionistic logic
- intelligent systems
- computer science
- intelligent behavior
- cognitive science
- software engineering
- automated reasoning
- reasoning process
- human level
- knowledge base
- proof theoretic
- modal logic
- multi context systems
- epistemic logic
- machine learning
- multi valued
- inference rules
- case based reasoning
- ai systems
- reasoning systems
- cognitive psychology
- reasoning tasks
- theorem proving
- engineering design
- knowledge engineering
- intelligent agents
- constraint satisfaction problems
- description logics