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.

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.

The reader gains relatively complete knowledge about how a pure numerical, pure symbolic, or hybrid system behaves Systemati review of the work on integrating numerical and symbolic approaches Illustration by a large number of examples Includes supplementary material: sn.pub/extras

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com