DocumentCode :
1891459
Title :
Approximate reasoning and PT-resolution
Author :
Liu, Faye F.
Author_Institution :
Dept. of Comput. Sci. & Comput. Eng., La Trobe Univ., Australia
Volume :
2
fYear :
2003
fDate :
16-20 July 2003
Firstpage :
609
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computational Intelligence in Robotics and Automation, 2003. Proceedings. 2003 IEEE International Symposium on
Print_ISBN :
0-7803-7866-0
Type :
conf
DOI :
10.1109/CIRA.2003.1222250
Filename :
1222250
Link To Document :
بازگشت