
Learning and Reasoning in Hybrid Structured Spaces
Description
Alles über E-Books | Antworten auf Fragen rund um E-Books, Kopierschutz und Dateiformate finden Sie in unserem Info- & Hilfebereich.
This book, Learning and Reasoning in Hybrid Structured Spaces, discusses a recent and general formalism called Weighted Model Integration (WMI), which enables probabilistic modeling and inference in hybrid structured domains. WMI-based inference algorithms differ with respect to most alternatives in that probabilities are computed inside a structured support involving both logical and algebraic relationships between variables. While the research in this area is at an early stage, we are witnessing an increasing interest in the study and development of scalable inference procedures and effective learning algorithms in this setting.
This book details some of the most impactful contributions in context of WMI-based inference in the last 5 years. Moreover, by providing a gentle introduction to the main concepts related to WMI, the book can be useful for both theoretical researchers and practitioners alike.
More details
Other editions
Additional editions
Content
- Intro
- Title Page
- Abstract
- Acknowledgments
- Contents
- Introduction
- Motivation
- Contributions
- Outline of the Thesis
- Background
- Probabilistic Graphical Models
- Bayesian Networks
- Markov Networks
- Factor graphs
- The belief propagation algorithm
- Inference by Weighted Model Counting
- Propositional satisfiability
- Weighted Model Counting
- Logical structure
- Inference by Weighted Model Integration
- Satisfiability Modulo Theories
- Weighted Model Integration
- Related work
- Modelling and inference
- Learning
- WMI-PA
- Predicate Abstraction
- Weighted Model Integration, Revisited
- Basic case: WMI Without Atomic Propositions
- General Case: WMI With Atomic Propositions
- Conditional Weight Functions
- From WMI to WMIold and vice versa
- A Case Study
- Modelling a journey with a fixed path
- Modelling a journey under a conditional plan
- Efficiency of the encodings
- Efficient WMI Computation
- The Procedure WMI-AllSMT
- The Procedure WMI-PA
- WMI-PA vs. WMI-AllSMT
- Experiments
- Synthetic Setting
- Strategic Road Network with Fixed Path
- Strategic Road Network with Conditional Plans
- Discussion
- Final remarks
- MP-MI
- Preliminaries
- Computing MI
- Hybrid inference via MI
- On the inherent hardness of MI
- MP-MI: exact MI inference via message passing
- Propagation scheme
- Amortizing Queries
- Complexity of MP-MI
- Experiments
- Final remarks
- lariat
- Learning WMI distributions
- Learning the support
- Learning the weight function
- Normalization
- Experiments
- Final remarks
- Conclusion
System requirements
File format: PDF
Copy protection: Watermark-DRM (Digital Rights Management)
System requirements:
- Computer (Windows; MacOS X; Linux): Use the free software Adobe Reader, Adobe Digital Editions, or any other PDF viewer of your choice (see eBook Help).
- Tablet/Smartphone (Android; iOS): Install the free app Adobe Digital Editions or another reading app for eBooks, e.g., PocketBook (see eBook Help).
- E-reader: Bookeen, Kobo, Pocketbook, Sony, Tolino and many more (only limited: Kindle).
The file format PDF always displays a book page identically on any hardware. This makes PDF suitable for complex layouts such as those used in textbooks and reference books (images, tables, columns, footnotes). Unfortunately, on the small screens of e-readers or smartphones, PDFs are rather annoying, requiring too much scrolling.
This eBook uses Watermark-DRM, a „soft” copy protection. This means that there are no technical restrictions to prevent illegal distribution. However, there is a personalised watermark embedded in the eBook that can be used to identify the purchaser of the eBook in the event of misuse and to provide evidence for legal purposes.
For more information, see our eBook Help page.