Specification morphisms for nonmonotonic knowledge systems

C. K. Macnish, Grigoris Antoniou

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

Abstract

Conservative extensions of (classical) logical theories play an important role in software engineering, because they provide a formal basis for program refinement and guarantee the integrity and transparency of modules and objects. Similarly specification morphisms play a central role for information hiding and combining modules. Surprisingly, while the use of nonmonotonic theories for describing knowledge systems which may contain incomplete or uncertain data has been advocated for some time now, the above concepts have yet to be applied in this area. The aim of this work is to develop and apply analogues of these concepts in a nonmonotonic context. This paper builds on previous results, which focus on conservative extensions, extending the ideas to the more general case of specification morphisms.

LanguageEnglish
Title of host publicationAdvanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings
EditorsAbdul Sattar
PublisherSpringer Verlag
Pages246-254
Number of pages9
ISBN (Print)3540637974, 9783540637974
DOIs
Publication statusPublished - 1997
Externally publishedYes
Event10th Australian Joint Conference on Artificial Intelligence - Perth, Australia
Duration: 30 Nov 19974 Dec 1997
Conference number: 10

Publication series

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

Conference

Conference10th Australian Joint Conference on Artificial Intelligence
Abbreviated titleAI 1997
CountryAustralia
CityPerth
Period30/11/974/12/97

Fingerprint

Morphisms
Specification
Specifications
Information Hiding
Module
Uncertain Data
Incomplete Data
Transparency
Software Engineering
Integrity
Software engineering
Refinement
Analogue
Concepts
Knowledge
Object
Context

Cite this

Macnish, C. K., & Antoniou, G. (1997). Specification morphisms for nonmonotonic knowledge systems. In A. Sattar (Ed.), Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings (pp. 246-254). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1342). Springer Verlag. https://doi.org/10.1007/3-540-63797-4_77
Macnish, C. K. ; Antoniou, Grigoris. / Specification morphisms for nonmonotonic knowledge systems. Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings. editor / Abdul Sattar. Springer Verlag, 1997. pp. 246-254 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{0c5d0f433ac84671aa9566d77c197dc3,
title = "Specification morphisms for nonmonotonic knowledge systems",
abstract = "Conservative extensions of (classical) logical theories play an important role in software engineering, because they provide a formal basis for program refinement and guarantee the integrity and transparency of modules and objects. Similarly specification morphisms play a central role for information hiding and combining modules. Surprisingly, while the use of nonmonotonic theories for describing knowledge systems which may contain incomplete or uncertain data has been advocated for some time now, the above concepts have yet to be applied in this area. The aim of this work is to develop and apply analogues of these concepts in a nonmonotonic context. This paper builds on previous results, which focus on conservative extensions, extending the ideas to the more general case of specification morphisms.",
author = "Macnish, {C. K.} and Grigoris Antoniou",
year = "1997",
doi = "10.1007/3-540-63797-4_77",
language = "English",
isbn = "3540637974",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "246--254",
editor = "Abdul Sattar",
booktitle = "Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings",

}

Macnish, CK & Antoniou, G 1997, Specification morphisms for nonmonotonic knowledge systems. in A Sattar (ed.), Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1342, Springer Verlag, pp. 246-254, 10th Australian Joint Conference on Artificial Intelligence, Perth, Australia, 30/11/97. https://doi.org/10.1007/3-540-63797-4_77

Specification morphisms for nonmonotonic knowledge systems. / Macnish, C. K.; Antoniou, Grigoris.

Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings. ed. / Abdul Sattar. Springer Verlag, 1997. p. 246-254 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1342).

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

TY - GEN

T1 - Specification morphisms for nonmonotonic knowledge systems

AU - Macnish, C. K.

AU - Antoniou, Grigoris

PY - 1997

Y1 - 1997

N2 - Conservative extensions of (classical) logical theories play an important role in software engineering, because they provide a formal basis for program refinement and guarantee the integrity and transparency of modules and objects. Similarly specification morphisms play a central role for information hiding and combining modules. Surprisingly, while the use of nonmonotonic theories for describing knowledge systems which may contain incomplete or uncertain data has been advocated for some time now, the above concepts have yet to be applied in this area. The aim of this work is to develop and apply analogues of these concepts in a nonmonotonic context. This paper builds on previous results, which focus on conservative extensions, extending the ideas to the more general case of specification morphisms.

AB - Conservative extensions of (classical) logical theories play an important role in software engineering, because they provide a formal basis for program refinement and guarantee the integrity and transparency of modules and objects. Similarly specification morphisms play a central role for information hiding and combining modules. Surprisingly, while the use of nonmonotonic theories for describing knowledge systems which may contain incomplete or uncertain data has been advocated for some time now, the above concepts have yet to be applied in this area. The aim of this work is to develop and apply analogues of these concepts in a nonmonotonic context. This paper builds on previous results, which focus on conservative extensions, extending the ideas to the more general case of specification morphisms.

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

U2 - 10.1007/3-540-63797-4_77

DO - 10.1007/3-540-63797-4_77

M3 - Conference contribution

SN - 3540637974

SN - 9783540637974

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

SP - 246

EP - 254

BT - Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings

A2 - Sattar, Abdul

PB - Springer Verlag

ER -

Macnish CK, Antoniou G. Specification morphisms for nonmonotonic knowledge systems. In Sattar A, editor, Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings. Springer Verlag. 1997. p. 246-254. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-63797-4_77