Consistency Management of Normal Logic Program by Top-down Abductive Proof Procedure

03/05/2000
by   Ken Satoh, et al.
0

This paper presents a method of computing a revision of a function-free normal logic program. If an added rule is inconsistent with a program, that is, if it leads to a situation such that no stable model exists for a new program, then deletion and addition of rules are performed to avoid inconsistency. We specify a revision by translating a normal logic program into an abductive logic program with abducibles to represent deletion and addition of rules. To compute such deletion and addition, we propose an adaptation of our top-down abductive proof procedure to compute a relevant abducibles to an added rule. We compute a minimally revised program, by choosing a minimal set of abducibles among all the sets of abducibles computed by a top-down proof procedure.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/25/2021

Graph-based Interpretation of Normal Logic Programs

In this paper we present a dependency graph-based method for computing t...
research
08/31/2011

Every Formula-Based Logic Program Has a Least Infinite-Valued Model

Every definite logic program has as its meaning a least Herbrand model w...
research
05/08/2000

Extending and Implementing the Stable Model Semantics

An algorithm for computing the stable model semantics of logic programs ...
research
05/04/2017

A Finite State and Rule-based Akshara to Prosodeme (A2P) Converter in Hindi

This article describes a software module called Akshara to Prosodeme (A2...
research
09/29/2020

New Rewriter Features in FGL

FGL is a successor to GL, a proof procedure for ACL2 that allows complic...
research
12/28/2020

On deletion diagnostic statistic in regression

A brief review about choosing a normalizing or scaling matrix for deleti...
research
01/27/2023

Stack-Aware Hyperproperties

A hyperproperty relates executions of a program and is used to formalize...

Please sign up or login with your details

Forgot password? Click here to reset