This HTML5 document contains 26 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
n10http://www.idref.fr/027282759/
marcrelhttp://id.loc.gov/vocabulary/relators/
dctermshttp://purl.org/dc/terms/
n17http://www.idref.fr/029275725/
n16http://www.idref.fr/030092485/
n8http://www.idref.fr/029477166/
n14http://www.idref.fr/027253139/
n2http://www.idref.fr/211762407/
dchttp://purl.org/dc/elements/1.1/
rdauhttp://rdaregistry.info/Elements/u/
skoshttp://www.w3.org/2004/02/skos/core#
n19http://www.idref.fr/026404672/
n13http://lexvo.org/id/iso639-3/
n5http://iflastandards.info/ns/isbd/terms/contentform/
rdachttp://rdaregistry.info/Elements/c/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
frbrhttp://purl.org/vocab/frbr/core#
n12http://rdaregistry.info/termList/RDAContentType/
n4http://iflastandards.info/ns/isbd/elements/
n18http://www.idref.fr/031148069/
rdawhttp://rdaregistry.info/Elements/w/
xsdhhttp://www.w3.org/2001/XMLSchema#
Subject Item
n2:id
rdf:type
frbr:Work rdac:C10001
marcrel:ths
n16:id
skos:altLabel
FROM KNOWLEDGE TO PARACONSISTANCY: AN APPLICATION MODEL FOR AIRCRAFT CONFLICT RESOLUTION
dc:subject
Balises (signalisation maritime) Connaissances, Représentation des (intelligence artificielle) -- thèses Estimation de paramètres Circulation aérienne -- Contrôle Systèmes d'aide à la décision Thèses et écrits académiques SCIENCES APPLIQUEES : TRANSPORTS TERRESTRES, MARITIMES. CONSTRUCTION NAVALE GENIE LOGIQUE/LOGIQUE MODALE/LOGIQUE MULTI-MODALE/LOGIQUE PARACONSISTANT/AGENT/SOCIETE/LOGIQUE DE SOCIETES/DEDUCTION AUTOMATIQUE
skos:prefLabel
De la connaissance à la paraconsistance, un modèle d'application pour la résolution des conflits aériens
dcterms:language
n13:fra
dcterms:subject
n8:id n10:id n14:id n17:id n18:id
dc:title
De la connaissance à la paraconsistance, un modèle d'application pour la résolution des conflits aériens
marcrel:dgg
n19:id
skos: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
n4:P1001
n5:T1009
rdaw:P10219
1992
rdau:P60049
n12:1020