Skip to main content
Springer Nature Link
Log in

Equilibrium graphs

  • Published:
Annals of Mathematics and Artificial Intelligence Aims and scope Submit manuscript

Abstract

In this paper we present an extension of Peirce’s existential graphs to provide a diagrammatic representation of expressions in Quantified Equilibrium Logic (QEL). Using this formalisation, logical connectives are replaced by encircled regions (circles and squares) and quantified variables are represented as “identity” lines. Although the expressive power is equivalent to that of QEL, the new representation can be useful for illustrative or educational purposes.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  1. Aguado, F., Cabalar, P., Pearce, D., Pérez, G., Vidal, C.: A denotational semantics for equilibrium logic. Theory Pract. Logic Program. 15(4-5), 620–634 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  2. Brewka, G., Eiter, T., Truszczyński, M.: Answer set programming at a glance. Commun. ACM 54(12), 92–103 (2011)

    Article  Google Scholar 

  3. Febbraro, O., Reale, K., Ricca, F.: A visual interface for drawing ASP programs. In: Faber, W., Leone, N. (eds.) Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010, CEUR Workshop Proceedings (2010)

  4. Ferraris, P., Lee, J., Lifschitz, V.: A new perspective on stable models. In: Veloso, M.M. (ed.) IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, pp. 372–379 (2007)

  5. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the 5th International Conference on Logic Programming (ICLP’88), pp. 1070–1080, Seattle, Washington (1988)

  6. Heyting, A.: Die formalen Regeln der intuitionistischen Logik. Sitzungsberichte der Preussischen Akademie der Wissenschaften Physikalisch-mathematische Klasse (1930)

  7. Marek, V.W., Truszczyński, M.: Stable models and an alternative logic programming paradigm. In: Apt, K.R., Marek, V.W., Truszczynski, M., Warren, D.S. (eds.) The Logic Programming Paradigm. Artificial Intelligence. Springer, Berlin (1999)

  8. Niemelä, I.: Logic programs with stable model semantics as a constraint programming paradigm. Ann. Math. Artif. Intell. 25(3-4), 241–273 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  9. Peano, G.: Aritmetices principia nova methoda exposita, Torino: Bocca (1889)

  10. Pearce, D.: A new logical characterisation of stable models and answer sets. In: Proceedings of Non-Monotonic Extensions of Logic Programming (NMELP’96), pp. 57–70, Bad Honnef, Germany (1996)

  11. Pearce, D., Valverde, A.: Quantified equilibrium logic and foundations for answer set programs. In: Proceedings of the 24th International Conference on Logic Programming, ICLP 2008, (Udine, Italy, December 9-13), vol. 5366 of Lecture Notes in Computer Science, pp. 546–560. Springer (2008)

  12. Peirce, C.S.: Manuscripts on existential graphs. In: Collected Papers of Charles Sanders Peirce, vol. 4, pp. 320–410. Harvard University Press, Cambridge (1906)

  13. Shin, S.-J.: The iconic logic of Peirce’s graphs. Bradford Book (2002)

  14. Sowa, J.F.: Conceptual graphs for a data base interface. IBM J. Res. Dev. 20(4), 336–357 (1976)

    Article  MathSciNet  MATH  Google Scholar 

  15. Sowa, J.F.: Conceptual graphs. In: van Harmelen, F., Lifschitz, V., Porter, B.W. (eds.) Handbook of Knowledge Representation, vol. 3 of Foundations of Artificial Intelligence, pp. 213–237. Elsevier (2008)

  16. Sowa, J.F.: From existential graphs to conceptual graphs. IJCSSA 1(1), 39–72 (2013)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of A Coruña, Coruña, Spain

    Pedro Cabalar, Carlos Pérez & Gilberto Pérez

Authors
  1. Pedro Cabalar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Carlos Pérez
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Gilberto Pérez
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Pedro Cabalar.

Additional information

Publisher’s note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

This research was partially supported by MINECO projects TIN2013-42149-P and TIN2017-84453-P, Spain.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Cabalar, P., Pérez, C. & Pérez, G. Equilibrium graphs. Ann Math Artif Intell 86, 3–19 (2019). https://doi.org/10.1007/s10472-018-9615-9

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10472-018-9615-9

Keywords

Mathematics Subject Classification (2010)