Use this URL to cite or link to this record in EThOS:
Title: Interpreted dependency networks : a general framework for belief revision
Author: Saward, Guy R. E. S.
ISNI:       0000 0001 3554 3855
Awarding Body: University of Warwick
Current Institution: University of Warwick
Date of Award: 1991
Availability of Full Text:
Access from EThOS:
Access from Institution:
Belief Revision is a fundamental component of intelligent behaviour and is therefore an area of study within Artificial Intelligence (AI). In many cases the belief revision is the result of modifying a long term model of some domain by the addition of information specific to particular instances of a problem within that domain. This thesis argues the case for a Foundations approach to belief revision in which the level of belief in any proposition is supported by explicit justifications. Networks of such justifications can be used as long term knowledge stores thereby capturing the dependencies between different pieces of information. Truth Maintenance Systems (TMSs), also known as Reason Maintenance Systems, are a class of programme that provides the functionality necessary to perform belief revision in just this way. However, each individual style of TMS contains embedded design decisions based on a particular problem solving domain and/or approach. An Interpreted Dependency Network (IDN) is the embodiment of the philosophy behind TMSs without the built-in assumptions. As such, IDNs allow for the easy specification of belief revision systems. Both the generality of IDNs and the ease of specification will be shown by rationally reconstructing existing approaches to TMSs. This thesis provides a declarative semantics for IDNs along with general purpose algorithms for interpreting dependency networks. This means that IDNs have the necessary support to function as representations for long term knowledge. This is in contrast to the transitory nature of the information normally captured by TMSs. The ability of IDNs to be used as knowledge representations is demonstrated by reconstructing several existing AI representation paradigms as IDNs. This also highlights the benefits of IDNs. For example, the declarative nature of the interpretation mechanism enables easy specification of the semantics of a representation while the explicit representation of dependencies enables a network to support several different modes of reasoning.
Supervisor: Not available Sponsor: Science and Engineering Research Council
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: QA Mathematics