Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

Interpreted dependency networks : a general framework for belief revision

Tools
- Tools
+ Tools

Saward, Guy R.E.S. (1991) Interpreted dependency networks : a general framework for belief revision. PhD thesis, University of Warwick.

[img]
Preview
PDF
WRAP_Theses_Saward_1991.pdf - Submitted Version - Requires a PDF viewer.

Download (9Mb) | Preview
Official URL: http://webcat.warwick.ac.uk/record=b3203070~S15

Request Changes to record.

Abstract

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.

Item Type: Thesis (PhD)
Subjects: Q Science > QA Mathematics
Library of Congress Subject Headings (LCSH): Artificial intelligence -- Computer programs, Truth maintenance systems
Official Date: 1991
Dates:
DateEvent
1991UNSPECIFIED
Institution: University of Warwick
Theses Department: Department of Computer Science
Thesis Type: PhD
Publication Status: Unpublished
Supervisor(s)/Advisor: Cohn, A. G.
Sponsors: Science and Engineering Research Council (Great Britain)
Extent: x, 265, [15] leaves : illustrations
Language: eng

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics

twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us