In knowledge-based systems, the lack of complete methodologies which integrate adequate design and rigourous validation and verification techniques, is a major bottleneck in the transition from the experimental to the operational phase. Recent research indicates the occasional and isolated use of schemes, tables or similar techniques in this context, however limited to either knowledge acquisition or validation (to determine if the system is designed to meet the user's needs) and verification (to determine if the system accurately implements user specifications) . Based on extensive research and experiences with decision table engineering at K.U.Leuven, it is argued that the role of the decision table formalism can be extended, starting from the early stages of knowledge acquisition and representation, up to and including the final transformation of decision tables into existing knowledge based tools and products.
The research therefore aims at developing methods and tools for designing knowledge based information systems, with specific emphasis on both structuring and validating knowledge, and the integration with (methods for designing) information systems. It will focus on the integrated contribution of decision tables or similar concepts to knowledge engineering, validation and maintenance in various application areas.