L'évaluation sémantique en calcul propositionnel
FR |
EN
Auteur / Autrice : | Laurent Oxusoff |
Direction : | Pierre Siegel, Alain Colmerauer |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique et mathématiques |
Date : | Inscription en doctorat le Soutenance le 01/01/1989 |
Etablissement(s) : | Aix-Marseille 2 |
Partenaire(s) de recherche : | Laboratoire : Groupe intelligence artificielle |
autre partenaire : Université d'Aix-Marseille II. Faculté des sciences (1969-2011) |
Résumé
FR
Presentation d'un nouvel algorithme de deduction associe au calcul propositionnel: l'evaluation semantique, obtenu en associant une propriete de coupure originale a la procedure de davis et putnam. D'une part les performances de l'algorithme presente se sont averees tres bonnes, et d'autre part il a ete possible de comparer formellement son efficacite avec celle de la sl-resolution de kowalski et kuehner