Division of Informatics
Forrest Hill & 80 South Bridge
MSc Thesis #9663 | |
|---|---|
| Title: | Belief Revision |
| Authors: | Roberts,SL |
| Date: | 1996 |
| Presented: | |
| Keywords: | |
| Abstract: | An example problem from the field of belief revision will be considered, and a selection of approaches to this type of problem will be reviewed. One of these approaches, the AGM approach coupled with the use of epistemic entrenchments, will be improved upon and used to develop an algorithm to perform belief revision in a machine agent. The algorithm will be implemented in Oyster, an interactive theorem prover, and the basis of this method of programming is explained. |
| Download: | NO ONLINE COPY |
![[Search These Pages]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}