ADDING CLOSED WORLD ASSUMPTIONS TO WELL-FOUNDED SEMANTICS

José Júlio Alves Alferes

doi:10.1016/0304-3975(94)90201-1

ADDING CLOSED WORLD ASSUMPTIONS TO WELL-FOUNDED SEMANTICS

Research output: Contribution to journal › Article

Abstract

Given a program P we specify an enlargement of its well-founded model which gives meaning to the adding of closed world assumptions. We do so by proposing the desirable principles of a closed world assumption (CWA), and proceed to formally define and apply them to well-founded semantics (WFS), in order to obtain a WFS added with CWA, the O-semantics. After an introduction and motivating examples, there follow the presentation of the concepts required to formalize the model structure, the properties it enjoys, and the criteria and procedures which follow the precise characterization of the preferred unique maximal model that gives the intended meaning to the O-semantics of a program, the O-model. Some properties are also exhibited that permit a more expedite obtention of the models. Several detailed examples are introduced throughout to illustrate the concepts and their application. Comparison is made with other work, and in the conclusions the novelty of the approach is brought out.

Original language	English
Pages (from-to)	562-569
Journal	FIFTH GENERATION COMPUTER SYSTEMS 1992, VOLS 1 AND 2
Volume	1
Issue number	NA
DOIs	https://doi.org/10.1016/0304-3975(94)90201-1
Publication status	Published - 1 Jan 1992

Access to Document

10.1016/0304-3975(94)90201-1Licence: CC BY-NC-ND

fgcs92b.pdfAccepted author manuscript, 430 KB

Fingerprint Dive into the research topics of 'ADDING CLOSED WORLD ASSUMPTIONS TO WELL-FOUNDED SEMANTICS'. Together they form a unique fingerprint.

Cite this

@article{918e3020cda84eee89fe33e12a13fab2,

title = "ADDING CLOSED WORLD ASSUMPTIONS TO WELL-FOUNDED SEMANTICS",

abstract = "Given a program P we specify an enlargement of its well-founded model which gives meaning to the adding of closed world assumptions. We do so by proposing the desirable principles of a closed world assumption (CWA), and proceed to formally define and apply them to well-founded semantics (WFS), in order to obtain a WFS added with CWA, the O-semantics. After an introduction and motivating examples, there follow the presentation of the concepts required to formalize the model structure, the properties it enjoys, and the criteria and procedures which follow the precise characterization of the preferred unique maximal model that gives the intended meaning to the O-semantics of a program, the O-model. Some properties are also exhibited that permit a more expedite obtention of the models. Several detailed examples are introduced throughout to illustrate the concepts and their application. Comparison is made with other work, and in the conclusions the novelty of the approach is brought out.",

author = "Alferes, {Jos{\'e} J{\'u}lio Alves}",

year = "1992",

month = jan,

day = "1",

doi = "10.1016/0304-3975(94)90201-1",

language = "English",

volume = "1",

pages = "562--569",

journal = "FIFTH GENERATION COMPUTER SYSTEMS 1992, VOLS 1 AND 2",

number = "NA",

}

TY - JOUR

T1 - ADDING CLOSED WORLD ASSUMPTIONS TO WELL-FOUNDED SEMANTICS

AU - Alferes, José Júlio Alves

PY - 1992/1/1

Y1 - 1992/1/1

N2 - Given a program P we specify an enlargement of its well-founded model which gives meaning to the adding of closed world assumptions. We do so by proposing the desirable principles of a closed world assumption (CWA), and proceed to formally define and apply them to well-founded semantics (WFS), in order to obtain a WFS added with CWA, the O-semantics. After an introduction and motivating examples, there follow the presentation of the concepts required to formalize the model structure, the properties it enjoys, and the criteria and procedures which follow the precise characterization of the preferred unique maximal model that gives the intended meaning to the O-semantics of a program, the O-model. Some properties are also exhibited that permit a more expedite obtention of the models. Several detailed examples are introduced throughout to illustrate the concepts and their application. Comparison is made with other work, and in the conclusions the novelty of the approach is brought out.

AB - Given a program P we specify an enlargement of its well-founded model which gives meaning to the adding of closed world assumptions. We do so by proposing the desirable principles of a closed world assumption (CWA), and proceed to formally define and apply them to well-founded semantics (WFS), in order to obtain a WFS added with CWA, the O-semantics. After an introduction and motivating examples, there follow the presentation of the concepts required to formalize the model structure, the properties it enjoys, and the criteria and procedures which follow the precise characterization of the preferred unique maximal model that gives the intended meaning to the O-semantics of a program, the O-model. Some properties are also exhibited that permit a more expedite obtention of the models. Several detailed examples are introduced throughout to illustrate the concepts and their application. Comparison is made with other work, and in the conclusions the novelty of the approach is brought out.

U2 - 10.1016/0304-3975(94)90201-1

DO - 10.1016/0304-3975(94)90201-1

M3 - Article

VL - 1

SP - 562

EP - 569

JO - FIFTH GENERATION COMPUTER SYSTEMS 1992, VOLS 1 AND 2

JF - FIFTH GENERATION COMPUTER SYSTEMS 1992, VOLS 1 AND 2

IS - NA

ER -