Towards a Logic-Based Unifying Framework for Computing

01/29/2013
by   Robert Kowalski, et al.
0

In this paper we propose a logic-based, framework inspired by artificial intelligence, but scaled down for practical database and programming applications. Computation in the framework is viewed as the task of generating a sequence of state transitions, with the purpose of making an agent's goals all true. States are represented by sets of atomic sentences (or facts), representing the values of program variables, tuples in a coordination language, facts in relational databases, or Herbrand models. In the model-theoretic semantics, the entire sequence of states and events are combined into a single model-theoretic structure, by associating timestamps with facts and events. But in the operational semantics, facts are updated destructively, without timestamps. We show that the model generated by destructive updates is identical to the model generated by reasoning with facts containing timestamps. We also extend the model with intentional predicates and composite event predicates defined by logic programs containing conditions in first-order logic, which query the current state.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

01/04/2016

Programming in logic without logic programming

In previous work, we proposed a logic-based framework in which computati...
09/14/2017

Extending Coinductive Logic Programming with Co-Facts

We introduce a generalized logic programming paradigm where programs, co...
05/31/2011

Overcoming Misleads In Logic Programs by Redefining Negation

Negation as failure and incomplete information in logic programs have be...
02/17/2021

An asymptotic analysis of probabilistic logic programming with implications for expressing projective families of distributions

Over the last years, there has been increasing research on the scaling b...
12/31/2021

Transformer Embeddings of Irregularly Spaced Events and Their Participants

We propose an approach to modeling irregularly spaced sequences of discr...
06/07/2013

Accomplishable Tasks in Knowledge Representation

Knowledge Representation (KR) is traditionally based on the logic of fac...
06/02/2021

Database Reasoning Over Text

Neural models have shown impressive performance gains in answering queri...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.