Show simple item record

dc.contributor.authorLiu, Weiruen
dc.date.accessioned2018-01-31T11:47:10Z
dc.date.available2018-01-31T11:47:10Z
dc.date.issued1995en
dc.identifier.urihttp://hdl.handle.net/1842/28442
dc.description.abstractThis thesis presents a comprehensive study o f incidence calculus, a probabilistic logic for reasoning under uncertainty which extends two-value propositional logic to a multiple-value logic. There are three main contributions in this thesis.en
dc.description.abstractFirst of all, the original incidence calculus is extended considerably in three aspects: (a) the original incidence calculus is generalized; (b) an efficient algorithm for incidence assignment based on generalized incidence calculus is developed; (c) a combination rule is proposed for the combination of both independent and some dependent pieces of evidence. Extended incidence calculus has the advantages of representing information flexibly and combining multiple sources o f evidence.en
dc.description.abstractSecondly, a comprehensive comparison between extended incidence calculus and the Dempster-Shafer (DS) theory of evidence is provided. It is proved that extended incidence calculus is equivalent to DS theory in representing evidence and combining independent evidence but superior to DS theory in combining de­pendent evidence.en
dc.description.abstractThirdly, the relations between extended incidence calculus and the assumption- based truth maintenance systems are discussed. It is proved that extended inci­dence calculus is equivalent to the ATM S in calculating labels for nodes. Extended incidence calculus can also be used as a basis for constructing probabilistic ATMSs.en
dc.description.abstractThe study in this thesis reveals that extended incidence calculus can be re­garded as a bridge between numerical and symbolic reasoning mechanisms.en
dc.publisherThe University of Edinburghen
dc.relation.isreferencedbyAlready catalogueden
dc.subjectAnnexe Thesis Digitisation Project 2017 Block 16en
dc.titleExtended incidence calculus and its comparison with related theoriesen
dc.typeThesis or Dissertationen
dc.type.qualificationlevelen
dc.type.qualificationnamePhD Doctor of Philosophyen


Files in this item

This item appears in the following Collection(s)

Show simple item record