Modularity for logical knowledge bases

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

2 Citations (Scopus)

Abstract

We argue that modularity is essential for the design, verification, and maintenance of large-scale knowledge based systems. Motivated by work on software modules and algebraic specification, we introduce a module concept with formal interfaces, and give semantics and correctness notions for such modules based on logic programming. Single modules communicate with their environment by their interfaces. We discuss how modular systems can be built from single modules by means of so-called module operations, and derive for the composition operation results concerning compositionality of semantics and correctness preservation.

Original languageEnglish
Title of host publicationProceedings of the 4th International Conference on Software Engineering and Knowledge Engineering
PublisherIEEE
Pages87-93
Number of pages7
ISBN (Print)0818628308
DOIs
Publication statusPublished - 1 Dec 1992
Externally publishedYes
EventProceedings of the 4th International Conference on Software Engineering and Knowledge Engineering - Capri, Italy
Duration: 15 Jun 199220 Jun 1992

Conference

ConferenceProceedings of the 4th International Conference on Software Engineering and Knowledge Engineering
CityCapri, Italy
Period15/06/9220/06/92

Fingerprint

Semantics
Logic programming
Knowledge based systems
Specifications
Chemical analysis

Cite this

Antoniou, G. (1992). Modularity for logical knowledge bases. In Proceedings of the 4th International Conference on Software Engineering and Knowledge Engineering (pp. 87-93). IEEE. https://doi.org/10.1109/SEKE.1992.227943
Antoniou, Grigoris. / Modularity for logical knowledge bases. Proceedings of the 4th International Conference on Software Engineering and Knowledge Engineering. IEEE, 1992. pp. 87-93
@inproceedings{8a8401e13e6b4a2bb95b70880ce609b0,
title = "Modularity for logical knowledge bases",
abstract = "We argue that modularity is essential for the design, verification, and maintenance of large-scale knowledge based systems. Motivated by work on software modules and algebraic specification, we introduce a module concept with formal interfaces, and give semantics and correctness notions for such modules based on logic programming. Single modules communicate with their environment by their interfaces. We discuss how modular systems can be built from single modules by means of so-called module operations, and derive for the composition operation results concerning compositionality of semantics and correctness preservation.",
author = "Grigoris Antoniou",
year = "1992",
month = "12",
day = "1",
doi = "10.1109/SEKE.1992.227943",
language = "English",
isbn = "0818628308",
pages = "87--93",
booktitle = "Proceedings of the 4th International Conference on Software Engineering and Knowledge Engineering",
publisher = "IEEE",

}

Antoniou, G 1992, Modularity for logical knowledge bases. in Proceedings of the 4th International Conference on Software Engineering and Knowledge Engineering. IEEE, pp. 87-93, Proceedings of the 4th International Conference on Software Engineering and Knowledge Engineering, Capri, Italy, 15/06/92. https://doi.org/10.1109/SEKE.1992.227943

Modularity for logical knowledge bases. / Antoniou, Grigoris.

Proceedings of the 4th International Conference on Software Engineering and Knowledge Engineering. IEEE, 1992. p. 87-93.

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

TY - GEN

T1 - Modularity for logical knowledge bases

AU - Antoniou, Grigoris

PY - 1992/12/1

Y1 - 1992/12/1

N2 - We argue that modularity is essential for the design, verification, and maintenance of large-scale knowledge based systems. Motivated by work on software modules and algebraic specification, we introduce a module concept with formal interfaces, and give semantics and correctness notions for such modules based on logic programming. Single modules communicate with their environment by their interfaces. We discuss how modular systems can be built from single modules by means of so-called module operations, and derive for the composition operation results concerning compositionality of semantics and correctness preservation.

AB - We argue that modularity is essential for the design, verification, and maintenance of large-scale knowledge based systems. Motivated by work on software modules and algebraic specification, we introduce a module concept with formal interfaces, and give semantics and correctness notions for such modules based on logic programming. Single modules communicate with their environment by their interfaces. We discuss how modular systems can be built from single modules by means of so-called module operations, and derive for the composition operation results concerning compositionality of semantics and correctness preservation.

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

U2 - 10.1109/SEKE.1992.227943

DO - 10.1109/SEKE.1992.227943

M3 - Conference contribution

SN - 0818628308

SP - 87

EP - 93

BT - Proceedings of the 4th International Conference on Software Engineering and Knowledge Engineering

PB - IEEE

ER -

Antoniou G. Modularity for logical knowledge bases. In Proceedings of the 4th International Conference on Software Engineering and Knowledge Engineering. IEEE. 1992. p. 87-93 https://doi.org/10.1109/SEKE.1992.227943