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