Buch, Englisch, Band 5, 517 Seiten, HC runder Rücken kaschiert, Format (B × H): 160 mm x 241 mm, Gewicht: 2030 g
Reihe: Handbook of Defeasible Reasoning and Uncertainty Management Systems
Algorithms for Uncertainty and Defeasible Reasoning
Buch, Englisch, Band 5, 517 Seiten, HC runder Rücken kaschiert, Format (B × H): 160 mm x 241 mm, Gewicht: 2030 g
Reihe: Handbook of Defeasible Reasoning and Uncertainty Management Systems
ISBN: 978-0-7923-6672-0
Verlag: Springer Netherlands
Reasoning under uncertainty is always based on a specified language or for malism, including its particular syntax and semantics, but also on its associated inference mechanism. In the present volume of the handbook the last aspect, the algorithmic aspects of uncertainty calculi are presented. Theory has suffi ciently advanced to unfold some generally applicable fundamental structures and methods. On the other hand, particular features of specific formalisms and ap proaches to uncertainty of course still influence strongly the computational meth ods to be used. Both general as well as specific methods are included in this volume. Broadly speaking, symbolic or logical approaches to uncertainty and nu merical approaches are often distinguished. Although this distinction is somewhat misleading, it is used as a means to structure the present volume. This is even to some degree reflected in the two first chapters, which treat fundamental, general methods of computation in systems designed to represent uncertainty. It has been noted early by Shenoy and Shafer, that computations in different domains have an underlying common structure. Essentially pieces of knowledge or information are to be combined together and then focused on some particular question or domain. This can be captured in an algebraic structure called valuation algebra which is described in the first chapter. Here the basic operations of combination and focus ing (marginalization) of knowledge and information is modeled abstractly subject to simple axioms.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Wissensbasierte Systeme, Expertensysteme
- Mathematik | Informatik Mathematik Mathematik Allgemein Grundlagen der Mathematik
- Geisteswissenschaften Philosophie Philosophische Logik, Argumentationstheorie
- Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik
- Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Robotik
- Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmier- und Skriptsprachen
Weitere Infos & Material
Volume Introduction.- I: Fundamentals.- Computation in Valuation Algebras.- Consequence Finding Algorithms.- II: Algorithms for Logical Formalisms.- Computing Specificity in Default Reasoning.- Possibilistic Logic: Complexity and Algorithms.- Probabilistic Argumentation Systems.- III: Algorithms for Numerical Formalisms.- Probabilistic Networks.- Probabilistic Satisfiability.- Algorithms for Imprecise Probabilities.- Algorithms for Dempster—Shafer Theory.- Network-based Decision Algorithms.