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
AN - SCOPUS:0029339063
VL - 8
SP - 351
EP - 357
JO - Expert Systems with Applications
JF - Expert Systems with Applications
SN - 0957-4174
IS - 3
ER -