The Knowledge Level (KL) is an abstract level of description, prior to the symbol or software level, which aims at discovering the components of expertise without thinking of computational aspects. The KL analysis emphasizes the regularities in knowledge use for knowledge engineering. We consider the knowledge level analysis the AI counterpart of the specification of programs. Then, it must be possible to define formal ways of putting in relation the KL analysis with computational elements that implement it. The ultimate goal of the research presented in this article is to contribute in the filling of the gap between specification at the KL and implementation. To do so we propose (i) a particular interpretation of the three main concepts involved in the knowledge level theories, i.e., tasks, methods, and domain models, and (ii) a mapping between these notions and computational elements of Milord II, a shell developed at the IIIA Institute and used as the target programming environment of an example in biological identification.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.