Modularity for logical knowledge bases

Grigoris Antoniou

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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 number: 4

Conference

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

Fingerprint

Dive into the research topics of 'Modularity for logical knowledge bases'. Together they form a unique fingerprint.

Cite this