Skip to main content Accessibility help
×
Home

Relativized hyperequivalence of logic programs for modular programming

Published online by Cambridge University Press:  14 September 2009

MIROSŁAW TRUSZCZYŃSKI
Affiliation:
Department of Computer Science, University of Kentucky, Lexington, KY 40506-0046, USA (e-mail: mirek@cs.uky.edu)
STEFAN WOLTRAN
Affiliation:
Institute of Information Systems 184/2, Technische Universität Wien, Favoritenstrasse 9-11, 1040 Vienna, Austria (e-mail: woltran@dbai.tuwien.ac.at)
Corresponding

Abstract

A recent framework of relativized hyperequivalence of programs offers a unifying generalization of strong and uniform equivalence. It seems to be especially well suited for applications in program optimization and modular programming due to its flexibility that allows us to restrict, independently of each other, the head and body alphabets in context programs. We study relativized hyperequivalence for the three semantics of logic programs given by stable, supported, and supported minimal models. For each semantics, we identify four types of contexts, depending on whether the head and body alphabets are given directly or as the complement of a given set. Hyperequivalence relative to contexts where the head and body alphabets are specified directly has been studied before. In this paper, we establish the complexity of deciding relativized hyperequivalence with respect to the three other types of context programs.

Type
Regular Papers
Copyright
Copyright © Cambridge University Press 2009

Access options

Get access to the full version of this content by using one of the access options below.

References

