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

Full description

Saved in:
Bibliographic Details
Published in:Acta cybernetica (Szeged) Vol. 23; no. 1; pp. 319 - 326
Main Authors: Charalambidis, Angelos, Rondogiannis, Panos
Format: Journal Article
Language:English
Published: Szeged Laszlo Nyul 2017
Subjects:
Fixed points (mathematics)
Logic programming
Monotone functions
Semantics
ISSN:0324-721X
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography: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