Generating Knowledge-Based System Generators: A Software Engineering Approach
International Journal of Intelligent Information Technologies
Hi-index | 0.00 |
This paper presents the TASK framework which is intended to cover the life cycle of a Knowledge-Based System. TASK provides (i) a conceptual language which enable an informal specification at the knowledge level, (ii) a formal language TFL which permits an unambiguous specification and (iii) an operational shell TASK^+ which allows an efficient execution even for bad structured problems. This paper presents the different languages, the links between them and emphasizes the implementation stage. We show how TASK proposes a nice compromise solution between efficiency and expressivity.