The Logic Production Systems demonstration website is now online at http://lpsdemo.interprolog.com, after we developed it for the Imperial College, London.
The result of over a decade of research by the inventor of Computational Logic, Bob Kowalski, with Fariba Sadri, LPS is a new logic based attempt at unifying imperative and declarative programming languages. Follow the “with LPS” link for the open source repository and further information.
Today Miguel Calejo participated with Luis Moniz Pereira in the keynote presentation “Games with Morality” at GAMEON’2016, the European Simulation and AI in Games Conference. The machine ethics technology discussed has potential application to autonomous vehicles in general and a number of areas where intelligent agents require… morality.
Miguel’s smallest segment covering the items below is here.
The keynote included two system demonstrations, which you can try yourself by installing the following software. Java is a prerequisite for both. It should work on Mac, Windows and Linux:
This showed QUALM running under InterProlog Studio.
To install and run it:
Miguel Calejo’s smaller slide deck “Games with morality: some practical aspects” is here.
“Logic-based Production Systems” is a new computer language that combines the characteristics of an imperative programming language with those of a declarative database and knowledge representation language. It is useful for game AI programming, event stream handling, teleoreactive programming, and a lot more.
LPS is the result of over a decade of research by a world class team, and its first open source implementation has been made available; more details at https://bitbucket.org/lpsmasters/lps_corner.
Studio now includes specific support for LPS:
More details in Download and Install.
Having a good time at the AI Summit in London, but getting lots of hype – including, naturally, IBM Watson’s.
Let me reflect some of that hype here: our open source Java-Prolog bridge was part of Watson’s development! Just a bit of plumbing to connect the Prolog logic reasoner to the natural language processor, but we’re there:-) cf. description of Watson architecture by an academic project member.
“No morality without qualm“, hence the name for a new logic reasoner developed by the New University of Lisbon, which adds tabled abduction, updating and counterfactuals to XSB Prolog. QUALM is an experimental open source project living at github
Having followed the many years of computational moral and ethics research behind the new book “Programming Machine Ethics” by Pereira and Saptawijaya, coming out this week at Springer… we’re delighted to serve Studio enriched with support for QUALM – the main logic programming reasoner featured in the book.
Prolog Studio features for QUALM:
More details in Download and Install.
It’s been a while, but finally InterProlog is back… pulling forward into open source other related work that has been brewing over the last couple of years, namely Prolog Studio.
The last (maintenance) release at Declarativa was over 4 years ago, and a lot happened since then: I joined the SILK project in late 2011, which was good for the system, until Vulcan canned it in early 2013; and at about the same time Declarativa’s web dev business had to shut down, at the peak of Portugal’s financial crisis… thus freeing yours truly for sexier stuff;-) Shortly after I co-founded Coherent Knowledge Systems; and this Summer, a year later, I left it to pursue other interests – such as all things Java+Prolog related, logic for your app as the above headline goes.
SILK brought the old Java-Prolog bridge into better shape – robustness, performance, flexibility; Coherent motivated my creation of Ergo Studio, of which Prolog Studio is the subset released here today. Along the way, another piece of code was upgraded and integrated into Studio: XJ, a little known (and still under documented, but stay tuned…) Swing declarative UI generator for Prolog that the good folks at XSB, Inc. released into open source too.
Logic programming is a unique secret sauce suffering from an historical fact: with a few exceptions, its master chefs have not cared to open that many restaurants! So there is a need to collect decades of juicy Prolog and related techniques and tools into edible form, for those developing apps for the real world. Prolog Studio and the Java-Prolog bridge are just first steps.
I’m pleased that all these dots have finally connected into this web site and the tools now prereleased for your enjoyment; more to come, pending your feedback.
Looking forward to comments and suggestions!