Coordinated reasoning with inference fusion.

Abstract

We discuss a new approach which uses inference fusion, i.e. the cooperative reasoning from distributed heterogeneous inference systems, in order to extend the scope of deductions based on description logics. More specifically, our approach integrates results from a description logics reasoner with results from a constraint solver. Inference fusion (i) processes heterogeneous input knowledge, generating suitable homogeneous input knowledge for each specialised reasoner; (ii) passes control to each reasoner, collecting their results and making them available to the other reasoner for further inferencing; (iii) combines the results of the two reasoners. We outline the main features of inference fusion by way of a small example.

Citation

HU, B., COMPATANGELO, E. and ARANA, I. 2002. Coordinated reasoning with inference fusion. In Damiani, E., Howlett, R.J., Jain, L.C. and Ichalkaranje, N. (eds.) Knowledge-based intelligent information engineering systems and allied technologies: proceedings of the 6th International conference on knowledge-based intelligent information and engineering systems (KES 2002), 16-18 September 2002, Crema, Italy. Frontiers in artificial intelligence and applications, 82. Amsterdam: IOS Press, pages 156-160.

• Conference Name: 6th International conference on knowledge-based intelligent information and engineering systems (KES 2002)
• Conference Location: Crema, Italy
• Start Date: Sep 16, 2002
• End Date: Sep 18, 2002
• Acceptance Date: Sep 16, 2002
• Publication Date: Dec 31, 2002
• Deposit Date: Apr 6, 2009
• Publicly Available Date: Apr 6, 2009
• Publisher: IOS Press
• Series Title: Frontiers in artificial intelligence and applications
• Series Number: 82
• ISBN: 9781586032807
• Keywords: Inference fusion; Cooperative reasoning; Description logics
• Public URL: http://hdl.handle.net/10059/331