Overview of an Abstract Fixed Point Theory for Non-Monotonic Functions and its Applications to Logic Programming

The purpose of the present paper is to give an overview of our joint work with Zoltán Ésik, namely the development of an abstract fixed point theory for a class of non-monotonic functions [4] and its use in providing a novel denotational semantics for a very broad extension of classical logic progra...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Acta cybernetica (Szeged) Jg. 23; H. 1; S. 319 - 326
Hauptverfasser: Charalambidis, Angelos, Rondogiannis, Panos
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Szeged Laszlo Nyul 2017
Schlagworte:
Fixed points (mathematics)
Logic programming
Monotone functions
Semantics
ISSN:0324-721X
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:The purpose of the present paper is to give an overview of our joint work with Zoltán Ésik, namely the development of an abstract fixed point theory for a class of non-monotonic functions [4] and its use in providing a novel denotational semantics for a very broad extension of classical logic programming [1]. Our purpose is to give a high-level presentation of the main developments of these two works, that avoids as much as possible the underlying technical details, and which can be used as a mild introduction to the area.
Bibliographie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0324-721X
DOI:10.14232/actacyb.23.1.2017.17