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 © 2020 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy