Details of Grant 

EPSRC Reference:	GR/R44706/01
Title:	Belief Contraction and Anti-formulae. Logical Modelling of Deletion
Principal Investigator:	Rodrigues, Dr OT
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department:	Computer Science
Organisation:	Kings College London
Scheme:	Standard Research (Pre-FEC)
Starts:	19 October 2001	Ends:	18 April 2005	Value (£):	59,482
EPSRC Research Topic Classifications:	Fundamentals of Computing Information & Knowledge Mgmt
EPSRC Industrial Sector Classifications:	Information Technologies
Related Grants:
Panel History:	Panel Date Panel Name Outcome 25 Apr 2001 Software Technologies 25/26 April Deferred
Summary on Grant Application Form
Belief contraction has been investigated previously, but there Is scope for more research in the area. For instance, in the original AGM theory of belief contraction, it is not possible to contract by tautologies. We believe there are cases where this restriction is too strict and would like to investigate how to relax it by allowing contractions by instances of tautologies. An immediate question that arises is the relation of the resulting contraction operation and the deduction theorem. On a more practical side, we would like to investigate the applications of contractions in database systems. Contractions have been extensively used in databases in the form of deletions triggered by pre-conditions. However, the mechanism is defined only at the meta-level and usually not to the extent where formal properties can be carefully analysed. These applications would benefit from a formal semantics describing the deletion process. We hope to provide such a semantics paving the way for a more realistic and practical theory of belief revision and contraction.
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: