Xavier Talon

Learn More
This paper focuses on the formal speciication of the dynamic behavior of Knowledge Based Systems (KBS). Although fundamental in KBS, the notion of control is nearly absent in most of the formal speciications proposed until now. The formalisation presented here diiers from previous ones in several aspects. First, a diierent representation of dynamic(More)
TFL, the Task Formal Language, has been developed for integrating the static and dynamic aspects of Knowledge Based Systems. This paper focuses on the formal speciication of dynamic behaviour. Although fundamental in Knowledge Based System, the strategic reasoning was rather neglected until now b y the existing formal speciications. Most languages were(More)
This paper presents the TASK framework which is intended to cover the life cycle of a Knowledge-Based System. TASK framework supports models of diierent level, conceptual, formal and operational. TASK provides (i) a conceptual language which enables an informal speciication of the knowledge at the knowledge level, (ii) a formal language TFL which permits a(More)
The work concerns a language to specify strategies for flexible problem-solving. A flexible system is capable of reasoning about the problem resolution. It adapts his dynamic behavior to the current data and goal, in selecting or configuring the most relevant reasoning components for this context. Some control knowledge is required for that purpose. Two(More)
This paper presents the TASK framework which is intended to cover the life cycle of a KBS. A rst section presents the diierent step of a KBS construction (conceptual modeling, formalization and operationalization). Then, we discuss how TASK takes into account the links between the diierent models constructed at each stage. An original view of TASK is to(More)
First generation rule-based systems benefit of a lot of works and mathematical results. However they also have some limitations, often due to the implicit feature of their control. It is why, specific modelling primitives, like problem-solving methods and tasks, have been introduced in task-based frameworks in order to elicit the problem-solving process.(More)
  • 1