NDLI: Coherence approach to logic program revision

Content Provider	IEEE Xplore Digital Library
Author	Li-Yan Yuan Jia-Huai You
Copyright Year	1989
Abstract	In this paper, we present a new approach to the problem of revising extended programs; we base this approach on the coherence theory initially advocated by Gardenfors for belief revision. Our approach resolves contradiction by removing only conflicting information, not the believed source of it, and therefore, keeps information loss minimal. Furthermore, since there is no need to search for problematic assumptions, as is done in the traditional assumption-removal approach, our approach provides a skeptical revision semantics that is tractable. We define the skeptical and credulous coherence semantics and show that both semantics can be characterized in terms of the fixpoint semantics of a revised program using a simple program-revision technique. These semantics provide a suitable framework for knowledge and belief revision in the context of logic programs. Semantical properties and advantages of the proposed revision semantics are also analyzed.
Sponsorship	IEEE IEEE Comput. Soc. Tech. Committee on Data Eng IEEE Computer Society
Starting Page	108
Ending Page	119
Page Count	12
File Size	382125
File Format	PDF
ISSN	10414347
Volume Number	10
Issue Number	1
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1998-01-01
Publisher Place	U.S.A.
Access Restriction	One Nation One Subscription (ONOS)
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Logic programming Knowledge representation Proposals Query processing Electronic mail
Content Type	Text
Resource Type	Article
Subject	Information Systems Computational Theory and Mathematics Computer Science Applications

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

A parametric approach to deductive databases with uncertainty

Nonmonotonic logic programming

A structured approach for cooperative query answering

Computation of stable models and its integration with logical query processing

Programming with logical queries, bulk updates, and hypothetical reasoning

RQL: a recursive query language

High-level Petri net model of logic program with negation

Program Transformations for Asynchronous and Batched Query Submission

Joint Top-K Spatial Keyword Query Processing

Coherence approach to logic program revision

Similar Documents

A parametric approach to deductive databases with uncertainty

Nonmonotonic logic programming

A structured approach for cooperative query answering

Computation of stable models and its integration with logical query processing

Programming with logical queries, bulk updates, and hypothetical reasoning

RQL: a recursive query language

High-level Petri net model of logic program with negation

Program Transformations for Asynchronous and Batched Query Submission

Joint Top-K Spatial Keyword Query Processing

Coherence approach to logic program revision