Xavier Talon

Learn 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 speci cation of dynamic behaviour Although fundamental in Knowledge Based System the strategic reasoning was rather neglected until now by the existing formal speci cations Most languages were generally(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)
Model Figure 1: Conceptual modeling of heuristic classi cation strategies owns the composition operators of sequence, condition and loop and instructions to activate and desactivate sets of foci. This language is inspired of [ACGN92]. For example, a strategy strategy-hc is de ned for deciding of the using the complete heuristic classi cation process or(More)
Model Figure 1: Conceptual modeling of heuristic classi cation { a task which is a complex agent dedicated to a particular kind of problem. We will de ne it better in the following. strategies represent the knowledge used by the system to choose which operative knowledge to apply among the available knowledge in order to dynamically build a plan of(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)
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 taskbased frameworks in order to elicit the problemsolving process.(More)
  • 1