Propositional Probabilistic and Evidential Reasoning: Integrating Numerical and Symbolic Approaches

丛 书 名：Studies in fuzziness and soft computing,

作     者：Liu Weiru 

I S B N：(纸本) 3790814148 

出 版 社：Physica-Verlag Heidelberg 

出 版 年：2001年

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 07[理学] 081104[工学-模式识别与智能系统] 08[工学] 070104[理学-应用数学] 0835[工学-软件工程] 0701[理学-数学] 0811[工学-控制科学与工程] 070101[理学-基础数学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

摘      要：The book systematically provides the reader with a broad range of systems/research work to date that addresses the importance of combining numerical and symbolic approaches to reasoning under uncertainty in complex applications. It covers techniques on how to extend propositional logic to a probabilistic one and compares such derived probabilistic logic with closely related mechanisms, namely evidence theory, assumption-based truth maintenance systems and rough sets, in terms of representing and reasoning with knowledge and evidence. The book primarily addresses researchers, practitioners, students and lecturers in the field of Artificial Intelligence, particularly in the areas of reasoning under uncertainty, logic, knowledge representation and reasoning, and non-monotonic reasoning.