Apt, K. 1990. Logic programming. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, van Leeuven, J., Ed. Elsevier, Amsterdam, 493574.Google Scholar
Baral, C. 2003. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge, UK.CrossRefGoogle Scholar
Brass, S. and Dix, J. 1997. Characterizations of the disjunctive stable semantics by partial evaluation. Journal of Logic Programming 32, 3, 207228.CrossRefGoogle Scholar
Cabalar, P., Odintsov, S., Pearce, D. and Valverde, A. 2006. Analysing and extending well-founded and partial stable semantics using partial equilibrium logic. In Proc. of the 22nd International Conference (ICLP 2006), Etalle, S. and Truszczyński, M., Eds. Lecture Notes in Computer Science, Vol. 4079. Springer, Berlin, 346360.Google Scholar
Clark, K. 1978. Negation as failure. In Logic and Data Bases, Gallaire, H. and Minker, J., Eds. Plenum Press, New York and London, 293322.CrossRefGoogle Scholar
de Jongh, D. and Hendriks, L. 2003. Characterizations of strongly equivalent logic programs in intermediate logics. Theory and Practice of Logic Programming 3, 3, 259270.CrossRefGoogle Scholar
Eiter, T. and Fink, M. 2003. Uniform equivalence of logic programs under the stable model semantics. In Proc. of the 19th International Conference on Logic Programming (ICLP 2003), Palamidessi, C., Ed. Lecture Notes in Computer Science, Vol. 2916. Springer, Berlin, 224238.Google Scholar
Eiter, T., Fink, M. and Woltran, S. 2007. Semantical characterizations and complexity of equivalences in answer set programming. ACM Transactions on Computational Logic 8, 3, Paper 17.CrossRefGoogle Scholar
Eiter, T. and Gottlob, G. 1995. On the computational cost of disjunctive logic programming: Propositional case. Annals of Mathematics and Artificial Intelligence 15, 3–4, 289323.CrossRefGoogle Scholar
Eiter, T., Tompits, H. and Woltran, S. 2005. On solution correspondences in answer-set programming. In Proc. of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), Kaelbling, L. P. and Saffiotti, A., Eds. Professional Book Center, Denver, 97102.Google Scholar
Erdogan, S. and Lifschitz, V. 2004. Definitions in answer set programming (extended abstract). In Proc. of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2004), Lifschitz, V. and Niemelä, I., Eds. Lecture Notes in Computer Science, Vol. 2916. Springer, Berlin, 483484.Google Scholar
Gaifman, H. and Shapiro, E. 1989. Fully abstract compositional semantics for logic programs. In Proc. of the 16th Annual ACM Symposium on Principles of Programming Languages (POPL 1989). ACM, New York, 134142.Google Scholar
Gebser, M., Liu, L., Namasivayam, G., Neumann, A., Schaub, T. and Truszczyński, M. 2007. The first answer set programming system competition. In Proc. of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007), Baral, C., Brewka, G. and Schlipf, J., Eds. Lecture Notes in Computer Science, Vol. 4483. Springer, Berlin, 317.CrossRefGoogle Scholar
Gelfond, M. 2002. Representing knowledge in A-Prolog. In Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, Kakas, A. and Sadri, F., Eds. Lecture Notes in Computer Science, Vol. 2408. Springer, Berlin, 413451.CrossRefGoogle Scholar
Gelfond, M. and Leone, N. 2002. Logic programming and knowledge representation – The A-prolog perspective. Artificial Intelligence 138, 1–2, 338.CrossRefGoogle Scholar
Inoue, K. and Sakama, C. 1998. Negation as failure in the head. Journal of Logic Programming 35, 3978.CrossRefGoogle Scholar
Inoue, K. and Sakama, C. 2004. Equivalence of logic programs under updates. In Proc. of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004), Alferes, J. and Leite, J., Eds. Lecture Notes in Computer Science, Vol. 3229. Springer, Berlin, New York, 174186.Google Scholar
Janhunen, T. 2006. Some (in)translatability results for normal logic programs and propositional theories. Journal of Applied Non-Classical Logics 16, 1–2, 3586.CrossRefGoogle Scholar
Janhunen, T., Oikarinen, E., Tompits, H. and Woltran, S. 2007. Modularity aspects of disjunctive stable models. In Proc. of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007), Baral, C., Brewka, G. and Schlipf, J., Eds. Lecture Notes in Artificial Intelligence, Vol. 4483. Springer, Berlin, 175187.CrossRefGoogle Scholar
Lifschitz, V., Pearce, D. and Valverde, A. 2001. Strongly equivalent logic programs. ACM Transactions on Computational Logic 2, 4, 526541.CrossRefGoogle Scholar
Lifschitz, V. and Turner, H. 1994. Splitting a logic program. In Proc. of the 11th International Conference on Logic Programming (ICLP 1994), Hentenryck, P. V., Ed. MIT Press, Cambridge, MA, 2337.Google Scholar
Lin, F. 2002. Reducing strong equivalence of logic programs to entailment in classical propositional logic. In Proc. of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR 2002), Fensel, D., McGuinness, D. and Williams, M.-A., Eds. Morgan Kaufmann, San Francisco, 170176.Google Scholar
Marek, V. and Truszczyński, M. 1999. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: A 25-Year Perspective, Apt, K., Marek, W., Truszczyński, M. and Warren, D., Eds. Springer, Berlin, 375398.CrossRefGoogle Scholar
Niemelä, I. 1999. Logic programming with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence 25, 3–4, 241273.CrossRefGoogle Scholar
Oetsch, J., Tompits, H. and Woltran, S. 2007. Facts do not cease to exist because they are ignored: Relativised uniform equivalence with answer-set projection. In Proc. of the 22nd National Conference on Artificial Intelligence (AAAI 2007). AAAI Press, Menlo Park, CA, 458464.Google Scholar
Oikarinen, E. and Janhunen, T. 2006. Modular equivalence for normal logic programs. In Proc. of the 17th European Conference on Artificial Intelligence (ECAI 2006), Vol. 141, Brewka, G., Coradeschi, S., Perini, A. and Traverso, P., Eds. IOS Press, Amsterdam, 412416.Google Scholar
Sagiv, Y. 1988. Optimizing datalog programs. In Foundations of Deductive Databases and Logic Programming, Minker, J., Ed. Morgan Kaufmann, San Francisco, 659698.CrossRefGoogle Scholar
Truszczyński, M. and Woltran, S. 2008. Hyperequivalence of logic programs with respect to supported models. Annals of Mathematics and Artificial Intelligence 53, 1–4, 331365.CrossRefGoogle Scholar
Turner, H. 2003. Strong equivalence made easy: Nested expressions and weight constraints. Theory and Practice of Logic Programming 3, 4–5, 609622.CrossRefGoogle Scholar
Woltran, S. 2004. Characterizations for relativized notions of equivalence in answer set programming. In Proc. of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004), Alferes, J. and Leite, J., Eds. Lecture Notes in Computer Science, Vol. 3229. Springer, Berlin, 161173.Google Scholar
Woltran, S. 2008. A common view on strong, uniform, and other notions of equivalence in answer-set programming. Theory and Practice of Logic Programming 8, 2, 217234.CrossRefGoogle Scholar

Full text views

Full text views reflects PDF downloads, PDFs sent to Google Drive, Dropbox and Kindle and HTML full text views.

Total number of HTML views: 0
Total number of PDF views: 19 *
View data table for this chart

* Views captured on Cambridge Core between September 2016 - 20th January 2021. This data will be updated every 24 hours.

Hostname: page-component-76cb886bbf-tvlwp Total loading time: 0.455 Render date: 2021-01-20T22:58:11.784Z Query parameters: { "hasAccess": "0", "openAccess": "0", "isLogged": "0", "lang": "en" } Feature Flags: { "shouldUseShareProductTool": true, "shouldUseHypothesis": true, "isUnsiloEnabled": true, "metricsAbstractViews": false, "figures": false, "newCiteModal": false }

Send article to Kindle

To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Relativized hyperequivalence of logic programs for modular programming
Available formats
×

Send article to Dropbox

To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

Relativized hyperequivalence of logic programs for modular programming
Available formats
×

Send article to Google Drive

To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

Relativized hyperequivalence of logic programs for modular programming
Available formats
×
×

Reply to: Submit a response


Your details


Conflicting interests

Do you have any conflicting interests? *