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

Knowledge based systems
Semantics
Concretes

Cite this

Antoniou, Grigoris ; Sperschneider, Volker. / On the verification of modular logical knowledge bases. In: Expert Systems with Applications. 1995 ; Vol. 8, No. 3. pp. 351-357.
@article{c9c3f47a37634c6e938b0d6e5b1a0f21,
title = "On the verification of modular logical knowledge bases",
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.",
author = "Grigoris Antoniou and Volker Sperschneider",
year = "1995",
month = "7",
day = "1",
doi = "10.1016/0957-4174(94)E0026-Q",
language = "English",
volume = "8",
pages = "351--357",
journal = "Expert Systems with Applications",
issn = "0957-4174",
publisher = "Elsevier Limited",
number = "3",

}

On the verification of modular logical knowledge bases. / Antoniou, Grigoris; Sperschneider, Volker.

In: Expert Systems with Applications, Vol. 8, No. 3, 01.07.1995, p. 351-357.

Research output: Contribution to journalArticle

TY - JOUR

T1 - On the verification of modular logical knowledge bases

AU - Antoniou, Grigoris

AU - Sperschneider, Volker

PY - 1995/7/1

Y1 - 1995/7/1

N2 - 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.

AB - 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.

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

U2 - 10.1016/0957-4174(94)E0026-Q

DO - 10.1016/0957-4174(94)E0026-Q

M3 - Article

VL - 8

SP - 351

EP - 357

JO - Expert Systems with Applications

JF - Expert Systems with Applications

SN - 0957-4174

IS - 3

ER -