Title :
Approximate reasoning for contextual databases
Author_Institution :
Comput. Lab., Cambridge Univ., UK
Abstract :
Contextual reasoning has been proposed as a tool for solving the problem of generality in AI and for effectively handling huge knowledge bases, while approximate reasoning has been developed to overcome the computational barrier of classical deduction. This paper combines these approaches to provide an intuitive representation of knowledge and an effective deduction. Its semantics and a tableau calculus are presented. The key computational features are discussed.
Keywords :
artificial intelligence; computability; deductive databases; inference mechanisms; uncertainty handling; approximate reasoning; classical deduction; computational barrier; computational features; contextual databases; contextual reasoning; knowledge bases; knowledge representation; semantics; tableau calculus; Artificial intelligence; Calculus; Cows; Databases; Humans; Laboratories; Logic; Proposals; Sections; Teeth;
Conference_Titel :
Tools with Artificial Intelligence, 1996., Proceedings Eighth IEEE International Conference on
Print_ISBN :
0-8186-7686-7
DOI :
10.1109/TAI.1996.560468