On the verification of modular logical knowledge bases

Grigoris Antoniou; Volker Sperschneider

doi:10.1016/0957-4174(94)E0026-Q

On the verification of modular logical knowledge bases

Grigoris Antoniou, Volker Sperschneider

University of Osnabrück

Research output: Contribution to journal › Article › peer-review

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 language	English
Pages (from-to)	351-357
Number of pages	7
Journal	Expert Systems with Applications
Volume	8
Issue number	3
DOIs	https://doi.org/10.1016/0957-4174(94)E0026-Q
Publication status	Published - 1 Jul 1995
Externally published	Yes

Access to Document

10.1016/0957-4174(94)E0026-QLicence: Unspecified

Cite this

@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 = jul,

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

}

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 - https://www.scopus.com/pages/publications/0029339063

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

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

M3 - Article

AN - SCOPUS:0029339063

SN - 0957-4174

VL - 8

SP - 351

EP - 357

JO - Expert Systems with Applications

JF - Expert Systems with Applications

IS - 3

ER -

On the verification of modular logical knowledge bases

Abstract

Access to Document

Other files and links

Fingerprint

Cite this