logic-programming   243

« 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 
17 days ago by arsyed
[1408.6474] Developments in Formal Proofs
This report describes three particular technological advances in formal proofs. The HOL Light proof assistant will be used to illustrate the design of a highly reliable system. Today, proof assistants can verify large bodies of advanced mathematics; and as an example, we turn to the formal proof in Coq of the Feit-Thompson Odd Order theorem in group theory. Finally, we discuss advances in the automation of formal proofs, as implemented in proof assistants such as Mizar, Coq, Isabelle, and HOL Light.
proof  mathematics  logic-programming  programming-language  representation  rather-interesting  nudge-targets  consider:representation 
march 2017 by Vaguery

« earlier    

related tags

**  a:no  abstract-machine  ai  algorithms  answer-set-programming  argumentation  article  artificial-intelligence  asp  automated-proof  automated  automation  bayesian  bioinformatics  blogs  book  books  category-theory  cellular-automata  cf:lee-spector  circuit-design  classical-ai  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  data-mining  data-science  databases  datalog  declarative-programming  dvm  ebooks  educational  engineering-design  erlang  feels-evolvable  formal-design  formal-languages  formal-modeling  formal-verification  formalization  free  fsharp  functional-programming  functional  game-design  game-programming  gamedev  gaussian-processes  generative-art  graph-rewriting  hacker-news-comments  haskell  hn  information-theory  interactive-fiction  isomorphism  journal-article  jvm  kanren  lambda-calculus  language-design  language  library  lisp  logic  machine-learning  make  math  mathematical-programming  mathematical-recreations  mathematics  minikanren  minizinc  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  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  software  solvers  spec-language  static-analysis  statistical-learning  statistics  streaming-video  swift  talks  test-driven-development  the-mangle-in-practice  tla+  to-grok  to-learn  to-read  to:read  travis-ci  tsukuba  tutorial  type-systems  type-theory  typed  verification  verilog  virtual-machine  visualization  warren-abstract-machine  yukiyoshi-kameyama  z3  zinc 

Copy this bookmark: