InforLorV4, Main, Exploration, bibRecord, 009E36

Rule Based Programming with Constraints and Strategies

Identifieur interne : 009E36 ( Main/Exploration ); précédent : 009E35; suivant : 009E37

Rule Based Programming with Constraints and Strategies

Auteurs : Hubert Dubois [France] ; Héléne Kirchner [France]

Source :

Lecture Notes in Computer Science [ 0302-9743 ]

RBID : ISTEX:5B2FC9192F573E52637495E7A5948C3879B15F9F

Descripteurs français

Pascal (Inist)
- 0705B, Backtracking, Base connaissance, Constraint solver, Contrainte, Deduction systems, ELAN language, Finite domains, Intelligence artificielle, Planification, Programmation, Prototype, Rule based Programming, Satisfaction contrainte, Spécification, Stratégie, Système expert.
Wicri :
- topic : Intelligence artificielle, Prototype.

English descriptors

KwdEn :
- Artificial intelligence, Backtracking, Constraint satisfaction, Expert systems, Knowledge base, Planning, Programming, Prototype, Specifications, Strategy, Stresses.

Abstract

Abstract: We present a framework for Rule Based Programming with Constraints and Strategies. It is implemented in the ELAN language, that provides an environment for specifying and prototyping deduction systems. The existence of strategies provides the user with the possibility to make choices, to act upon them, and to retract if needed using backtracking. To illustrate the framework, we formalise a planning problem, namely a controller for printing tasks, that shows how to combine rules, strategies and constraint solving on finite domains.

Url:

https://api.istex.fr/ark:/67375/HCB-4VJJKWZ3-5/fulltext.pdf

DOI: 10.1007/3-540-44654-0_14

Affiliations:

Le document en format XML

<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Rule Based Programming with Constraints and Strategies</title>
<author><name sortKey="Dubois, Hubert" sort="Dubois, Hubert" uniqKey="Dubois H" first="Hubert" last="Dubois">Hubert Dubois</name>
</author>
<author><name sortKey="Kirchner, Helene" sort="Kirchner, Helene" uniqKey="Kirchner H" first="Héléne" last="Kirchner">Héléne Kirchner</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:5B2FC9192F573E52637495E7A5948C3879B15F9F</idno>
<date when="2000" year="2000">2000</date>
<idno type="doi">10.1007/3-540-44654-0_14</idno>
<idno type="url">https://api.istex.fr/ark:/67375/HCB-4VJJKWZ3-5/fulltext.pdf</idno>
<idno type="wicri:Area/Istex/Corpus">001517</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">001517</idno>
<idno type="wicri:Area/Istex/Curation">001499</idno>
<idno type="wicri:Area/Istex/Checkpoint">002089</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">002089</idno>
<idno type="wicri:doubleKey">0302-9743:2000:Dubois H:rule:based:programming</idno>
<idno type="wicri:Area/Main/Merge">00A417</idno>
<idno type="wicri:source">INIST</idno>
<idno type="RBID">Pascal:01-0035980</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">000993</idno>
<idno type="wicri:Area/PascalFrancis/Curation">000083</idno>
<idno type="wicri:Area/PascalFrancis/Checkpoint">000972</idno>
<idno type="wicri:explorRef" wicri:stream="PascalFrancis" wicri:step="Checkpoint">000972</idno>
<idno type="wicri:doubleKey">0302-9743:2000:Dubois H:rule:based:programming</idno>
<idno type="wicri:Area/Main/Merge">00A578</idno>
<idno type="wicri:Area/Main/Curation">009E36</idno>
<idno type="wicri:Area/Main/Exploration">009E36</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Rule Based Programming with Constraints and Strategies</title>
<author><name sortKey="Dubois, Hubert" sort="Dubois, Hubert" uniqKey="Dubois H" first="Hubert" last="Dubois">Hubert Dubois</name>
<affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>LORIA-UHP & CNRS, BP 239, 54506, Vandœuvre-lés-Nancy Cedex</wicri:regionArea>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</author>
<author><name sortKey="Kirchner, Helene" sort="Kirchner, Helene" uniqKey="Kirchner H" first="Héléne" last="Kirchner">Héléne Kirchner</name>
<affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>LORIA-UHP & CNRS, BP 239, 54506, Vandœuvre-lés-Nancy Cedex</wicri:regionArea>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title>
<idno type="ISSN">0302-9743</idno>
<idno type="ISSN">0302-9743</idno>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Artificial intelligence</term>
<term>Backtracking</term>
<term>Constraint satisfaction</term>
<term>Expert systems</term>
<term>Knowledge base</term>
<term>Planning</term>
<term>Programming</term>
<term>Prototype</term>
<term>Specifications</term>
<term>Strategy</term>
<term>Stresses</term>
</keywords>
<keywords scheme="Pascal" xml:lang="fr"><term>0705B</term>
<term>Backtracking</term>
<term>Base connaissance</term>
<term>Constraint solver</term>
<term>Contrainte</term>
<term>Deduction systems</term>
<term>ELAN language</term>
<term>Finite domains</term>
<term>Intelligence artificielle</term>
<term>Planification</term>
<term>Programmation</term>
<term>Prototype</term>
<term>Rule based Programming</term>
<term>Satisfaction contrainte</term>
<term>Spécification</term>
<term>Stratégie</term>
<term>Système expert</term>
</keywords>
<keywords scheme="Wicri" type="topic" xml:lang="fr"><term>Intelligence artificielle</term>
<term>Prototype</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: We present a framework for Rule Based Programming with Constraints and Strategies. It is implemented in the ELAN language, that provides an environment for specifying and prototyping deduction systems. The existence of strategies provides the user with the possibility to make choices, to act upon them, and to retract if needed using backtracking. To illustrate the framework, we formalise a planning problem, namely a controller for printing tasks, that shows how to combine rules, strategies and constraint solving on finite domains.</div>
</front>
</TEI>
<affiliations><list><country><li>France</li>
</country>
<region><li>Grand Est</li>
<li>Lorraine (région)</li>
</region>
<settlement><li>Vandœuvre-lès-Nancy</li>
</settlement>
</list>
<tree><country name="France"><region name="Grand Est"><name sortKey="Dubois, Hubert" sort="Dubois, Hubert" uniqKey="Dubois H" first="Hubert" last="Dubois">Hubert Dubois</name>
</region>
<name sortKey="Kirchner, Helene" sort="Kirchner, Helene" uniqKey="Kirchner H" first="Héléne" last="Kirchner">Héléne Kirchner</name>
</country>
</tree>
</affiliations>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 009E36 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 009E36 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    RBID
   |clé=     ISTEX:5B2FC9192F573E52637495E7A5948C3879B15F9F
   |texte=   Rule Based Programming with Constraints and Strategies
}}

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022

Serveur d'exploration sur la recherche en informatique en Lorraine

Rule Based Programming with Constraints and Strategies

Rule Based Programming with Constraints and Strategies

Source :

Descripteurs français

English descriptors

Abstract

Links toward previous steps (curation, corpus...)

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri

	Serveur d'exploration sur la recherche en informatique en Lorraine
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.