Programming in logic without logic programming
From MaRDI portal
Abstract: 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.
Recommendations
- scientific article; zbMATH DE number 86272
- scientific article; zbMATH DE number 4102471
- scientific article; zbMATH DE number 4072431
- scientific article; zbMATH DE number 194376
- Non-Horn clause logic programming without contrapositives
- Programs and logics
- scientific article; zbMATH DE number 708499
- Non-Horn clause logic programming
- scientific article; zbMATH DE number 49478
Cites work
- A Linear-Logic Semantics for Constraint Handling Rules
- A logic-based calculus of events
- A semantics for a class of stratified production system programs
- Abductive logic programming agents with destructive databases
- An abductive framework for Datalog\(^\pm\) ontologies
- An agent language with destructive assignment and model-theoretic semantics
- Computational logic and human thinking. How to be artificially intelligent
- Constraint Handling Rules
- Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz
- FLUX: A logic programming method for reasoning agents
- Foundations of information and knowledge systems. 7th international symposium, FoIKS 2012, Kiel, Germany, March 5--9, 2012. Proceedings
- From logic programming towards multi-agent systems
- scientific article; zbMATH DE number 4094866 (Why is no real title available?)
- scientific article; zbMATH DE number 1755626 (Why is no real title available?)
- scientific article; zbMATH DE number 783780 (Why is no real title available?)
- Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16--19, 2011. Proceedings
- Logics in artificial intelligence. 10th European conference, JELIA 2006, Liverpool, UK, September 13--15, 2006. Proceedings
- Logics in artificial intelligence. 8th European conference, JELIA 2002, Cosenza, Italy, September 23--26, 2002. Proceedings
- Reactive computing as model generation
- Sequential abstract-state machines capture sequential algorithms
- Statecharts: a visual formalism for complex systems
- STRIPS: A new approach to the application of theorem proving to problem solving
- The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
- The IFF proof procedure for abductive logic programming
- The well-founded semantics for general logic programs
- Theory and practice of constraint handling rules
- Verifiable agent interaction in abductive logic programming: the SCIFF framework
- Web reasoning and rule systems. Third international conference, RR 2009, Chantilly, VA, USA, October 25--26, 2009, Proceedings
Cited in
(6)- Non-Horn clause logic programming without contrapositives
- Obligation as optimal goal satisfaction
- Reactive computing as model generation
- Using SWISH to realize interactive web-based tutorials for logic-based languages
- onlineSPARC: a programming environment for answer set programming
- Reactive Answer Set Programming
This page was built for publication: Programming in logic without logic programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4593027)
