Equilibrium graphs

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

Full description

Saved in:
Bibliographic Details
Published inAnnals of mathematics and artificial intelligence Vol. 86; no. 1-3; pp. 3 - 19
Main Authors Cabalar, Pedro, Pérez, Carlos, Pérez, Gilberto
Format Journal Article
LanguageEnglish
Published Cham Springer International Publishing 01.07.2019
Springer
Springer Nature B.V
Subjects
Artificial Intelligence
Calculus
Complex Systems
Computer Science
Equilibrium
Graphs
Logic programming
Mathematics
Representations
Semantics
Equilibrium logic
03B20
68N17
Logic programming
03B55
03B70
68T27
Answer set programming
68T30
Existential graphs
Diagrammatic reasoning
Online AccessGet full text

Cover

More Information
Summary: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.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1012-2443
1573-7470
DOI:10.1007/s10472-018-9615-9