Specification morphisms for nonmonotonic knowledge systems

C. K. Macnish; Grigoris Antoniou

doi:10.1007/3-540-63797-4_77

Specification morphisms for nonmonotonic knowledge systems

C. K. Macnish, Grigoris Antoniou

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

1 Citation (Scopus)

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.

Original language	English
Title of host publication	Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings
Editors	Abdul Sattar
Publisher	Springer Verlag
Pages	246-254
Number of pages	9
ISBN (Print)	3540637974, 9783540637974
DOIs	https://doi.org/10.1007/3-540-63797-4_77
Publication status	Published - 1997
Externally published	Yes
Event	10th Australian Joint Conference on Artificial Intelligence - Perth, Australia Duration: 30 Nov 1997 → 4 Dec 1997 Conference number: 10

Publication series

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

Conference

Conference	10th Australian Joint Conference on Artificial Intelligence
Abbreviated title	AI 1997
Country/Territory	Australia
City	Perth
Period	30/11/97 → 4/12/97

Access to Document

10.1007/3-540-63797-4_77Licence: Unspecified

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",

address = "Germany",

note = "10th Australian Joint Conference on Artificial Intelligence, AI 1997 ; Conference date: 30-11-1997 Through 04-12-1997",

}

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, Western Australia, 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 proceeding › Conference contribution › peer-review

TY - GEN

T1 - Specification morphisms for nonmonotonic knowledge systems

AU - Macnish, C. K.

AU - Antoniou, Grigoris

N1 - Conference code: 10

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

AN - SCOPUS:84961368115

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

T2 - 10th Australian Joint Conference on Artificial Intelligence

Y2 - 30 November 1997 through 4 December 1997

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)). doi: 10.1007/3-540-63797-4_77

Specification morphisms for nonmonotonic knowledge systems

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this