DocumentCode :
2612753
Title :
Approximate reasoning for contextual databases
Author :
Massacci, Fabio
Author_Institution :
Comput. Lab., Cambridge Univ., UK
fYear :
1996
fDate :
16-19 Nov. 1996
Firstpage :
308
Lastpage :
315
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Tools with Artificial Intelligence, 1996., Proceedings Eighth IEEE International Conference on
ISSN :
1082-3409
Print_ISBN :
0-8186-7686-7
Type :
conf
DOI :
10.1109/TAI.1996.560468
Filename :
560468
Link To Document :
بازگشت