Propositional, Probabilistic and Evidential Reasoning (Paperback)

Weiru Liu

ISBN 10: 3790824933 / ISBN 13: 9783790824933

Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Heidelberg, 2010

About this Item

Paperback. 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. This facilitates purely symbolic reasoning using the possible worlds and numeric reasoning via the probabilities of those possible worlds. The consequence is a unified mechanism which includes both symbolic and numeric mechanisms as special cases. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.

Seller Inventory # 9783790824933

Bibliographic Details

• Title: Propositional, Probabilistic and Evidential Reasoning (Paperback)
• Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Heidelberg
• Publication Date: 2010
• Language: English
• ISBN 10: 3790824933
• ISBN 13: 9783790824933
• Binding: Paperback
• Edition: 1st Edition
• Condition: new

About this title

Synopsis

How to draw plausible conclusions from uncertain and conflicting sources of evidence is one of the major intellectual challenges of Artificial Intelligence. It is a prerequisite of the smart technology needed to help humans cope with the information explosion of the modern world. In addition, computational modelling of uncertain reasoning is a key to understanding human rationality. Previous computational accounts of uncertain reasoning have fallen into two camps: purely symbolic and numeric. This book represents a major advance by presenting a unifying framework which unites these opposing camps. The Incidence Calculus can be viewed as both a symbolic and a numeric mechanism. Numeric values are assigned indirectly to evidence via the possible worlds in which that evidence is true. This facilitates purely symbolic reasoning using the possible worlds and numeric reasoning via the probabilities of those possible worlds. Moreover, the indirect assignment solves some difficult technical problems, like the combinat ion of dependent sources of evidcence, which had defeated earlier mechanisms. Weiru Liu generalises the Incidence Calculus and then compares it to a succes sion of earlier computational mechanisms for uncertain reasoning: Dempster-Shafer Theory, Assumption-Based Truth Maintenance, Probabilis­ tic Logic, Rough Sets, etc. She shows how each of them is represented and interpreted in Incidence Calculus. The consequence is a unified mechanism which includes both symbolic and numeric mechanisms as special cases. It provides a bridge between symbolic and numeric approaches, retaining the advantages of both and overcoming some of their disadvantages.

From the Back Cover

The book systematically provides the reader with a broad range of systems/research work to date that address 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 is addressed primarily to 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.