| 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 https://bitbucket.org/lpsmasters/lps_corner. |