With PQDT Open, you can read the full text of open access dissertations and theses free of charge.
About PQDT Open
Search
In this thesis I implement belief revision in SNePS based on a user-supplied epistemic ordering of propositions. I provide a decision procedure that performs revision completely automatically when given a well preorder. I also provide a decision procedure that, when given a total preorder, performs revision with a minimal number of queries to the user when multiple propositions within a minimally-inconsistent set are minimally epistemically entrenched. These procedures are implemented in SNePS as options alongside the old belief revision subsystem, wherein revision must be done entirely by hand. I implement both prioritized and nonprioritized belief revision by adjusting the epistemic ordering function passed to the new procedures. The first procedure uses O(|Σ|) units of space, and completes within O(|Σ|² · smax) units of time, where Σ is the set of distinct minimally-inconsistent sets, and smax is the number of propositions in the largest minimally-inconsistent set. The second procedure uses O(|Σ|² · [special characters omitted]) space and O(|Σ|² · [special characters omitted]) time. The examples provided herein demonstrate that the new procedures generalize previous work on belief revision in SNePS.
Advisor: | Shapiro, Stuart C. |
Commitee: | Rapaport, William J. |
School: | State University of New York at Buffalo |
Department: | Computer Science and Engineering |
School Location: | United States -- New York |
Source: | MAI 49/06M, Masters Abstracts International |
Source Type: | DISSERTATION |
Subjects: | Artificial intelligence, Computer science |
Keywords: | Automated, Belief revision, Knowledge representation, Reasoner, Sneps |
Publication Number: | 1495431 |
ISBN: | 978-1-124-73047-9 |