{"id":2050,"date":"2013-09-18T19:01:01","date_gmt":"2013-09-18T19:01:01","guid":{"rendered":"http:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=2050"},"modified":"2013-09-22T12:14:22","modified_gmt":"2013-09-22T12:14:22","slug":"lira-session-rasmus-rendsvig","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2013\/09\/lira-session-rasmus-rendsvig\/","title":{"rendered":"LogiCIC\/LIRa Session: Rasmus Rendsvig"},"content":{"rendered":"<p>On Thursday,\u00a0September 26,<strong> <\/strong>we will have a joint LogiCIC\/LIRa session with\u00a0<strong>Rasmus Rendsvig<\/strong>.<\/p>\n<p>Everyone is cordially invited!<\/p>\n<div>\n<p>Speaker:\u00a0<strong>Rasmus Rendsvig <\/strong>(University of Amsterdam)<br \/>\nTitle:\u00a0<strong style=\"font-style: italic;\">DEL-based state machines and their application in modeling group reasoning and choice<br \/>\n<\/strong>Date and Time: Thursday, September 26, 2013,\u00a0<strong>15:30-17:30<br \/>\n<\/strong>Venue: Science Park 107, Room\u00a0<strong>F1.15<br \/>\n<\/strong><br \/>\nAbstract:<br \/>\nThe talk will be comprised of two parts.<\/p>\n<p>In part I, a notion of DEL-based state machines will be introduced and situated. The key notion is that of &#8220;transition rules&#8221;. A set of transition rules picks a next transition (update) as a function of the formulas satisfied at a given state, hereby specifying the subsequent state(s). Hence defining a DEL-based state machine is not done by directly providing a state transition function from states to states, but rather by specifying a set of rules triggered by local features. It will be shown how DEL-based transition systems may mimic traditional types of state machines (finite\/infinite, deterministic\/indeterministic), and their &#8220;tree generation power&#8221; is compared to the protocol-based approach known from the DEL literature.<\/p>\n<p>In part II, it will be shown how transition rules as &#8220;knowledge-based programs&#8221; may be used to define agent types. In this part of the talk, we will move to a specific DEL setting using epistemic plausibility models and action plausibility models with postconditions. Using this setting, it will be shown how DEL-based state machines may be used to define completely specified models of agent reasoning and choice. This is exemplified by a DEL-based state machine that captures the reasoning and choices occuring in an informational cascade-prone environment. As the state machine is formally fully specified, the construction allows for rigid proofs pertaining to informational cascade dynamics.<\/p>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>On Thursday,\u00a0September 26, we will have a joint LogiCIC\/LIRa session with\u00a0Rasmus Rendsvig.<br \/>\nEveryone is cordially invited!<\/p>\n<p>Speaker:\u00a0Rasmus Rendsvig (University of Amsterdam)<br \/>\nTitle:\u00a0DEL-based state machines and their application in modeling group reasoning and choice<br \/>\nDate and Time: Thursday, September 26, 2013,\u00a015:30-17:30<br \/>\nVenue: Science Park 107, Room\u00a0F1.15<\/p>\n<p>Abstract:<br \/>\nThe talk will be comprised of two parts.<br \/>\nIn part I, a notion of DEL-based state machines [&#8230;]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-2050","post","type-post","status-publish","format-standard","hentry","category-events"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/2050","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=2050"}],"version-history":[{"count":10,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/2050\/revisions"}],"predecessor-version":[{"id":2054,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/2050\/revisions\/2054"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=2050"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=2050"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=2050"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}