Mentifex adumbrates: Programming in logic without logic programming

[menti...@gmail.com]

Artificial Intelligence Authors and titles at

http://arxiv.org/list/cs.AI/recent

for Tue, 5 Jan 2016 offers a link to

"Programming in logic without logic programming"

by Robert Kowalski and Fariba Sadri abstracted at

http://arxiv.org/abs/1601.00529

"In previous work, we proposed a logic-based framework
in which computation is the execution of actions in an
attempt to make reactive rules of the form
if antecedent then consequent true in a canonical model
of a logic program determined by an initial state, sequence
of events, and the resulting sequence of subsequent states.
In this model-theoretic semantics, reactive rules are the
driving force, and logic programs play only a supporting role.

In the canonical model, states, actions and other events
are represented with timestamps. But in the operational semantics,
for the sake of efficiency, timestamps are omitted and only
the current state is maintained. State transitions are performed
reactively by executing actions to make the consequents of rules
true whenever the antecedents become true. This operational
semantics is sound, but incomplete. It cannot make reactive rules
true by preventing their antecedents from becoming true, or by
proactively making their consequents true before their antecedents
become true.

In this paper, we characterize the notion of reactive model,
and prove that the operational semantics can generate all and
only such models. In order to focus on the main issues, we omit
the logic programming component of the framework."

--
http://ai.neocities.org/AiSteps.html
http://dl.acm.org/citation.cfm?doid=307824.307853
http://www.nlg-wiki.org/systems/Mind.Forth
http://www.amazon.com/dp/B00FKJY1WY