To Örebro University

oru.seÖrebro University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Probabilistic logic programming for hybrid relational domains
Department of Computer Science, KU Leuven, Leuven, Belgium.
Faculty of Engineering Science, KU Leuven, Leuven, Belgium.
Department of Computer Science, KU Leuven, Leuven, Belgium.ORCID iD: 0000-0002-6860-6303
2016 (English)In: Machine Learning, ISSN 0885-6125, E-ISSN 1573-0565, Vol. 103, no 3, p. 407-449Article in journal (Refereed) Published
Abstract [en]

We introduce a probabilistic language and an efficient inference algorithm based on distributional clauses for static and dynamic inference in hybrid relational domains. Static inference is based on sampling, where the samples represent (partial) worlds (with discrete and continuous variables). Furthermore, we use backward reasoning to determine which facts should be included in the partial worlds. For filtering in dynamic models we combine the static inference algorithm with particle filters and guarantee that the previous partial samples can be safely forgotten, a condition that does not hold in most logical filtering frameworks. Experiments show that the proposed framework can outperform classic sampling methods for static and dynamic inference and that it is promising for robotics and vision applications. In addition, it provides the correct results in domains in which most probabilistic programming languages fail.

Place, publisher, year, edition, pages
Boston: Springer-Verlag New York, 2016. Vol. 103, no 3, p. 407-449
Keywords [en]
Probabilistic programming, Statistical relational learning, Discrete andcontinuous distributions, Particle filter, Likelihood weighting, Logic programming
National Category
Mechanical Engineering Control Engineering
Identifiers
URN: urn:nbn:se:oru:diva-84471DOI: 10.1007/s10994-016-5558-8ISI: 000376645600005Scopus ID: 2-s2.0-84964262606OAI: oai:DiVA.org:oru-84471DiVA, id: diva2:1453161
Available from: 2020-07-09 Created: 2020-07-09 Last updated: 2020-08-21Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

De Raedt, Luc

Search in DiVA

By author/editor
De Raedt, Luc
In the same journal
Machine Learning
Mechanical EngineeringControl Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 87 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf