Conservative expansion concepts for default theories

G. Antoniou, C. K. Macnish, N. Y. Foo

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

Conservative extensions of logical theories play an important role in software engineering. They provide a formal basis for program refinement and guarantee the integrity and transparency of modules and objects. This paper studies conservative extension ideas in the context of default logic. In particular, we define several alternative concepts, study their properties, and derive interconnections among the concepts. The main result provides an interesting distinctive feature of Reiter’s default logic over some well-known variants.

LanguageEnglish
Title of host publicationPRICAI 1996
Subtitle of host publicationTopics in Artificial Intelligence - 4th Pacific Rim International Conference on Artificial Intelligence, Proceedings
EditorsNorman Foo, Randy Goebel
PublisherSpringer Verlag
Pages522-533
Number of pages12
ISBN (Print)3540615326, 9783540615323
DOIs
Publication statusPublished - 1996
Externally publishedYes
Event4th Pacific Rim International Conference on Artificial Intelligence - Cairns, Australia
Duration: 26 Aug 199630 Aug 1996
Conference number: 4

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1114
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference4th Pacific Rim International Conference on Artificial Intelligence
Abbreviated titlePRICAI 1996
CountryAustralia
CityCairns
Period26/08/9630/08/96

Fingerprint

Default Logic
Transparency
Software engineering
Software Engineering
Interconnection
Integrity
Refinement
Module
Alternatives
Concepts
Object
Context

Cite this

Antoniou, G., Macnish, C. K., & Foo, N. Y. (1996). Conservative expansion concepts for default theories. In N. Foo, & R. Goebel (Eds.), PRICAI 1996: Topics in Artificial Intelligence - 4th Pacific Rim International Conference on Artificial Intelligence, Proceedings (pp. 522-533). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1114). Springer Verlag. https://doi.org/10.1007/3-540-61532-6_44
Antoniou, G. ; Macnish, C. K. ; Foo, N. Y. / Conservative expansion concepts for default theories. PRICAI 1996: Topics in Artificial Intelligence - 4th Pacific Rim International Conference on Artificial Intelligence, Proceedings. editor / Norman Foo ; Randy Goebel. Springer Verlag, 1996. pp. 522-533 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{ba5342c635204b2ab7ec5b65a90b5884,
title = "Conservative expansion concepts for default theories",
abstract = "Conservative extensions of logical theories play an important role in software engineering. They provide a formal basis for program refinement and guarantee the integrity and transparency of modules and objects. This paper studies conservative extension ideas in the context of default logic. In particular, we define several alternative concepts, study their properties, and derive interconnections among the concepts. The main result provides an interesting distinctive feature of Reiter’s default logic over some well-known variants.",
author = "G. Antoniou and Macnish, {C. K.} and Foo, {N. Y.}",
year = "1996",
doi = "10.1007/3-540-61532-6_44",
language = "English",
isbn = "3540615326",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "522--533",
editor = "Norman Foo and Randy Goebel",
booktitle = "PRICAI 1996",

}

Antoniou, G, Macnish, CK & Foo, NY 1996, Conservative expansion concepts for default theories. in N Foo & R Goebel (eds), PRICAI 1996: Topics in Artificial Intelligence - 4th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1114, Springer Verlag, pp. 522-533, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, 26/08/96. https://doi.org/10.1007/3-540-61532-6_44

Conservative expansion concepts for default theories. / Antoniou, G.; Macnish, C. K.; Foo, N. Y.

PRICAI 1996: Topics in Artificial Intelligence - 4th Pacific Rim International Conference on Artificial Intelligence, Proceedings. ed. / Norman Foo; Randy Goebel. Springer Verlag, 1996. p. 522-533 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1114).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Conservative expansion concepts for default theories

AU - Antoniou, G.

AU - Macnish, C. K.

AU - Foo, N. Y.

PY - 1996

Y1 - 1996

N2 - Conservative extensions of logical theories play an important role in software engineering. They provide a formal basis for program refinement and guarantee the integrity and transparency of modules and objects. This paper studies conservative extension ideas in the context of default logic. In particular, we define several alternative concepts, study their properties, and derive interconnections among the concepts. The main result provides an interesting distinctive feature of Reiter’s default logic over some well-known variants.

AB - Conservative extensions of logical theories play an important role in software engineering. They provide a formal basis for program refinement and guarantee the integrity and transparency of modules and objects. This paper studies conservative extension ideas in the context of default logic. In particular, we define several alternative concepts, study their properties, and derive interconnections among the concepts. The main result provides an interesting distinctive feature of Reiter’s default logic over some well-known variants.

UR - http://www.scopus.com/inward/record.url?scp=84957889039&partnerID=8YFLogxK

U2 - 10.1007/3-540-61532-6_44

DO - 10.1007/3-540-61532-6_44

M3 - Conference contribution

SN - 3540615326

SN - 9783540615323

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 522

EP - 533

BT - PRICAI 1996

A2 - Foo, Norman

A2 - Goebel, Randy

PB - Springer Verlag

ER -

Antoniou G, Macnish CK, Foo NY. Conservative expansion concepts for default theories. In Foo N, Goebel R, editors, PRICAI 1996: Topics in Artificial Intelligence - 4th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Springer Verlag. 1996. p. 522-533. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-61532-6_44