| MRG home page Research Publications Software People |
Dynamic ontology refinement is a method for facilitating successful communication between agents with disparate ontologies, even where the mismatches between these ontologies may initially lead to communication failure. When an agent experiences communication failure with another agent, it can call our Ontology Refinement System (ORS), which will diagnose the particular ontological mismatch between its ontology and the ontology of the other agent that caused the communication problem, and refine the ontology of that agent appropriately. The interaction can then be attempted again, and will this time either be successful or will reveal further mismatches that need to be refined.
Such abilities are extremely important in large scale systems such as the Semantic Web or the Grid, where huge numbers of users with different aims, locations and backgrounds need to be able to interact and communicate easily and automatically in areas where their interests overlap. The success of such systems depends on them being easy to join and to use. Enforcing tight constraints on potential users is unreasonable; insisting on all agents using identical ontologies will mean that users must laboriously translate their entire ontologies into the required format, and may have to sacrifice a representation that was more suited to their aims. However, communication between agents with mismatched ontologies is extremely difficult. The ability to refine specific parts of ontologies during runtime, and only where necessary, is thus an important aspect of all such systems.
This project investigates this problem in a planning context, where agents are forming plans to achieve goals based on their ontologies, and these plans are sometime inexecutable due to ontological mismatches with other agents. Communication failure is indicated by plan steps failing to be successfully executed, and the refinements can be seen to be efficacious when these plan steps become executable.
The following people are working on the project:
F. McNeill, A. Bundy and C. Walton
Facilitating Agent Communication through Detecting, Diagnosing and Refining Ontological Mismatch (2004)Bibtex
Proceedings of the KR2004 Doctoral Consortium, AAAI Technical
Report, in press
F. McNeill, A. Bundy and C. Walton
Diagnosing and Repairing Ontological Mismatches (2004)Bibtex
Presented at Starting AI Researchers' Symposium, Valencia, July 2004
F. McNeill, A. Bundy and C. Walton
An Automatic Translator from KIF to PDDL (2004)Bibtex
Presented at Planning Special Interest Group, Cork, December 2004
F. McNeill, A. Bundy and C. Walton
Plan Execution Failure Analysis
using Plan Deconstruction (2003) Bibtex
Presented at Planning Special Interest Group, Glasgow, December 2003