On the verification of modular logical knowledge bases

Grigoris Antoniou, Volker Sperschneider

Research output: Contribution to journalArticle

2 Citations (Scopus)

Abstract

In this paper we describe a framework for the design of modular knowledge-based systems. The main characteristic of the framework is that verification work can be done in a local setting. We present two concrete module concepts within this framework, and give formal semantics and correctness notions for them. Finally, we show a method for proving correctness of modules using an assertional proof system for logic programs.

Original languageEnglish
Pages (from-to)351-357
Number of pages7
JournalExpert Systems with Applications
Volume8
Issue number3
DOIs
Publication statusPublished - 1 Jul 1995
Externally publishedYes

    Fingerprint

Cite this