Programming in logic without logic programming
File(s)
Author(s)
KOWALSKI, R
SADRI, F
Type
Journal Article
Abstract
Copyright © Cambridge University Press 2016.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 (OS), 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 OS 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 OS can generate all and only such models. In order to focus on the main issues, we omit the logic programming component of the framework.
Date Issued
2016-03-16
Online Publication Date
2016-09-16T06:00:13Z
Date Acceptance
2015-12-14
ISSN
1475-3081
Publisher
Cambridge University Press (CUP): STM Journals
Start Page
269
End Page
295
Journal / Book Title
Theory and Practice of Logic Programming
Volume
16
Issue
3
Copyright Statement
© 2016 Cambridge University Press. This paper has been accepted for publication and will appear in a revised form, subsequent to peer-review and/or editorial input by Cambridge University Press.
Source Database
scopus
Subjects
Computation Theory & Mathematics
0803 Computer Software
0801 Artificial Intelligence And Image Processing
Publication Status
Accepted