Coordinated reasoning with inference fusion.
Hu, Bo and Compatangelo, Ernesto and Arana, Ines (2002) Coordinated reasoning with inference fusion.. 6th Intl. Conf. on Knowledge-Based Intelligent Information & Engineering Systems (KES2002), pages 156-160, IOS Press,2002.
This is the latest version of this eprint.
This document is not available online.
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.
Subjects: | AKT Challenges > Knowledge reuse AKT Challenges > Knowledge modelling |
---|---|
ID Code: | 237 |
Deposited By: | Ajit, Suraj |
Deposited On: | 10 July 2003 |
Available Versions of this Item
- Coordinated reasoning with inference fusion. (deposited 10 July 2003) [Currently Displayed]
Contact the site administrator at: hg@ecs.soton.ac.uk