About: De la connaissance à la paraconsistance, un modèle d'application pour la résolution des conflits aériens   Goto Sponge  NotDistinct  Permalink

An Entity of Type : rdac:C10001, within Data Space : data.idref.fr associated with source document(s)

AttributesValues
type
Thesis advisor
alternative label
  • FROM KNOWLEDGE TO PARACONSISTANCY: AN APPLICATION MODEL FOR AIRCRAFT CONFLICT RESOLUTION
dc:subject
  • Thèses et écrits académiques
  • Systèmes d'aide à la décision
  • Estimation de paramètres
  • Circulation aérienne -- Contrôle
  • SCIENCES APPLIQUEES : TRANSPORTS TERRESTRES, MARITIMES. CONSTRUCTION NAVALE
  • Connaissances, Représentation des (intelligence artificielle) -- thèses
  • Balises (signalisation maritime)
  • GENIE LOGIQUE/LOGIQUE MODALE/LOGIQUE MULTI-MODALE/LOGIQUE PARACONSISTANT/AGENT/SOCIETE/LOGIQUE DE SOCIETES/DEDUCTION AUTOMATIQUE
preferred label
  • De la connaissance à la paraconsistance, un modèle d'application pour la résolution des conflits aériens
Language
Subject
dc:title
  • De la connaissance à la paraconsistance, un modèle d'application pour la résolution des conflits aériens
Degree granting institution
note
  • DANS CE MEMOIRE EST ETUDIE UN CAS REEL DE FORMALISATION. LE PROBLEME DE LA FORMALISATION EST EXPLORE EN CHERCHANT UNE FACON D'AUTOMATISER LES SOLUTIONS DE CE CAS REEL, DANS LE CADRE D'UNE APPROCHE DE LA RESOLUTION DISTRIBUEE DU PROBLEME. DANS LE CADRE DE LA FORMALISATION DU PROBLEME, SONT DEFINIS DES SYSTEMES LOGIQUES CAPABLES DE FOURNIR UN LANGAGE DE REPRESENTATION DE CONNAISSANCES EN MEME TEMPS UNE MANIERE D'AUTOMATISER LES DEDUCTIONS POUR CE CAS REEL. SONT FINALEMENT PROPOSEES DES SOLUTIONS CONCRETES, AU NIVEAU INFORMATIQUE, POUR LE PROBLEME ETUDIE. LE CAS REEL UTILISE POUR REALISER CES OBJECTIFS A ETE LE PROBLEME DE LA COLLISION ENTRE AVIONS, LE PROJET SALOME. NOUS AVONS CONSTATE LE BESOIN DE LA DEFINITION D'UN NOUVEAU DOMAINE, APPELE GENIE LOGIQUE: UNE TECHNIQUE BASEE SUR DES PRINCIPES LOGIQUES DANS LE BUT D'UNE APPLICATION DE CES PRINCIPES AUX PROBLEMES REELS. DANS LE CADRE DE LA FORMALISATION DES PROBLEMES REELS EST ETUDIE LE CAS SALOME. PAR RAPPORT AUX BESOINS DE CE CAS, UNE LOGIQUE MULTI-MODALE PROPOSITIONNELLE DONT LE LANGAGE PEUT EXPRIMER DES CONNAISSANCES EPISTEMIQUES, DOXASTIQUES ET TEMPORELLES, APPELE KB, EST DEFINIE. DE MEME, A ETE ETUDIE LE PROBLEME DU TRAITEMENT FORMEL DES CONTRADICTIONS. AINSI, UNE NOUVELLE SEMANTIQUE POUR LA PARACONSISTANCE A ETE DEFINIE ET UNE LOGIQUE PROPOSITIONNELLE POUR UNE SOCIETE A DEUX AGENTS, SL#2, ET UNE LOGIQUE PROPOSITIONNELLE POUR UNE SOCIETE HOMOGENE A PLUSIEURS AGENTS, SL#C, ONT ETE OBTENUES. FINALEMENT, SL#C ET KB ONT ETE MELANGEES. AINSI, S5KB EST CONSTRUITE, UNE LOGIQUE PROPOSITIONNELLE MULTI-MODALE CAPABLE DE MANIPULER DES CONNAISSANCES EPISTEMIQUES, DOXASTIQUES, TEMPORELLES ET CONTRADICTOIRES. FINALEMENT, UN DEMONSTRATEUR AUTOMATIQUE DE THEOREME POUR DES LOGIQUES NON CLASSIQUES, TIM, A PERMIS D'IMPLEMENTER LES LOGIQUES KB ET S5KB. L'ASSOCIATION DES FORMALISMES, CREES POUR CE PROJET, AVEC DES PRINCIPES SITUES DANS L'AXE DE LA RESOLUTION DISTRIBUE DE PROBLEME, A PERMIS DE DEMONTRER LA FAISABILITE D'UN SYSTEME ANTICOLLISION D'AVIONS
dc:type
  • Text
http://iflastandar...bd/elements/P1001
rdaw:P10219
  • 1992
has content type
is primary topic of
is rdam:P30135 of
Faceted Search & Find service v1.13.91 as of Aug 16 2018


Alternative Linked Data Documents: ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data]
OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software