Title Logic Production Systems - Introduction and Implementation
Abstract LPS (logic-based production system) is an attempt to implement a unifying framework that is lacking in Computing today, the result of over a decade of research by Kowalski and Sadri. LPS includes both logic programs and reactive rules, which are a logical reconstruction of production system rules. Logic programs in LPS represent the beliefs of an intelligent agent, and reactive rules represent the agent’s goals. Computation in LPS consists in destructively performing state-transforming actions to make consequents true whenever antecedents become true. An open-source, web-based reference implementation of LPS in SWI-Prolog will be demonstrated on a number of examples. The implementation will be overviewed, concluding with opportunities for future work. More information at

Other presentations by Miguel Calejo

10 April 2017 Logic Production Systems - Introduction and Implementation