Un système et un langage pour le traitement d'inférences non monotone

par Wei Shang

Thèse de doctorat en Contrôle des Systèmes

Sous la direction de Pierre Le Beux.


  • Résumé

    Nous présentons dans ce mémoire un système d'inférence en logiques non-monotones. Ce système a pour objet de représenter les connaissances et le raisonnement révisables. Une étude sur les différentes stratégies de recherche dans l'espace de solutions a été présentée, nous montrons à travers des exemples, que l'enregistrement des dépendances de l'inférence peut optimiser sensiblement la recherche dans l'espace de solutions. Nous décrivons ensuite un système de contrôle de cohérence : ATMS de J. De Kleer, c'est un système à base de dépendances, qui est utilisé comme un module d'inférence dans notre système. Plusieurs systèmes logiques non standards sont aussi présentés, nous mettrons l'accent particulièrement sur les logiques des défauts de R. Reiter, pour lesquelles une version restreinte (défauts nromaux) est réalisée. ANMIL est le langage d'inférence du système, il est décrit en détail. Le la,gage est à base de calcul des prédicats, la non-monotonie demeure dans les règles de défaut et les règles supposées. L'environnement de l'influence de l'ANMIL est multi-contextes, les hypothèses sont gérées automatiquement. L'utilisation des principales commandes est aussi expliquée, la syntaxe du langage est donnée. ANMIS est le système d'inférence. Sa conception est présentée. On y distingue deux modules : un moteur d'inférence proprement dit et un module de gestion de croyances ATMS. Cette séparation, est à notre avis, la meilleure architecture pour effectuer l'inférence non-monotone. Les différentes stratégies d'inférence sont adaptées selon le type de règles (règles de type de clause de Horn ou non). Les techniques ainsi que les difficultés de la réalisation sont discutées.

  • Titre traduit

    A system and a language for processing non-monotonic inference


  • Pas de résumé disponible.


  • Résumé

    In this thesis a non-monotonic inference system is presented, its purpose is to represent revisable knowledge and perform corresponding reasoning. A study of different research strategies of the solution space is presented, it is shown, through the exemples, that the recording of the inference dependencies can considerably optimize the research in the solution space. Then we describe un belief revision system: AS of J. De Kleer. It is a dependency based one, and is used as m inference unit in our system. Several non-standard logics are also presented, we pay pie1mly attention to R. Reiter's default logic, for which a restrained version (normal defaults) is realized. ANMIL is the inference Ianguage of this system, it is described in detail. The language is a predicate based one, the non-monotony resides in the default and the assumed rules. Its inference environment is the mufti-contexts one, the assumptions me automatically managed. We also explain the principal commands and give the syntax of ANMIL. ANMIS is the inference system. Its concepts are presented. Two sub-systems can be distinguished : an inference engine and a belief revision manager. This kind of architecture, in our opinion, is the best one for performing non-monotonic inference. The different inference strategies are employed according to the type of rides. The techniques and difficulties of the implementation of the system are discussed.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (176 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. 63 réf.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Technologie de Compiègne. Service Commun de la Documentation.
  • Disponible pour le PEB
  • Cote : 1990 SHA 299

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1990-SHA
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.