engleski

Integrating Dempster-Shafer Belief Functions into a Knowledge Representation System Based on Petri Nets

The expressive power and the epistemic adequacy of the Dempster-Shafer (DS) theory of evidence has often been acknowledged. DS theory of evidence is based on two components: a tool for representing belief for a statement, i.e. a pair of set functions (Bel, Pl) that quantify to what extent available evidence implies the statement and to what extent is available evidence consistent with the statement, respectively; and a tool for combining evidence. This paper describes an attempt at integrating appropriately modified belief bases into a knowledge representation system which utilizes Petri nets for representing knowledge.

uncertain reasoning; Dempster-Shafer theory; knowledge representation by Petri nets

nije evidentirano