Skip to main content
SpringerLink
Log in

Game Semantics for Non-monotonic Intensional Logic Programming

  • Conference paper
Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 8148))

  • 999 Accesses

Abstract

Intensional logic programming is an extension of logic programming based on intensional logic, which includes as special cases both temporal and modal logic programming. In [OW92], M. Orgun and W. W. Wadge provided a general framework for capturing the semantics of intensional logic programming languages. One key property involved in the construction of [OW92], is the monotonicity of intensional operators. In this paper we consider intensional logic programming from a game-theoretic perspective. In particular we define a two-person game and we demonstrate that it is equivalent to the semantics of [OW92]. More importantly, we demonstrate that the game is even applicable to intensional languages with non-monotonic operators. In this way we provide the first (to our knowledge) general semantic framework for capturing the semantics of non-monotonic intensional logic programming.

This research was supported by the project “Handling Uncertainty in Data Intensive Applications”, co-financed by the European Union (European Social Fund) and Greek national funds, through the Operational Program “Education and Lifelong Learning” of the National Strategic Reference Framework (NSRF) - Research Program: THALES, Investing in knowledge society through the European Social Fund.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Di Cosmo, R., Loddo, J.-V., Nicolet, S.: A Game Semantics Foundation for Logic Programming. In: Palamidessi, C., Meinke, K., Glaser, H. (eds.) ALP 1998 and PLILP 1998. LNCS, vol. 1490, pp. 355–373. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  2. Fariñas del Cerro, L.: MOLOG: A System that Extends PROLOG with Modal Logic. New Generation Computing 4, 35–50 (1986)

    Article  MATH  Google Scholar 

  3. Galanaki, C., Rondogiannis, P., Wadge, W.W.: An Infinite-Game Semantics for Well-Founded Negation in Logic Programming. Annals of Pure and Applied Logic 151(2-3), 70–88 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  4. Gale, D., Stewart, F.M.: Infinite Games with Perfect Information. Annals of Mathematical Studies 28, 245–266 (1953)

    MathSciNet  Google Scholar 

  5. Martin, D.A.: Borel Determinacy. Annals of Math. 102, 363–371 (1975)

    Article  MATH  Google Scholar 

  6. Montague, R.: English as a Formal Language. In: Thomason, R.H. (ed.) Formal Philosophy: Selected Papers of Richard Montague, pp. 108–221. Yale University Press (1974)

    Google Scholar 

  7. Moschovakis, Y.N.: Descriptive Set Theory. North-Holland (1980)

    Google Scholar 

  8. Moszkowski, B.C.: Executing Temporal Logic Programs. In: Brookes, S.D., Winskel, G., Roscoe, A.W. (eds.) Seminar on Concurrency. LNCS, vol. 197, pp. 111–130. Springer, Heidelberg (1985)

    Chapter  Google Scholar 

  9. Orgun, M.A.P., Wadge, W.W.: Towards a Unified Theory of Intensional Logic Programming. Journal of Logic Programming 13(4), 413–440 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  10. Rondogiannis, P., Wadge, W.W.: Minimum Model Semantics for Logic Programs with Negation-as-Failure. ACM Transactions on Computational Logic 6(2), 441–467 (2005)

    Article  MathSciNet  Google Scholar 

  11. Scott, D.: Advice on Modal Logic. In: Lambert, K. (ed.) Philosophical Problems in Logic, pp. 143–173. D. Reidel Publishing Company (1970)

    Google Scholar 

  12. Tsouanas, T.: A Game Semantics Approach to Disjunctive Logic Programs. In: GALOP Workshop, Saarbrücken, Germany (2011)

    Google Scholar 

  13. van Emden, M.H.: Quantitative Deduction and its Fixpoint Theory. Journal of Logic Programming 3(1), 37–53 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  14. De Vos, M.: Logic Programming, Decisions and Games. PhD thesis, Vrije Universiteit Brussel (2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Informatics & Telecommunications, University of Athens, Greece

    Chrysida Galanaki & Panos Rondogiannis

  2. Department of Computer Science and Engineering, University of Ioannina, Greece

    Christos Nomikos

Authors
  1. Chrysida Galanaki
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Christos Nomikos
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Panos Rondogiannis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Corunna, Campus de Elviña s/n, 15071, Corunna, Spain

    Pedro Cabalar

  2. Department of Computer Science, New Mexico State University, 1290 Frenger Mall, SH 123, MSC CS, P.O. Box 30001, 88003, Las Cruces, NM, USA

    Tran Cao Son

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Galanaki, C., Nomikos, C., Rondogiannis, P. (2013). Game Semantics for Non-monotonic Intensional Logic Programming. In: Cabalar, P., Son, T.C. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2013. Lecture Notes in Computer Science(), vol 8148. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40564-8_33

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-40564-8_33

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-40563-1

  • Online ISBN: 978-3-642-40564-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation