JudgeD: a probabilistic datalog with dependencies

Research output: Contribution to conferencePaperAcademicpeer-review

1 Citation (Scopus)
3 Downloads (Pure)

Abstract

We present JudgeD, a probabilistic datalog. A JudgeD program defines a distribution over a set of traditional datalog programs by attaching logical sentences to clauses to implicitly specify traditional data programs. Through the logical sentences, JudgeD provides a novel method for the expression of complex dependencies between both rules and facts. JudgeD is implemented as a proof-of-concept in the language Python. The implementation allows connection to external data sources, and features both a Monte Carlo probability approximation as well as an exact solver supported by BDDs. Several directions for future work are discussed and the implementation is released under the MIT license.
Original languageEnglish
Pages-
Number of pages6
Publication statusPublished - 13 Feb 2016
EventWorkshop on Declarative Learning Based Programming, DeLBP 2016 - Phoenix, United States
Duration: 13 Feb 201613 Feb 2016

Workshop

WorkshopWorkshop on Declarative Learning Based Programming, DeLBP 2016
Abbreviated titleDeLBP 2016
CountryUnited States
CityPhoenix
Period13/02/1613/02/16
OtherIn conjunction with the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16)

Keywords

  • probabilistic Datalog
  • EWI-26661
  • METIS-315143
  • IR-98966
  • Datalog

Cite this

Wanders, B., van Keulen, M., & Flokstra, J. (2016). JudgeD: a probabilistic datalog with dependencies. -. Paper presented at Workshop on Declarative Learning Based Programming, DeLBP 2016, Phoenix, United States.
Wanders, B. ; van Keulen, Maurice ; Flokstra, Jan. / JudgeD: a probabilistic datalog with dependencies. Paper presented at Workshop on Declarative Learning Based Programming, DeLBP 2016, Phoenix, United States.6 p.
@conference{17a4188579eb4d52bd3f3b4cdbe52189,
title = "JudgeD: a probabilistic datalog with dependencies",
abstract = "We present JudgeD, a probabilistic datalog. A JudgeD program defines a distribution over a set of traditional datalog programs by attaching logical sentences to clauses to implicitly specify traditional data programs. Through the logical sentences, JudgeD provides a novel method for the expression of complex dependencies between both rules and facts. JudgeD is implemented as a proof-of-concept in the language Python. The implementation allows connection to external data sources, and features both a Monte Carlo probability approximation as well as an exact solver supported by BDDs. Several directions for future work are discussed and the implementation is released under the MIT license.",
keywords = "probabilistic Datalog, EWI-26661, METIS-315143, IR-98966, Datalog",
author = "B. Wanders and {van Keulen}, Maurice and Jan Flokstra",
year = "2016",
month = "2",
day = "13",
language = "English",
pages = "--",
note = "Workshop on Declarative Learning Based Programming, DeLBP 2016, DeLBP 2016 ; Conference date: 13-02-2016 Through 13-02-2016",

}

Wanders, B, van Keulen, M & Flokstra, J 2016, 'JudgeD: a probabilistic datalog with dependencies' Paper presented at Workshop on Declarative Learning Based Programming, DeLBP 2016, Phoenix, United States, 13/02/16 - 13/02/16, pp. -.

JudgeD: a probabilistic datalog with dependencies. / Wanders, B.; van Keulen, Maurice; Flokstra, Jan.

2016. - Paper presented at Workshop on Declarative Learning Based Programming, DeLBP 2016, Phoenix, United States.

Research output: Contribution to conferencePaperAcademicpeer-review

TY - CONF

T1 - JudgeD: a probabilistic datalog with dependencies

AU - Wanders, B.

AU - van Keulen, Maurice

AU - Flokstra, Jan

PY - 2016/2/13

Y1 - 2016/2/13

N2 - We present JudgeD, a probabilistic datalog. A JudgeD program defines a distribution over a set of traditional datalog programs by attaching logical sentences to clauses to implicitly specify traditional data programs. Through the logical sentences, JudgeD provides a novel method for the expression of complex dependencies between both rules and facts. JudgeD is implemented as a proof-of-concept in the language Python. The implementation allows connection to external data sources, and features both a Monte Carlo probability approximation as well as an exact solver supported by BDDs. Several directions for future work are discussed and the implementation is released under the MIT license.

AB - We present JudgeD, a probabilistic datalog. A JudgeD program defines a distribution over a set of traditional datalog programs by attaching logical sentences to clauses to implicitly specify traditional data programs. Through the logical sentences, JudgeD provides a novel method for the expression of complex dependencies between both rules and facts. JudgeD is implemented as a proof-of-concept in the language Python. The implementation allows connection to external data sources, and features both a Monte Carlo probability approximation as well as an exact solver supported by BDDs. Several directions for future work are discussed and the implementation is released under the MIT license.

KW - probabilistic Datalog

KW - EWI-26661

KW - METIS-315143

KW - IR-98966

KW - Datalog

M3 - Paper

SP - -

ER -

Wanders B, van Keulen M, Flokstra J. JudgeD: a probabilistic datalog with dependencies. 2016. Paper presented at Workshop on Declarative Learning Based Programming, DeLBP 2016, Phoenix, United States.