1999-03-13T23:59:59Z
2022-09-23T10:20:40Z
Optimisation d'algorithmes d'inference monotone en logique des propositions et du premier ordre
1989
1989-01-01
Le formalisme de representation de la connaissance considere est decompose en plusieurs sous-formalismes allant du cas horn propositionnel au cas plus general de la forme clausale du premier ordre. Sont presentes: 1) des moteurs d'inference pour une classe des systemes de regles exprimes en logique propositionnelle; 2) une methode de demonstration de theoremes en logique propositionnelle; 3) un algorithme d'unification des termes de premier ordre; 4) un schema de controle de l'inference en logique des predicats du premier ordre
Sciences appliquees
Informatique, automatique theorique, systemes
These
Intelligence artificielle
Representation connaissances
Logique propositionnelle
Logique ordre 1
Unification
Moteur inference
Algorithme
Complexite algorithme
Thesis
Artificial intelligence
Knowledge representation
Propositional logic
One order logic
Unification
Inference motor
Algorithm
Algorithm complexity
ESCALADA-IMAZ, GONZALO
Ghallab, Malik
Toulouse 3