Boek cover Markov Logic van Pedro Domingos

Markov Logic

An Interface Layer for Artificial Intelligence

nog geen rating
uitgever Morgan & Claypool Publishers
Taal Engels
Bindwijze Paperback
Afmetingen 22,9 x 19,1 x 1,3 cm
Aantal paginas 145 pagina's
Illustraties Nee
Auteur(s) Pedro Domingos | Daniel Lowd | Daniel Lowd
Redacteur Ronald Brachman
Co-redacteur Thomas Dietterich
Uitgever Morgan & Claypool Publishers
Extra groot lettertype Nee
Gewicht 295 g
Studieboek Nee
Verpakking breedte 191 mm
Verpakking hoogte 13 mm
Verpakking lengte 229 mm


Most subfields of computer science have an interface layer via which applications communicate with the infrastructure, and this is key to their success (e.g., the Internet in networking, the relational model in databases, etc.). So far this interface layer has been missing in AI. First-order logic and probabilistic graphical models each have some of the necessary features, but a viable interface layer requires combining both. Markov logic is a powerful new language that accomplishes this by attaching weights to first-order formulas and treating them as templates for features of Markov random fields. Most statistical models in wide use are special cases of Markov logic, and first-order logic is its infinite-weight limit. Inference algorithms for Markov logic combine ideas from satisfiability, Markov chain Monte Carlo, belief propagation, and resolution. Learning algorithms make use of conditional likelihood, convex optimization, and inductive logic programming. Markov logic has been successfully applied to problems in information extraction and integration, natural language processing, robot mapping, social networks, computational biology, and others, and is the basis of the open-source Alchemy system.

Gelijkaardige boeken

Boek cover The Essence of Logic van John Kelly
The Prentice Hall Essence of Computing Series provides a concise, practical and uniform introduction to the core components of an undergraduate...
›› meer info
Boek cover Topology via Logic van Steven Vickers
Series Number 5: Topology via Logic
Now in paperback, Topology via Logic is an advanced textbook on topology for computer scientists. Based on a course given by the author to...
›› meer info
1 op 5 sterren
Boek cover Logic Primer van Colin Allen
Logic Primer presents a rigorous introduction to natural deduction systems of sentential and first-order logic. The text is designed to foster the...
›› meer info
Boek cover Logic Programming van S Torrance
Expanding the Horizons
Proceedings of the first UK Logic Programming Conference sponsored by the British Government's Alvey Programme. This book provides an up-to-date...
›› meer info
Boek cover Modal Logic van Patrick Blackburn
Series Number 53: Modal Logic
This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas...
›› meer info
Boek cover From Discourse to Logic van Hans Kamp
Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory
Preface This book is about semantics and logic. More specifically, it is about the semantics and logic of natural language; and, even more...
›› meer info
Boek cover Logic and Architecture Synthesis van Anne Mignotte
State-of-the-art and Novel Approaches - IFIP Workshop on Logic and Architecture Synthesis
This book describes several methods and systems solving one of the highlighted problems within computer aided design, namely architectural and...
›› meer info
Boek cover Networks and Graphs van Smith, D K
Techniques and Computational Methods
Dr Smith here presents essential mathematical and computational ideas of network optimisation for senior undergraduate and postgraduate students in...
›› meer info
Boek cover Logic Programs, Norms and Action van
Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday
This book is dedicated to Marek Sergot, Professor in Computational Logic at Imperial College London, on the occasion of his 60th birthday. Professor...
›› meer info
Boek cover Markov Chains van Bruno Sericola
Theory and Applications
Markov chains are a fundamental class of stochastic processes. They are widely used to solve problems in a large number of domains such as...
›› meer info