TY - GEN
T1 - Approximate reasoning for contextual databases
AU - Massacci, Fabio
PY - 1996
Y1 - 1996
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/0030399703
UR - https://www.scopus.com/pages/publications/0030399703#tab=citedBy
M3 - Conference contribution
T3 - Proceedings of the International Conference on Tools with Artificial Intelligence
SP - 308
EP - 315
BT - Proceedings of the International Conference on Tools with Artificial Intelligence
PB - IEEE
T2 - Proceedings of the 1996 IEEE 8th International Conference on Tools with Artificial Intelligence
Y2 - 16 November 1996 through 19 November 1996
ER -