here<\/a>).<\/p>\nDate: Wednesday<\/strong>, October 17, 2012, 15:00–18:00<\/strong>
\nVenue: Science Park 904, Room A1.04<\/p>\nINFORMATION ABOUT THE FIRST TALK:
\nSpeaker: Daisuke Bekki<\/strong> (Ochanomizu University)
\nTitle: Dependent type semantics: the framework<\/strong>
\nAbstract:
\nThis talk introduces dependent type semantics, a new framework of natural language semantics based on dependent type theory. Main features of dependent type semantics are the following:
\n1) it is dynamic: it analyzes E-type\/donkey anaphora with well-formed representations.
\n2) it is proof-theoretic: entailments between the representations can be calculated without recourse to their models.
\n3) it is compositional: the semantic representations of sentences are derived from the lexicalized representations by a fixed number of combinatory rules.
\n4) it explains accessibility: accessibility\/inaccessibility of anaphora is reduced to the structural differences between proofs.
\nThese are achieved by a specific way of combining type theoretical approaches (cf. Ranta (1994)) and the continuation-based approaches (cf. de Groote (2006)) to dynamic binding. \u00a0From the perspective of dependent type semantics, the source of dynamics in natural language is the dependence on proofs of the preceding discourses.<\/p>\nINFORMATION ABOUT THE SECOND TALK:
\nSpeaker: Valentin Goranko<\/strong> (Technical University of Denmark)
\nTitle:\u00a0Modeling the Dynamics of Information and Abilities of Players inMulti-Player Games<\/strong>
\nAbstract:
\nI will discuss an early work towards a realistic treatment and\u00a0logical formalization of the abilities of players to achieve objectives in\u00a0multi-player games under incomplete, imperfect, or simply uncertain\u00a0information that they may have about the game and about the course of the\u00a0play. In this talk, after some motivating examples I will introduce a\u00a0modeling framework for capturing the interplay between the dynamics of\u00a0information and the dynamics of abilities of players. This framework takes\u00a0into account both the a priori information of players with respect to the\u00a0game structure and the empirical information that players develop over the\u00a0course of an actual play. It associate with them respective information\u00a0relations and notions of `a priori’ and `empirical’ strategies and\u00a0strategic abilities. The empirical information relations are updated in\u00a0the course of the play by a mechanism similar to the model update\u00a0mechanism applied in Dynamic Epistemic Logic (DEL). Lastly, I will\u00a0introduce a variation of the multi-agent logic ATL with incomplete\u00a0information to formalize the reasoning in this framework and will briefly\u00a0discuss the conceptual problem of model checking in that new logic under\u00a0different assumptions about the abilities of the players to observe,\u00a0remember, and reason.<\/p>\n","protected":false},"excerpt":{"rendered":"On October 17, we will have a long LogiCIC\/LIRa joint session with two talks by Valentin Goranko and Daisuke Bekki.
\nPlease note that the two talks will be on a WEDNESDAY at 15:00 and that this seminar session is separate from the LogiCIC tutorial which Valentin Goranko will teach on the same week (more info about […]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[14,4],"tags":[],"class_list":["post-1581","post","type-post","status-publish","format-standard","hentry","category-all","category-events"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1581","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=1581"}],"version-history":[{"count":20,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1581\/revisions"}],"predecessor-version":[{"id":1662,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1581\/revisions\/1662"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=1581"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=1581"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=1581"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}