COMING SOON! PQDT Open is getting a new home!

ProQuest Open Access Dissertations & Theses will remain freely available as part of a new and enhanced search experience at

Questions? Please refer to this FAQ.

Dissertation/Thesis Abstract

On The Use Of Epistemic Ordering Functions As Decision Criteria For Automated And Assisted Belief Revision In SNePs
by Fogel, Ari Ilan, M.S., State University of New York at Buffalo, 2011, 83; 1495431
Abstract (Summary)

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.

Indexing (document details)
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
Subjects: Artificial intelligence, Computer science
Keywords: Automated, Belief revision, Knowledge representation, Reasoner, Sneps
Publication Number: 1495431
ISBN: 978-1-124-73047-9
Copyright © 2021 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy