Représentation des connaissances dans la logique trivalente de Lukasiewicz et structuration des bases de connaissances
Institution:
Université Pierre Mendès France (Grenoble)Disciplines:
Directors:
Abstract EN:
This work concerns uncertain and incomplete knowledge representation in three-valued logic of lukasiewicz and knowledge base management system based on coupling dbms and expert system. We compare three-valued logic of lukaciewicz with the classical one and with three-valued logics of kleene and bochvar. Propositional and predicate calculus are presented. By studing skolemisation of three-valued formulas and adaptation of the robinson's theorem proving, we obtain the procedure for passing to logic programming. The hypothese of incomplete knowledge invalidate the hypothese of closed world, in consequence, we define a non-monotonic rule for the resolution of goals as "it exists on x such that not (p(x)". The choosen approach needs three steps : construction of a negatif program, resolution of the negatif goal in this program and resolution of the positif program, resolution of the negatif goal in this program and resolution of the positif goals using the classical rule of negation as failure. Following mcdermott's approach, we extend three-valued logic of lukasiewicz to a non-monotonic one by giving a second non-monotonic inference rule. The resulting system guarantees a non-monotonic extension existence, which is not the case in mcdermott's approach. Unicity of this extension is not verified. So, we propose knowledge base structuration to describe different world. This structuration
Abstract FR:
Ce travail concerne la representation des connaissances incompletes et incertaines dans la logique trivalente de lukasiewicz et la definition d'un systeme de gestion de base de connaissances correspondant au couplage systeme expert systeme de gestion de base de donnees. Apres une comparaison de la logique trivalente de lukasiewicz avec la logique classique, la logique trivalente de kleene et la logique trivalente de bochvar, nous presentons le calcul propositionnel et le calcul des predicats de cette logique. Le passage de la logique trivalente de lukasiewicz a la programmation logique est obtenu apres l'etude de la skolemisation des formules trivalentes et une adaptation du demonstrateur de theoremes de robinson a la logique trivalente de lukasiewicz. En presence de connaissances incompletes, l'hypothese du monde ferme n'est plus valable. Nous avons, en consequence, defini une regle d'inference non monotone pour la resolution des buts de la forme "il existe x tel qu non (p(x))". L'approche choisie est traitee en trois etapes : construction d'un programme negatif, resolution de buts negatifs dans ce programme et resolution des buts positifs avec la regle classique de la negation par l'echec. En suivant la demarche de mcdermott, nous avons etendu la logique trivalente de lukasiewizc a une logique non-monotone en definissant une deuxieme regle d'inference non-monotone. Le systeme qui en resulte garantit l'existence d'une extension non-monotone pour une categorie de theories, ce qui n'est pas le cas dan la logique modale non-monotone de mcdermott. L'unicite d'une telle extension.