Probabilistic Inductive Logic Programming Based on Answer Set Programming
We propose a new formal language for the expressive representation of probabilistic knowledge based on Answer Set Programming (ASP). It allows for the annotation of first-order formulas as well as ASP rules and facts with probabilities and for learning of such weights from data (parameter estimation). Weighted formulas are given a semantics in terms of soft and hard constraints which determine a probability distribution over answer sets. In contrast to related approaches, we approach inference by optionally utilizing so-called streamlining XOR constraints, in order to reduce the number of computed answer sets. Our approach is prototypically implemented. Examples illustrate the introduced concepts and point at issues and topics for future research.
Code (1)
Tasks
Inductive logic programmingparameter estimationSimilar Papers 제목 키워드 기반
PrASP Report
This technical report describes the usage, syntax, semantics and core algorithms of the probabilistic inductive logic programming framework PrASP. PrASP is a research software which integrates non-monotonic reasoning bas…
Inductive logic programmingProceedings 40th International Conference on Logic Programming
Since the first conference In Marseille in 1982, the International Conference on Logic Programming (ICLP) has been the premier international event for presenting research in logic programming. These proceedings include t…
Inductive logic programmingProbabilistic ProgrammingPrompt EngineeringProceedings 38th International Conference on Logic Programming
ICLP is the premier international event for presenting research in logic programming. Contributions to ICLP 2022 were sought in all areas of logic programming, including but not limited to: Foundations: Semantics, Formal…
Automated Theorem ProvingData IntegrationManagementProbabilistic ProgrammingProceedings 37th International Conference on Logic Programming (Technical Communications)
ICLP is the premier international event for presenting research in logic programming. Contributions to ICLP 2021 were sought in all areas of logic programming, including but not limited to: Foundations: Semantics, Formal…
Automated Theorem ProvingData IntegrationManagementProbabilistic ProgrammingProceedings 35th International Conference on Logic Programming (Technical Communications)
Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but …
Automated Theorem ProvingData IntegrationInductive logic programmingManagement