Système de règles de production et calcul de réécriture

Abstract : In this thesis, we design production rule systems in the ELAN system which is based on the rewriting logic and where strategies control the application of the rules. The rewriting calculus gives an operational semantics of ELAN. Thus, we developed an extension of ELAN that respects its semantics. Firstly, in this extension, we give the possibility to define classes and objects in ELAN. This language is implemented in ELAN as a prototype object-language. Then, we define a new formalism of rules working together with an object and a constraint store such that objects and constraints share variables. The application of the set of rules is controlled by strategies.This new programming paradigm with rules, objects, constraints and strategies is here used to model problems such that planification or scheduling.
Document type :
Theses
Complete list of metadatas

Cited literature [127 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/tel-01748119
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 11:25:35 AM
Last modification on : Tuesday, April 24, 2018 - 1:53:20 PM
Long-term archiving on: Friday, September 14, 2018 - 5:40:33 AM

File

SCD_T_2001_0123_DUBOIS.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01748119, version 1

Collections

Citation

Hubert Dubois. Système de règles de production et calcul de réécriture. Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2001. Français. ⟨NNT : 2001NAN10123⟩. ⟨tel-01748119⟩

Share

Metrics

Record views

31

Files downloads

41