How to do it with LPS (Logic-Based Production System)

LPS is a logic and computer language in which computation performs actions, to make goals true, using beliefs about what is already true.

[1]  Luís Moniz Pereira,et al.  Programming Machine Ethics , 2016, Studies in Applied Philosophy, Epistemology and Rational Ethics.

[2]  Emir Pasalic,et al.  Design and Implementation of the LogicBlox System , 2015, SIGMOD Conference.

[3]  Robert A. Kowalski,et al.  Computational Logic and Human Thinking: How to Be Artificially Intelligent , 2011 .

[4]  Michael Kifer,et al.  An Overview of Transaction Logic , 1994, Theor. Comput. Sci..

[5]  Keith Stenning,et al.  Human Reasoning and Cognitive Science , 2008 .

[6]  Robert A. Kowalski,et al.  Programming in logic without logic programming , 2016, Theory Pract. Log. Program..

[7]  Fernando Pereira,et al.  Yedalog: Exploring Knowledge at Scale , 2015, SNAPL.

[8]  Dov M. Gabbay,et al.  The imperative future: principles of executable temporal logic , 1996 .

[9]  Robert A. Kowalski,et al.  Reactive Computing as Model Generation , 2015, New Generation Computing.