Paper Info
Title
A software architecture for knowledge-based systems
Abstract
The paper introduces a software architecture for the specification and verification of knowledge-based systems combining conceptual and formal techniques. Our focus is component-based specification enabling their reuse. We identify four elements of the specification of a knowledge-based system: a task definition, a problem-solving method, a domain model, and an adaptor. We present algebraic specifications and a variant of dynamic logic as formal means to specify and verify these different elements. As a consequence of our architecture we can decompose the overall specification and verification task of the knowledge-based systems into subtasks. We identify different subcomponents for specification and different proof obligations for verification. The use of the architecture in specification and verification improves understandability and reduces the effort for both activities. In addition, its decomposition and modularisation enables reuse of components and proofs. Therefore, a knowledge-based system can be built by combining and adapting different reusable components.
Year
DOI
Venue
1999
10.1017/S0269888999142097
Knowledge Eng. Review
Keywords
Field
DocType
knowledge-based system,verification task,different element,different reusable component,algebraic specification,overall specification,component-based specification,software architecture,different proof obligation,different subcomponents,knowledge based system,domain model,dynamic logic
Specification language,Functional verification,Programming language,Computer science,Knowledge-based systems,Formal specification,Verification,Language Of Temporal Ordering Specification,Software architecture,Formal methods
Journal
Volume
Issue
ISSN
14
2
0269-8889
Citations 
PageRank 
References 
8
3.97
41
Authors
2
Name
Order
Citations
PageRank
Dieter Fensel15545662.62
Rix Groenboom212519.05