Towards a Logic-Based Unifying Framework for Computing
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.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Local Explanations via Necessity and Sufficiency: Unifying Theory and Practice
Necessity and sufficiency are the building blocks of all successful explanations. Yet despite their importance, these notions have been conceptually underdeveloped and inconsistently applied in explainable artificial int…
Explainable artificial intelligenceExplainable Artificial Intelligence (XAI)A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)
Constraint Logic Programming (CLP) is a logic programming formalism used to solve problems requiring the consideration of constraints, like resource allocation and automated planning and scheduling. It has previously bee…
Extending choice assessments to choice functions: An algorithm for computing the natural extension
We study how to infer new choices from prior choices using the framework of choice functions, a unifying mathematical framework for decision-making based on sets of preference orders. In particular, we define the natural…
Decision MakingSoft Modes as a Predictive Framework for Low Dimensional Biological Systems across Scales
All biological systems are subject to perturbations: due to thermal fluctuations, external environments, or mutations. Yet, while biological systems are composed of thousands of interacting components, recent high-throug…
OmniFed: A Modular Framework for Configurable Federated Learning from Edge to HPC
Federated Learning (FL) is critical for edge and High Performance Computing (HPC) where data is not centralized and privacy is crucial. We present OmniFed, a modular framework designed around decoupling and clear separat…
Federated Learning