Show simple item record

Journal of Automated Reasoning

dc.contributor.authorBundy, Alan
dc.date.accessioned2010-12-14T16:07:45Z
dc.date.available2010-12-14T16:07:45Z
dc.date.issued1985
dc.identifier.urihttp://www.springerlink.com/content/g41n811341678865/en
dc.identifier.urihttp://hdl.handle.net/1842/4497
dc.description.abstractMechanisms for the automation of uncertainty are required for expert systems. Sometimes these mechanisms need to obey the properties of probabilistic reasoning. We argue that a purely numeric mechanism, like those proposed so far, cannot provide a probabilistic logic with truth functional connec- tives. We propose an alternative mechanism, Incidence Calculus, which is based on a representation of uncertainty using sets of points, which might represent situations models or possible worlds. Incidence Calculus does provide a probabilistic logic with truth functional connectives.en
dc.language.isoenen
dc.publisherD. Reidet Publishing Companyen
dc.subjectIncidence Calculusen
dc.subjectprobabilityen
dc.subjectuncertaintyen
dc.subjectlogicen
dc.subjectexpert systemsen
dc.subjectinferenceen
dc.titleIncidence Calculus: A Mechanism for Probabilistic Reasoningen
dc.typeArticleen
dc.identifier.doi10.1007/BF00244272en
rps.issue3en
rps.volume1en
rps.titleJournal of Automated Reasoningen
dc.extent.pageNumbers263-283en
dc.date.updated2010-12-14T16:07:45Z


Files in this item

This item appears in the following Collection(s)

Show simple item record