addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupshelp-with-circleimageimagesinstagramlinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

Logic Programming by Pierre de Lacaze

This talk will cover various aspects of Logic Programming. We examine Logic Programming in the contexts of Programming Languages, Mathematical Logic and Machine Learning.

We will we start with an introduction to Prolog and metaprogramming in Prolog. We will also discuss how miniKanren and Core.Logic differ from Prolog while maintaining the paradigms of logic programming.

We will then cover the Unification Algorithm in depth and examine the mathematical motivations which are rooted in Skolem Normal Form. We will describe the process of converting a statement in first order logic to clausal form logic. We will also discuss the applications of the Unification Algorithm to automated theorem proving and type inferencing.

Finally we will look at the role of Prolog in the context of Machine Learning. This is known as Inductive Logic Programming. In that context we will briefly review Decision Tree Learning and it's relationship to ILP. We will then examine Sequential Covering Algorithms for learning clauses in Propositional Calculus and then the more general  FOIL algorithm for learning sets of Horn clauses in First Order Predicate Calculus. Examples will be given in both Common Lisp and Clojure for these algorithms.

Pierre de Lacaze has over 20 years’ experience with Lisp and AI based technologies. He holds a Bachelor of Science in Applied Mathematics and Computer Science and a Master’s Degree in Computer Science. He is one of the Director's of LispNYC.org and is currently a Senior Developer at Shareablee.

Pizza and beer will be generously provided by Shareablee.

Links will be provided shortly.

Join or login to comment.

  • Mike A.

    Informative, educational, and chock full of detail.

    1 · June 10, 2015

  • Michael M.

    FREE VIP GOLD PASS TO BIG TECH EXPO AT JAVITS CENTER JUNE 9-11 $2500 VALUE

    When you register, make sure you choose the VIP GOLD option. It is about halfway down the list of options.

    Do not hesitate to email, text, or call me for assistance.

    HERE IS YOUR FREE REGISTRATION LINK ▸http://registration.sys-con.com/

    HERE IS YOUR DISCOUNT CODE ▸ alumnivipgold (enter it to re-set the price to $0 and receive your free registration)

    Click here to view Cloud Expo, Internet of @ThingsExpo, and Big Data Expo Speakers and Sessions.

    Click here to view DevOps Summit Speakers and Sessions.

    Best regards,

    Michael

    1 · June 9, 2015

  • Michael M.

    Do we need to provide full name to get in?

    June 9, 2015

    • Jeff P.

      There's no two-factor physical authentication process at Shareablee. Just sign the guestbook in the lobby and take the elevator to the 19th floor.

      1 · June 9, 2015

  • nick c.

    Do you have any references or suggested readings for the Prolog portion of the talk and/or for the algorithms.

    1 · May 25, 2015

    • Pierre de L.

      The Art of Prolog is the classic textbook for Prolog. GNU Prolog and SWI Prolog are popular implementations that run on most operating systems.

      1 · June 2, 2015

Our Sponsors

  • NYI.net

    Colocation and hosting in downtown Manhattan

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy