Markov logic networks

DOI10.1007/s10994-006-5833-1zbMath1470.68221WikidataQ56221778 ScholiaQ56221778MaRDI QIDQ2491364

Pedro Domingos, Matthew Richardson

Publication date: 29 May 2006

Published in: Machine Learning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10994-006-5833-1

zbMATH Keywords

Markov chain Monte Carlo; first-order logic; satisfiability; inductive logic programming; graphical models; pseudo-likelihood; Markov random fields; log-linear models; link prediction; statistical relational learning; Markov networks; knowledge-based model construction

Mathematics Subject Classification ID

68T05: Learning and adaptive systems in artificial intelligence

68T27: Logic in artificial intelligence

68T30: Knowledge representation

68N17: Logic programming

62H22: Probabilistic graphical models

Related Items

Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs, New Advances in Logic-Based Probabilistic Modeling by PRISM, CLP( $\cal{BN}$ ): Constraint Logic Programming for Probabilistic Knowledge, The Independent Choice Logic and Beyond, Model-Theoretic Expressivity Analysis, Learning to Assign Degrees of Belief in Relational Domains, Induction of Optimal Semantic Semi-distances for Clausal Knowledge Bases, A Relational Hierarchical Model for Decision-Theoretic Assistance, Mining the semantic web statistical learning for next generation knowledge bases, Stochastic representation and recognition of high-level group activities, Stochastic relational processes: efficient inference and applications, Relational information gain, Constraint-based probabilistic modeling for statistical abduction, Reference classes and relational learning, Mixed deterministic and probabilistic networks, Learning directed probabilistic logical models: Ordering-search versus structure-search, Probabilistic modelling, inference and learning using logical theories, Semantic fusion of laser and vision in pedestrian detection, Generalized ordering-search for learning directed probabilistic logical models, Learning to assign degrees of belief in relational domains, Learning probabilistic logic models from probabilistic examples, Structured machine learning: the next ten years, Learning action models from plan examples using weighted MAX-SAT, Theoretical tools for understanding and aiding dynamic decision making, Relational retrieval using a combination of path-constrained random walks, Probabilistic logic with independence, Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence, Probabilistic reasoning in a classical logic, Gleaner: Creating ensembles of first-order clauses to improve recall-precision curves, The YAP Prolog system, Relational Probabilistic Conditional Reasoning at Maximum Entropy, Probabilistic Rule Learning in Nonmonotonic Domains, Discriminative Structure Learning of Markov Logic Networks, A Comparison between Two Statistical Relational Models, A Statistical Approach to Incremental Induction of First-Order Hierarchical Knowledge Bases, A Survey of First-Order Probabilistic Models, Probabilistic reasoning with answer sets

Uses Software

• L-BFGS
• LBFGS-B
• PRISM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Answering queries from context-sensitive probabilistic knowledge bases
• Clausal discovery
• An analysis of first-order logics of probability
• On the limited memory BFGS method for large scale optimization
• Probabilistic logic
• Probabilistic Horn abduction and Bayesian networks
• Theory refinement combining analytical and empirical methods
• Knowledge-based artificial neural networks
• On the optimality of the simple Bayesian classifier under zero-one loss
• Learning Bayesian networks: The combination of knowledge and statistical data
• On the complexity of inference about probabilistic relational models
• 10.1162/153244301753344614
• Algorithm 778: L-BFGS-B
• Numerical Optimization
• A Limited Memory Algorithm for Bound Constrained Optimization
• A Machine-Oriented Logic Based on the Resolution Principle