Title :
Approximate reasoning and PT-resolution
Author_Institution :
Dept. of Comput. Sci. & Comput. Eng., La Trobe Univ., Australia
Abstract :
This paper defines PT´-resolution which is the integration of PT-resolution and approximate reasoning. PT-resolution is a deduction method based on partial intersection and truncation. The integration enables the deduction to handle quantitative data in an approximate manner. It is proved that the PT´-resolution is consistent with PT-resolution.
Keywords :
inference mechanisms; logic programming; theorem proving; uncertainty handling; PT resolution; approximate reasoning; deduction method; inference mechanisms; logic programming; quantitative data; uncertainty handling; Artificial intelligence; Australia; Computer science; Equations; Logic programming; Particle measurements; Set theory;
Conference_Titel :
Computational Intelligence in Robotics and Automation, 2003. Proceedings. 2003 IEEE International Symposium on
Print_ISBN :
0-7803-7866-0
DOI :
10.1109/CIRA.2003.1222250