EPSRC logo

Details of Grant 

EPSRC Reference: GR/S61966/01
Title: Knowledge Representation & Reasoning about Distances
Principal Investigator: Wolter, Professor F
Other Investigators:
Hustadt, Dr U
Researcher Co-Investigators:
Project Partners:
Department: Computer Science
Organisation: University of Liverpool
Scheme: Standard Research (Pre-FEC)
Starts: 15 January 2004 Ends: 14 January 2007 Value (£): 182,660
EPSRC Research Topic Classifications:
Artificial Intelligence
EPSRC Industrial Sector Classifications:
No relevance to Underpinning Sectors
Related Grants:
GR/S61973/02
Panel History:  
Summary on Grant Application Form
Distance spaces - as models of closeness in space or similarity of objects - play a fundamental role in such diverse fields as geographic information systems, computational molecular biology, text processing, and data mining. Complementing the existing database technology by means of knowledge representation methodologies is a promising approach to many of the challenging open problems in these and other fields, where sets of objects whose properties depend heavility on some notion of distance play an important role.In this project we will design representation and reasoning formalisms covering both quantitative and qualitative knowledge about distances. The project will combine work on logical and computational properties of the designed logics with work on tableau, resolution, and term-rewriting types of reasoning algorithms. The algorithms will be implemented and resulting systems will be used for initial experiments with representative case studies. An integration of the resulting languages with terminological languages (description logics) will be developed, implemented, and tested as well.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: http://www.liv.ac.uk