Une introduction à Jrules Caractéristiques

1
H. Lounis 1
Une introduction à Jrules
Riche documentation à : C:\ILOG\JRules35\docs\pdf
H. Lounis 2
Caractéristiques
100% Java librairie ;
S’intègre à des applications Java : supporte des expressions
Java, …
Utilise et teste n’importe quelle classe Java ;
Opérateurs logiques ;
Regroupement de règles ;
Truth Maintenance system ;
Raisonnement temporel ;
Environnement graphique de manipulation des règles,
débogage ;
Syntax checker ;
Compilation des règles ;
Générateur de documentation (javadoc).

2
Base de connaissances
Base de règles
Base d’objets
Classes Java Règles JRules
Connaissances factuelles Connaissances déductives
Introduction
Interface JRules-Java
.ilr
javac
.java
.java
.java
.java
.class
.class
.class
.class
Règle 1
Règle 2
Règle n
Objet 1
Objet 2
Objet 3
Objet n
Agenda Mémoire de travail
Parsing
Moteur d ’inférence
Règle
déclenchée
Ruleset
IlrContext
Règles tangibles

3
H. Lounis 5
Patrons
Form(color==black; shape==square);
Form(shape==triangle);
Form(color==gray; shape==circle);
~Form(color==gray; shape==circle);
Form
color : {white, gray, black}
shape : {star, sqaure, triangle, circle, ellipse}
H. Lounis 6
Mémoire de travail (base de faits)
Actions
assert Form(gray,circle);

4
H. Lounis 7
Règles
when
{
Form(color==black; shape==circle);
Form(color==white; shape==square);
}
then
{
assert Form(white,triangle);
assert Form(black,ellipse);
}
when
{
?x: Form(color==gray; shape==rectangle);
}
then
{
retract ?x;
assert Form(white,rectangle);
}
H. Lounis 8
Ensemble de règles
C:\ILOG\JRules35\examples\applets\data\getstart.ilr

5
H. Lounis 9
Initialiser la mémoire de travail
rule initialize
{
when
{
?s: Form(shape==star);
}
then
{
retract ?s;
assert Form(black,triangle);
assert Form(white,ellipse);
assert Form(black,square);
assert Form(black,square);
}
};
H. Lounis 10
Une démo
C:/ILOG/JRules35/examples/applets/getstart.html