logic-programming   247

« earlier    

[1805.10872] DeepProbLog: Neural Probabilistic Logic Programming
We introduce DeepProbLog, a probabilistic logic programming language that incorporates deep learning by means of neural predicates. We show how existing inference and learning techniques can be adapted for the new language. Our experiments demonstrate that DeepProbLog supports both symbolic and subsymbolic representations and inference, 1) program induction, 2) probabilistic (logic) programming, and 3) (deep) learning from examples. To the best of our knowledge, this work is the first to propose a framework where general-purpose neural networks and expressive probabilistic-logical modeling and reasoning are integrated in a way that exploits the full expressiveness and strengths of both worlds and can be trained end-to-end based on examples.
neural-net  logic-programming  probabilistic-programming 
11 weeks ago by arsyed

« earlier    

related tags

**  abstract-machine  ai  algorithms  argumentation  artificial-intelligence  asp  automated-proof  bayesian  bioinformatics  book  books  category-theory  cellular-automata  cf:lee-spector  circuit-design  clojure  clp  computational-complexity  computer-science  concatenative-language  concurrency  consider:looking-to-see  consider:performance-measures  consider:rediscovery  consider:representation  constraint-modeling  constraint-progamming  constraint-programming  constraint-satisfaction  constraints  continuous-integration  cool  coq  core.logic  cosmos  course-materials  data-mining  data-science  databases  datalog  declarative-programming  digital-systems  documentation  dvm  ebooks  educational  electrical-engineering  engineering-design  erlang  feels-evolvable  formal-design  formal-languages  formal-modeling  formal-verification  formalization  free  fsharp  functional-programming  functional  game-design  game-programming  gaussian-processes  generative-art  graph-rewriting  hacker-news-comments  haskell  hn  information-theory  interactive-fiction  isomorphism  jvm  kanren  lambda-calculus  language-design  language  library  lisp  logic  machine-learning  make  manual  math  mathematical-programming  mathematical-recreations  mathematics  minikanren  minizinc  mit  narrative  neural-net  neural-networks  nudge-targets  number-theory  ocaml  oleg-kiselyov  ontology  oop  optimization  papers  parallel  parser-combinators  pdf  performance-measure  picat  pl  planning  plt  pluscal  polyglot  prediction  probabilistic-programming  probabilistic  processor-architecture  proglang  programming-language-design  programming-language  programming-languages  programming  prolog  proof  puzzles  pythological  python  quantums  racket  rather-interesting  reference  reinforcement-learning  relational  representation  scala  scheme  semantics  sicp  simulation  slides  software-design  software-testing  solvers  spec-language  static-analysis  statistical-learning  statistics  streaming-video  swift  systems-programming  talks  test-driven-development  the-mangle-in-practice  tla+  to-learn  to-read  to:read  travis-ci  tsukuba  tutorial  typed  verification  verilog  video-lectures  virtual-machine  visualization  warelogging  warren-abstract-machine  wikipedia  yukiyoshi-kameyama  z3  zinc 

Copy this bookmark: