Matches in SemOpenAlex for { <https://semopenalex.org/work/W2292743456> ?p ?o ?g. }
Showing items 1 to 29 of
29
with 100 items per page.
- W2292743456 abstract "Dans le domaine des jeux videos par exemple, surtout des jeux de roles, les personnages virtuels percoivent un environnement, en tirent des connaissances puis effectuent des actions selon leur besoin. De meme en robotique, un robot percoit son environnement a l'aide de capteurs/cameras, etablit une base de connaissances et effectuent des mouvements etc. La description des comportements de ces agents virtuels et leurs raisonnements peut s'effectuer a l'aide d'un langage logique. Dans cette these, on se propose de modeliser les trois aspects ''voir'', ''savoir'' et ''faire'' et leurs interactions a l'aide de la logique modale. Dans une premiere partie, on modelise des agents dans un espace geometrique puis on definit une relation epistemique qui tient compte des positions et du regard des agents. Dans une seconde partie, on revisite la logique des actions ''STIT'' (see-to-it-that ou ''faire en sorte que'') qui permet de faire la difference entre les principes ''de re'' et ''de dicto'', contrairement a d'autres logiques modales des actions. Dans une troisieme partie, on s'interesse a modeliser quelques aspects de la theorie des jeux dans une variante de la logique ''STIT'' ainsi que des emotions contre-factuelles comme le regret. Tout au long de cette these, on s'efforcera de s'interesser aux aspects logiques comme les completudes des axiomatisations et la complexite du probleme de satisfiabilite d'une formule logique. L'integration des trois concepts ''voir'', ''savoir'' et ''faire'' dans une et une seule logique est evoquee en conclusion et reste une question ouverte." @default.
- W2292743456 created "2016-06-24" @default.
- W2292743456 creator A5064915259 @default.
- W2292743456 date "2010-12-01" @default.
- W2292743456 modified "2023-09-25" @default.
- W2292743456 title "Voir, savoir, faire : une étude de cas en logique modale" @default.
- W2292743456 cites W126431515 @default.
- W2292743456 cites W1570100281 @default.
- W2292743456 cites W1967137657 @default.
- W2292743456 cites W1986397748 @default.
- W2292743456 cites W2054071520 @default.
- W2292743456 cites W2118268563 @default.
- W2292743456 hasPublicationYear "2010" @default.
- W2292743456 type Work @default.
- W2292743456 sameAs 2292743456 @default.
- W2292743456 citedByCount "0" @default.
- W2292743456 crossrefType "dissertation" @default.
- W2292743456 hasAuthorship W2292743456A5064915259 @default.
- W2292743456 hasConcept C138885662 @default.
- W2292743456 hasConcept C15708023 @default.
- W2292743456 hasConceptScore W2292743456C138885662 @default.
- W2292743456 hasConceptScore W2292743456C15708023 @default.
- W2292743456 hasLocation W22927434561 @default.
- W2292743456 hasOpenAccess W2292743456 @default.
- W2292743456 hasPrimaryLocation W22927434561 @default.
- W2292743456 isParatext "false" @default.
- W2292743456 isRetracted "false" @default.
- W2292743456 magId "2292743456" @default.
- W2292743456 workType "dissertation" @default.