Reactive Answer Set Programming
- URL: http://arxiv.org/abs/2109.10633v1
- Date: Wed, 22 Sep 2021 10:10:14 GMT
- Title: Reactive Answer Set Programming
- Authors: Krysia Broda and Fariba Sadri and Stephen Butler
- Abstract summary: Logic Production System (LPS) is a logic-based framework for modelling reactive behaviour.
This paper proposes a systematic mapping of the Kernel of this framework (called KELPS) into an answer set program (ASP)
- Score: 2.7286395031146062
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Logic Production System (LPS) is a logic-based framework for modelling
reactive behaviour. Based on abductive logic programming, it combines reactive
rules with logic programs, a database and a causal theory that specifies
transitions between the states of the database. This paper proposes a
systematic mapping of the Kernel of this framework (called KELPS) into an
answer set program (ASP). For this purpose a new variant of KELPS with finite
models, called $n$-distance KELPS, is introduced. A formal definition of the
mapping from this $n$-distance KELPS to ASP is given and proven sound and
complete. The Answer Set Programming paradigm allows to capture additional
behaviours to the basic reactivity of KELPS, in particular proactive,
preemptive and prospective behaviours. These are all discussed and illustrated
with examples. Then a hybrid framework is proposed that integrates KELPS and
ASP, allowing to combine the strengths of both paradigms. Under consideration
in Theory and Practice of Logic Programming (TPLP).
Related papers
- Effective Instruction Parsing Plugin for Complex Logical Query Answering on Knowledge Graphs [51.33342412699939]
Knowledge Graph Query Embedding (KGQE) aims to embed First-Order Logic (FOL) queries in a low-dimensional KG space for complex reasoning over incomplete KGs.
Recent studies integrate various external information (such as entity types and relation context) to better capture the logical semantics of FOL queries.
We propose an effective Query Instruction Parsing (QIPP) that captures latent query patterns from code-like query instructions.
arXiv Detail & Related papers (2024-10-27T03:18:52Z) - Improving Complex Reasoning over Knowledge Graph with Logic-Aware Curriculum Tuning [89.89857766491475]
We propose a complex reasoning schema over KG upon large language models (LLMs)
We augment the arbitrary first-order logical queries via binary tree decomposition to stimulate the reasoning capability of LLMs.
Experiments across widely used datasets demonstrate that LACT has substantial improvements(brings an average +5.5% MRR score) over advanced methods.
arXiv Detail & Related papers (2024-05-02T18:12:08Z) - Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification [0.174048653626208]
We propose a parameterized dynamic-logic-style' formalism, namely $DL_p$, for specifying and reasoning about general program models.
$DL_p$ provides a flexible verification framework to encompass different dynamic logic theories.
Case studies show how $DL_p$ works for reasoning about different types of program models.
arXiv Detail & Related papers (2024-04-28T07:08:44Z) - REBEL: Reinforcement Learning via Regressing Relative Rewards [59.68420022466047]
We propose REBEL, a minimalist RL algorithm for the era of generative models.
In theory, we prove that fundamental RL algorithms like Natural Policy Gradient can be seen as variants of REBEL.
We find that REBEL provides a unified approach to language modeling and image generation with stronger or similar performance as PPO and DPO.
arXiv Detail & Related papers (2024-04-25T17:20:45Z) - Query Structure Modeling for Inductive Logical Reasoning Over Knowledge
Graphs [67.043747188954]
We propose a structure-modeled textual encoding framework for inductive logical reasoning over KGs.
It encodes linearized query structures and entities using pre-trained language models to find answers.
We conduct experiments on two inductive logical reasoning datasets and three transductive datasets.
arXiv Detail & Related papers (2023-05-23T01:25:29Z) - Logical Message Passing Networks with One-hop Inference on Atomic
Formulas [57.47174363091452]
We propose a framework for complex query answering that decomposes the Knowledge Graph embeddings from neural set operators.
On top of the query graph, we propose the Logical Message Passing Neural Network (LMPNN) that connects the local one-hop inferences on atomic formulas to the global logical reasoning.
Our approach yields the new state-of-the-art neural CQA model.
arXiv Detail & Related papers (2023-01-21T02:34:06Z) - Online Learning Probabilistic Event Calculus Theories in Answer Set
Programming [70.06301658267125]
Event Recognition (CER) systems detect occurrences in streaming time-stamped datasets using predefined event patterns.
We present a system based on Answer Set Programming (ASP), capable of probabilistic reasoning with complex event patterns in the form of rules weighted in the Event Calculus.
Our results demonstrate the superiority of our novel approach, both terms efficiency and predictive.
arXiv Detail & Related papers (2021-03-31T23:16:29Z) - Conflict-driven Inductive Logic Programming [3.29505746524162]
The goal of Inductive Logic Programming (ILP) is to learn a program that explains a set of examples.
Until recently, most research on ILP targeted learning Prolog programs.
The ILASP system instead learns Answer Set Programs (ASP)
arXiv Detail & Related papers (2020-12-31T20:24:28Z) - ASP(AC): Answer Set Programming with Algebraic Constraints [20.559497209595822]
We introduce Answer Set Programming with Algebraic Constraints (ASP(AC)), where rules may contain constraints that compare semiring values to weighted formula evaluations.
This work is under consideration for acceptance in Theory and Practice of Logic Programming.
arXiv Detail & Related papers (2020-08-10T10:20:49Z) - Structural Decompositions of Epistemic Logic Programs [29.23726484912091]
Epistemic logic programs (ELPs) are a popular generalization of standard Answer Set Programming (ASP)
We show that central problems can be solved in linear time for ELPs exhibiting structural properties in terms of bounded treewidth.
We also provide a full dynamic programming algorithm that adheres to these bounds.
arXiv Detail & Related papers (2020-01-13T13:16:13Z) - selp: A Single-Shot Epistemic Logic Program Solver [19.562205966997947]
Epistemic Logic Programs (ELPs) are an extension of Answer Set Programming (ASP)
We show that there also exists a direct translation from ELPs into non-ground ASP with bounded arity.
We then implement this encoding method, using recently proposed techniques to handle large, non-ground ASP rules, into the prototype ELP solving system "selp"
arXiv Detail & Related papers (2020-01-04T15:36:31Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.