Conservative expansion concepts for default theories

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

doi:10.1007/3-540-61532-6_44

Conservative expansion concepts for default theories

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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.

Original language	English
Title of host publication	PRICAI 1996
Subtitle of host publication	Topics in Artificial Intelligence - 4th Pacific Rim International Conference on Artificial Intelligence, Proceedings
Editors	Norman Foo, Randy Goebel
Publisher	Springer Verlag
Pages	522-533
Number of pages	12
ISBN (Print)	3540615326, 9783540615323
DOIs	https://doi.org/10.1007/3-540-61532-6_44
Publication status	Published - 1996
Externally published	Yes
Event	4th Pacific Rim International Conference on Artificial Intelligence: Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations - Cairns, Australia Duration: 26 Aug 1996 → 30 Aug 1996 Conference number: 4

Publication series

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

Conference

Conference	4th Pacific Rim International Conference on Artificial Intelligence
Abbreviated title	PRICAI 1996
Country/Territory	Australia
City	Cairns
Period	26/08/96 → 30/08/96

Access to Document

10.1007/3-540-61532-6_44Licence: Unspecified

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{\textquoteright}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",

address = "Germany",

note = "4th Pacific Rim International Conference on Artificial Intelligence : Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations, PRICAI 1996 ; Conference date: 26-08-1996 Through 30-08-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, Queensland, 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 proceeding › Conference contribution › peer-review

TY - GEN

T1 - Conservative expansion concepts for default theories

AU - Antoniou, G.

AU - Macnish, C. K.

AU - Foo, N. Y.

N1 - Conference code: 4

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

AN - SCOPUS:84957889039

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

T2 - 4th Pacific Rim International Conference on Artificial Intelligence

Y2 - 26 August 1996 through 30 August 1996

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)). doi: 10.1007/3-540-61532-6_44

Conservative expansion concepts for default theories

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this