• Login
    View Item 
    •   DSpace Home
    • Stony Brook University
    • Stony Brook Theses & Dissertations [SBU]
    • View Item
    •   DSpace Home
    • Stony Brook University
    • Stony Brook Theses & Dissertations [SBU]
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browse

    All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    My Account

    LoginRegister

    Statistics

    Most Popular ItemsStatistics by CountryMost Popular Authors

    Reasoning about Uncertainty and Correlated Beliefs

    Thumbnail
    View/Open
    Wan_grad.sunysb_0771E_10151.pdf (1.321Mb)
    Date
    1-Aug-10
    Author
    Wan, Hui
    Publisher
    The Graduate School, Stony Brook University: Stony Brook, NY.
    Metadata
    Show full item record
    Abstract
    Reasoning about uncertainty has been an active area of research for over thirty years. With the advent of networked systems, especially the Web, it became important to be able to combine uncertain information that comes from different sources. One of the hard problems in this area is combining evidence obtained from correlated, possibly conflicting, information sources.This dissertation develops Belief Logic Programming (BLP), a novel form of quantitative logic programming that deals with uncertain and inconsistent information and is able to combine and correlate evidence obtained from non-independent information sources. BLP was inspired by Dempster-Shafer theory of evidence and belief combination functions. Our approach does not depend on a particular method of combining evidence and, in fact, different combination methods can be used simultaneously for different types of uncertain information. Most importantly, unlike previous efforts to integrate uncertainty and logic programming, BLP can correlate structural information contained in rules and provides more accurate estimates for certainty factors.Together with declarative and fixpoint semantics for BLP, the dissertation develops optimized query evaluation algorithms. In addition, the monotonicity and non-monotonicity properties of BLP as well as the relationship to defeasible reasoning, paraconsistent reasoning, and Dempster-Shafer theory of evidence are discussed.After developing the basic framework, the dissertation develops several extensions. One extension allows cyclic dependencies in BLP rules. Another extension captures quantitative correlation among the base facts. Since full correlation information might not always be available, we develop an approach that allows to approximate correlation information using only partial information. Under certain conditions, this approximate method yields the same results as the method that is based on full information. The query evaluation algorithms are then extended to cover the enhancements.
    URI
    http://hdl.handle.net/1951/55662
    Collections
    • Stony Brook Theses & Dissertations [SBU] [1955]

    SUNY Digital Repository Support
    DSpace software copyright © 2002-2022  DuraSpace
    Contact Us | Send Feedback
    DSpace Express is a service operated by 
    Atmire NV
     

     


    SUNY Digital Repository Support
    DSpace software copyright © 2002-2022  DuraSpace
    Contact Us | Send Feedback
    DSpace Express is a service operated by 
    Atmire NV