Correctness of Methods w.r.t. Problems Specifications

This paper proposes a framework for the formal specification of a knowledge-based system and its intra-model verification. At a conceptual level, a knowledge-based system is specified in terms of problems, methods, knowledge. In previous papers we had propose a formal language to specify problem goals and process (methods) in using abstract data types. At present, the aim is to investigate how it is possible to prove that a process is relevant and correct with respect to a given problem. In this paper, we propose a formalization of the correctness and relevance notions for knowledge-based system specified at a conceptual level. Then, we present how the correctness proof of a process w.r.t a problem specification can be brought back to its relevance proof w.r.t this problem.