FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1815092977> ?p ?o ?g. }

• W1815092977 abstract "Le probleme des informations incompletes dans les systemes deductifs est un probleme crucial et bien connu ; on peut le resumer ainsi : etant donne une description incomplete du monde reel, comment repondre de la maniere la plus adequate aux requetes posees par l’utilisateur sur ce monde ? On trouve principalement deux grands types d’approches au probleme des informations incompletes dans les systemes d’informations : 1- Dans la premiere, la description du monde est completee par l’intermediaire de metaregles telles que « tout ce qui n’est pas affirme par l’utilisateur est faux » ou « tout ce qui n’est pas dit est « normal » ». La requete de l’utilisateur est ensuite evaluee sur cette description « completee ». Le raisonnement est de type raisonnement par defaut. 2- Dans la seconde approche, les differentes possibilites sont explorees afin de detecter le ou les contextes satisfaisant la requete de l’utilisateur. Il y a raisonnement hypothetique. SHERLOCK est un moteur d’inferences. Il se situe dans le cadre de la seconde approche « raisonnement hypothetique ». L’utilisateur decrit ses connaissances dans un langage de type logique du premier ordre par l’intermediaire d’un ensemble de regles de deduction et de contraintes d’integrite. Il peut en particulier exprimer des informations disjonctives. SHERLOCK est dans la lignee directe de ATMS de de Kleer et de MBR de Martins et Shapiro ; les assertions sont associees aux ensembles d’hypotheses ayant permis de les deduire. Le probleme du retrait d’une assertion (retour sur une hypothese) est ainsi evite et le raisonnement reste monotone. Les contraintes d’integrite permettent de detecter les ensembles d’hypotheses incoherents. Le probleme des informations incompletes est tout d’abord pose, en donnant des definitions precises de ce qu’est une Base de Connaissances consistante, correcte, complete, CWA-complete et incomplete et en decrivant les principales approches possibles. La Base de Connaissances est supposee etre un ensemble de formules logiques et les definitions sont donnees en utilisant les notions de modeles d’une theorie logique. Les idees de base de SHERLOCK et les principaux choix de l’implementation sont decrits. SHERLOCK est ensuite compare avec les travaux qui lui sont proches et en particulier avec ATMS. SHERLOCK est un ecrit en lelisp, tourne sur Vax et est issu du moteur d’inference TANGO." @default.
• W1815092977 created "2016-06-24" @default.
• W1815092977 creator A5040942084 @default.
• W1815092977 date "1986-01-01" @default.
• W1815092977 modified "2023-09-27" @default.
• W1815092977 title "Informations incomplètes et contraintes d'intégrité : le moteur d'inférences sherlock" @default.
• W1815092977 hasPublicationYear "1986" @default.
• W1815092977 type Work @default.
• W1815092977 sameAs 1815092977 @default.
• W1815092977 citedByCount "0" @default.
• W1815092977 crossrefType "dissertation" @default.
• W1815092977 hasAuthorship W1815092977A5040942084 @default.
• W1815092977 hasConcept C138885662 @default.
• W1815092977 hasConcept C15708023 @default.
• W1815092977 hasConceptScore W1815092977C138885662 @default.
• W1815092977 hasConceptScore W1815092977C15708023 @default.
• W1815092977 hasLocation W18150929771 @default.
• W1815092977 hasOpenAccess W1815092977 @default.
• W1815092977 hasPrimaryLocation W18150929771 @default.
• W1815092977 isParatext "false" @default.
• W1815092977 isRetracted "false" @default.
• W1815092977 magId "1815092977" @default.
• W1815092977 workType "dissertation" @default.