Premium
Dempster‐shafer approach in propositional logic
Author(s) -
Zhu Qing,
Lee E. S.
Publication year - 1993
Publication title -
international journal of intelligent systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.291
H-Index - 87
eISSN - 1098-111X
pISSN - 0884-8173
DOI - 10.1002/int.4550080302
Subject(s) - dempster–shafer theory , inference , propositional calculus , context (archaeology) , computer science , artificial intelligence , non monotonic logic , proof calculus , rule of inference , probabilistic logic network , calculus (dental) , theoretical computer science , autoepistemic logic , description logic , linear logic , multimodal logic , programming language , medicine , paleontology , dentistry , biology
A general framework of uncertainty reasoning based on Dempster‐Shafer's theory is proposed in the context of logic calculus. Under this framework, any inference can be conducted without much computational complexity. Furthermore, it avoids the problems of considering conflicting information and common universe when two pieces of evidence are combined. © 1993 John Wiley & Sons, Inc.