Infusion: a hybrid reasoning system with description logics.
Dr Ines Arana firstname.lastname@example.org
Academic Strategic Lead
We discussed a new approach using inference fusion, i.e. the cooperative reasoning from distributed heterogeneous inference systems, to extend the expressive and deductive powers of existing Description Logic (DL) based systems. More specifically, our approach integrates results from a DL reasoner with results from a constraint solver. Inference fusion (i) fragments heterogeneous input knowledge to generate suitable homogeneous inputs for the DL and constraint reasoners; (ii) passes control to each reasoner, retrieving the results and making them available to the other reasoner for further inferencing; and (iii) dynamically combines the results of the two reasoners to present the overall conclusion. We also outline the main features of inference fusion by way of a small example.
HU, B., COMPATANGELO, E. and ARANA, I. 2003. Infusion: a hybrid reasoning system with description logics. In Hamza, M.H. (ed.) Proceedings of the 2003 International Association of Science and Technology for Development (IASTED) international conference on artificial intelligence and applications (AIA 2003), 8-10 September 2003, Benalmadena, Spain. Calgary: ACTA Press [online], pages 327-332. Available from: http://www.actapress.com/Content_of_Proceeding.aspx?proceedingID=237
|Conference Name||2003 International Association of Science and Technology for Development (IASTED) international conference on artificial intelligence and applications (AIA 2003)|
|Conference Location||Benalmadena, Spain|
|Start Date||Sep 8, 2003|
|End Date||Sep 10, 2003|
|Acceptance Date||Dec 31, 2003|
|Online Publication Date||Dec 31, 2003|
|Publication Date||Dec 31, 2003|
|Deposit Date||Apr 2, 2009|
|Publicly Available Date||Apr 2, 2009|
|Keywords||Knowledge representation; Description logics; Hybrid reasoning system; Software tools|
HU 2003 Infusion - a hybrid reasoning
Publisher Licence URL
You might also like
Real-time relative permeability prediction using deep learning.
Multi-HDCS: solving DisCSPs with complex local problems cooperatively.