ON THE VERIFICATION OF MODULAR LOGICAL KNOWLEDGE BASES

Autor(en): ANTONIOU, G
SPERSCHNEIDER, V
Stichwörter: Computer Science; Computer Science, Artificial Intelligence; Engineering; Engineering, Electrical & Electronic; Operations Research & Management Science
Erscheinungsdatum: 1995
Herausgeber: PERGAMON-ELSEVIER SCIENCE LTD
Journal: EXPERT SYSTEMS WITH APPLICATIONS
Volumen: 8
Ausgabe: 3
Startseite: 351
Seitenende: 357
Zusammenfassung: 
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.
Beschreibung: 
European Symposium on Validation and Verification of KBSs (Knowledge-Based Systems) - EUROVAV 93, PALMA DE MALLORCA, SPAIN, 1993
ISSN: 09574174
DOI: 10.1016/0957-4174(94)E0026-Q

Show full item record

Google ScholarTM

Check

Altmetric