Matches in SemOpenAlex for { <https://semopenalex.org/work/W943988> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W943988 abstract "The work presented in this thesis is a multidisciplinary study of the notion of agency. We build new formal approaches starting on the literature of agency in philosophy of action, game theory or computer science. Belnap and Perloff's STIT theory is our frame of experimentation. This is a logic that stems from philosophy of action based on the observation that an action can be identi_ed with what it brings about. In this tradition, the sentence. Ishmael sails on board the Pequod. Will be paraphrased by. Ishmael sees to it that Ishmael sails on board the Pequod. . Our first contribution is to simplify the axiomatics of a version of the logic restrained to individual agency and without temporal aspects. This allows us to simplify the semantics of STIT as well as to discover a link with product logics. We establish the NEXPTIME-completeness of the problem of satisfiability. We capitalize on the simplifications and extend the axiomatization to coalitional actions. We show that we can embed Coalition Logic in the resulting logic. We also provide an epistemic extension and use it to tackle the problem of epistemically uniform strategies. Then we study further the temporal aspects of agency. We first do it by way of a logic combining STIT with a dynamic logic providing actions with duration, that can be deliberatively continued or aborted along time. We then give an embedding of Alternating-time Temporal Logic in a slightly adapted strategic STIT logic. Having developed a neat understanding of relevant structures of agency, we propose a fine-grained ontology of action and agency." @default.
- W943988 created "2016-06-24" @default.
- W943988 creator A5011445220 @default.
- W943988 date "2007-01-01" @default.
- W943988 modified "2023-10-17" @default.
- W943988 title "Independent agents in branching time : towards a unified framework for reasoning about multiagent systems" @default.
- W943988 hasPublicationYear "2007" @default.
- W943988 type Work @default.
- W943988 sameAs 943988 @default.
- W943988 citedByCount "0" @default.
- W943988 crossrefType "dissertation" @default.
- W943988 hasAuthorship W943988A5011445220 @default.
- W943988 hasConcept C102993220 @default.
- W943988 hasConcept C107247716 @default.
- W943988 hasConcept C108170787 @default.
- W943988 hasConcept C111472728 @default.
- W943988 hasConcept C119599485 @default.
- W943988 hasConcept C121332964 @default.
- W943988 hasConcept C127413603 @default.
- W943988 hasConcept C138885662 @default.
- W943988 hasConcept C154945302 @default.
- W943988 hasConcept C165801399 @default.
- W943988 hasConcept C172385210 @default.
- W943988 hasConcept C203659156 @default.
- W943988 hasConcept C22497172 @default.
- W943988 hasConcept C25016198 @default.
- W943988 hasConcept C2777796570 @default.
- W943988 hasConcept C2780791683 @default.
- W943988 hasConcept C41008148 @default.
- W943988 hasConcept C62520636 @default.
- W943988 hasConcept C80444323 @default.
- W943988 hasConceptScore W943988C102993220 @default.
- W943988 hasConceptScore W943988C107247716 @default.
- W943988 hasConceptScore W943988C108170787 @default.
- W943988 hasConceptScore W943988C111472728 @default.
- W943988 hasConceptScore W943988C119599485 @default.
- W943988 hasConceptScore W943988C121332964 @default.
- W943988 hasConceptScore W943988C127413603 @default.
- W943988 hasConceptScore W943988C138885662 @default.
- W943988 hasConceptScore W943988C154945302 @default.
- W943988 hasConceptScore W943988C165801399 @default.
- W943988 hasConceptScore W943988C172385210 @default.
- W943988 hasConceptScore W943988C203659156 @default.
- W943988 hasConceptScore W943988C22497172 @default.
- W943988 hasConceptScore W943988C25016198 @default.
- W943988 hasConceptScore W943988C2777796570 @default.
- W943988 hasConceptScore W943988C2780791683 @default.
- W943988 hasConceptScore W943988C41008148 @default.
- W943988 hasConceptScore W943988C62520636 @default.
- W943988 hasConceptScore W943988C80444323 @default.
- W943988 hasLocation W9439881 @default.
- W943988 hasOpenAccess W943988 @default.
- W943988 hasPrimaryLocation W9439881 @default.
- W943988 hasRelatedWork W1449423580 @default.
- W943988 hasRelatedWork W1496894800 @default.
- W943988 hasRelatedWork W1543882786 @default.
- W943988 hasRelatedWork W1795703366 @default.
- W943988 hasRelatedWork W2083346314 @default.
- W943988 hasRelatedWork W2101146515 @default.
- W943988 hasRelatedWork W2119122372 @default.
- W943988 hasRelatedWork W2155318727 @default.
- W943988 hasRelatedWork W2159131252 @default.
- W943988 hasRelatedWork W2292806267 @default.
- W943988 hasRelatedWork W2337976833 @default.
- W943988 hasRelatedWork W2478139583 @default.
- W943988 hasRelatedWork W2753238300 @default.
- W943988 hasRelatedWork W2773221344 @default.
- W943988 hasRelatedWork W2791125712 @default.
- W943988 hasRelatedWork W2808100995 @default.
- W943988 hasRelatedWork W3161692559 @default.
- W943988 hasRelatedWork W3174234376 @default.
- W943988 hasRelatedWork W3179794402 @default.
- W943988 hasRelatedWork W2181925321 @default.
- W943988 isParatext "false" @default.
- W943988 isRetracted "false" @default.
- W943988 magId "943988" @default.
- W943988 workType "dissertation" @default.