Use this link to cite:

http://hdl.handle.net/2183/34773

Equilibrium graphs

Thumbnail Image

Files

(9999-12-31)Cabalar_Pedro_2019_Equilibrium_graphs.pdf (1.05 MB)

Identifiers

URI: http://hdl.handle.net/2183/34773
DOI: 10.1007/s10472-018-9615-9

Publication date

2019

Authors

Pérez Ramil, Carlos

Advisors

Other responsabilities

Journal Title

Bibliographic citation

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

Type of academic work

Academic degree

Abstract

[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.

Description

Keywords

Logic programming Answer set programming Diagrammatic reasoning Existential graphs Equilibrium logic

Editor version

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

Rights

Copyright © 2019, Springer Nature Switzerland AG

Collections

Investigación (FIC)