NDLI: Strong order equivalence

Content Provider	Springer Nature Link
Author	Konczak, Kathrin Faber, Wolfgang
Copyright Year	2006
Abstract	Recently, strong equivalence for Answer Set Programming has been studied intensively, and was shown to be beneficial for modular programming and automated optimization. In this paper we define the novel notion of strong order equivalence for logic programs with preferences (ordered logic programs). Based on this definition we give, for several semantics for preference handling, necessary and sufficient conditions for programs to be strongly order equivalent. These results allow us also to associate a so-called SOE structure to each ordered logic program, such that two ordered logic programs are strongly order equivalent if and only if their SOE structures coincide. We also present the relationships among the studied semantics with respect to strong order equivalence, which differs considerably from their relationships with respect to preferred answer sets. Furthermore, we study the computational complexity of several reasoning tasks associated to strong order equivalence. Finally, based on the obtained results, we present – for the first time – simplification methods for ordered logic programs.
Ending Page	78
Page Count	36
Starting Page	43
File Format	PDF
ISSN	10122443
e-ISSN	15737470
Journal	Annals of Mathematics and Artificial Intelligence
Issue Number	1-2
Volume Number	47
Language	English
Publisher	Kluwer Academic Publishers
Publisher Date	2006-09-12
Publisher Place	Dordrecht
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	complexity preferences Logic in artificial intelligence Knowledge representation Computer Science Artificial Intelligence (incl. Robotics) Mathematics program equivalences Theorem proving (deduction, resolution, etc.) answer set programming Complexity
Content Type	Text
Resource Type	Article
Subject	Applied Mathematics Artificial Intelligence

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

Semantical Characterizations and Complexity of Equivalences in Answer Set Programming

Integrating answer set programming and constraint logic programming

Dealing with explicit preferences and uncertainty in answer set programming

Answer set based design of knowledge systems

An introduction to fuzzy answer set programming

Equilibrium logic

Conceptual logic programs

A generalization of the Lin-Zhao theorem

Embedding and Automating Conditional Logics in Classical Higher-Order Logic

Strong order equivalence

Similar Documents

Semantical Characterizations and Complexity of Equivalences in Answer Set Programming

Integrating answer set programming and constraint logic programming

Dealing with explicit preferences and uncertainty in answer set programming

Answer set based design of knowledge systems

An introduction to fuzzy answer set programming

Equilibrium logic

Conceptual logic programs

A generalization of the Lin-Zhao theorem

Embedding and Automating Conditional Logics in Classical Higher-Order Logic

Strong order equivalence