Essentials of logic programming
Essentials of logic programming
A machine program for theorem-proving
Communications of the ACM
An efficient solver for weighted Max-SAT
Journal of Global Optimization
Memory-efficient inference in relational domains
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Discriminative training of Markov logic networks
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
MINIMAXSAT: an efficient weighted max-SAT solver
Journal of Artificial Intelligence Research
Lifted aggregation in directed first-order probabilistic models
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A new method for solving hard satisfiability problems
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Speeding up inference in statistical relational learning by clustering similar query literals
ILP'09 Proceedings of the 19th international conference on Inductive logic programming
Data-based research at IIT Bombay
ACM SIGMOD Record
Hi-index | 0.00 |
Many SRL models pose logical inference as weighted satisfiability solving. Performing logical inference after completely grounding clauses with all possible constants is computationally expensive and approaches such as LazySAT [8] utilize the sparseness of the domain to deal with this. Here, we investigate the efficiency of restricting the Knowledge Base (S) to the set of first order horn clauses. We propose an algorithm that prunes the search space for satisfiability in horn clauses and prove that the optimal solution is guaranteed to exist in the pruned space. The approach finds a model, if it exists, in polynomial time; otherwise it finds an interpretation that is most likely given the weights. We provide experimental evidence that our approach reduces the size of search space substantially.