{"id":791,"date":"2011-01-10T10:11:11","date_gmt":"2011-01-10T10:11:11","guid":{"rendered":"http:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=791"},"modified":"2011-01-24T10:21:32","modified_gmt":"2011-01-24T10:21:32","slug":"special-session-on-substructural-logics-information-and-interaction","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2011\/01\/special-session-on-substructural-logics-information-and-interaction\/","title":{"rendered":"Special Session on Substructural logics, information and interaction"},"content":{"rendered":"

Monday 24 January<\/strong> we will have the first special session of the seminar in 2011. The general topic of discussion will be Substructural logics, information and interaction<\/em><\/strong>.<\/p>\n

The session will start at 14:00 hrs<\/strong>, and will take place in\u00a0 C0.23<\/a><\/strong> of OMHP<\/strong> (a map pf the location can be found here<\/a>).<\/span> The special session will have the following program:<\/p>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
<\/td>\n<\/tr>\n
14:00 – 14:40<\/td>\n<\/td>\n Daniele Porello<\/strong><\/td>\n<\/tr>\n
<\/td>\n<\/td>\n <\/em>(ILLC)<\/em><\/td>\n<\/tr>\n
<\/td>\n<\/td>\nModeling Resource Allocation in Linear Logic<\/td>\n<\/tr>\n
\n

In the last decades, resource allocations problems have been widely investigated also from a computational point of view both in the AI and the logic community. In this presentation, I will show how substructural logics, and linear logic in particular, provide a principled modeling of resources allocation problems, which can be classified according to the types of goods agents trade. I will present a classification of resource allocation problems with the corresponding logical language to encode preferences and we will see how dropping contraction, weakening or exchange affects the type of goods on which agents express their valuations.
\nIt is interesting to stress that, in this framework, the process of allocating goods to agents can be modeled by the notion of proof in some suitable fragments of linear logic.
\nThis presentation is based on two joint works with Ulle Endriss (KR 2010 and ECAI 2010).<\/p><\/blockquote>\n<\/td>\n<\/tr>\n

<\/td>\n<\/tr>\n
14:40 – 14:50<\/td>\n<\/td>\nQuestions and Discussion<\/td>\n<\/tr>\n
14:50 – 14:00<\/td>\n<\/td>\nCoffee Break<\/td>\n<\/tr>\n
\n
\n<\/td>\n<\/tr>\n
15:00 – 15:40<\/td>\n<\/td>\nSebastian Sequoiah-Grayson<\/strong> <\/strong><\/td>\n<\/tr>\n
<\/td>\n<\/td>\n(Groningen)<\/em><\/td>\n<\/tr>\n
<\/td>\n<\/td>\nModeling Epistemic Actions<\/td>\n<\/tr>\n
\n

Epistemic actions such as acts of deductive reasoning, communication,
\nand observation, saturate our rational lives. Such actions play the
\nepistemically crucial roles that they do due to the fact that we lack
\ncertain fantastic epistemic abilities – logical omniscience,
\nclairvoyance, and omniscience respectively. We will see how it is that
\nthat the limits of such actions correspond to various subsystem
\nthresholds of the database corresponding to the total universe of
\ninformation. The dynamic properties of the actions that facilitate
\nsuch convergence are modeled by various substructural logics. In
\ndetail, we will see how it is that the dynamic properties of deductive
\ninformation processing are modeled by the operational semantic frames
\ncorresponding to the categorical grammar marked by mobiles;
\nbracket-sensitive commuting structures.<\/p>\n

Keywords: epistemic actions, information, omniscience, operational
\nsemantics, categorical grammar.<\/p><\/blockquote>\n<\/td>\n<\/tr>\n

<\/td>\n<\/tr>\n
15:40 – 15:50<\/td>\n<\/td>\nQuestions and Discussion<\/td>\n<\/tr>\n
15:50 – 16:00<\/td>\n<\/td>\nCoffee break<\/td>\n<\/tr>\n
\n
\n<\/td>\n<\/tr>\n
16:00 – 16:40<\/td>\n<\/td>\nMichael Moortgat<\/strong><\/td>\n<\/tr>\n
<\/td>\n<\/td>\n <\/em> <\/em><\/strong><\/strong>(Utrecht)
\n<\/em><\/td>\n<\/tr>\n
<\/td>\n<\/td>\nSyntax and Semantics in Generalized Lambek Calculus<\/td>\n<\/tr>\n
\n
\n
\n
\n
The syntactic calculus, as proposed by Lambek in 1961, is a logic<\/div>\n
completely without structural rules: rules affecting multiplicity<\/div>\n
(contraction, weakening) or structure (commutativity, associativity) of<\/div>\n
the grammatical resources are not considered. Originally conceived with<\/div>\n
linguistics in mind, Lambek’s calculus (both the ’61 and the<\/div>\n
associative ’58 variant or its modern pregroup incarnation) have<\/div>\n
found many models outside linguistics: as the logic for composition of<\/div>\n
informational actions, for example, and in fields such as mathematical<\/div>\n
morphology or quantum physics.<\/div>\n
In terms of expressivity, Lambek’s calculi are strictly context-free.<\/div>\n
The context-free limitation makes itself felt in situations<\/div>\n
where syntactic and semantic composition seem to be out of sync:<\/div>\n
long distance dependencies in syntax, or the dynamics of scoping<\/div>\n
in semantics. Competing frameworks in the ‘mildly context-sensitive’<\/div>\n
family (TAG, MG, MCFG, etc) handle such phenomena gracefully.<\/div>\n
In the talk, I discuss the Lambek-Grishin calculus, a symmetric<\/div>\n
generalization of the syntactic calculus allowing multiple conclusions.<\/div>\n
I focus on two features that help resolve tensions at the syntax-semantics<\/div>\n
interface:<\/div>\n
-A continuation-passing-style interpretation, making contexts an<\/div>\n
explicit part of the composition process. As a result of the richer<\/div>\n
view on the mapping between syntax and semantics, the syntactic<\/div>\n
source calculus itself can be kept very simple.<\/div>\n
-Distributivity principles relating Lambek’s original type-forming<\/div>\n
operations and their duals. These principles characterize syntactic<\/div>\n
deformations under which interpretations are stable. They allow<\/div>\n
a quite natural treatment of patterns beyond CF.<\/div>\n
Background reading<\/div>\n
Moortgat 2009, Symmetric categorial grammar. J Philosophical Logic<\/div>\n
38 (6):681-710.<\/div>\n<\/div>\n<\/div>\n<\/blockquote>\n<\/td>\n<\/tr>\n
<\/td>\n<\/tr>\n
16:40 – 16:50<\/td>\n<\/td>\nQuestions and Discussion<\/td>\n<\/tr>\n
<\/td>\n<\/tr>\n
16:50 – 17:00<\/td>\n<\/td>\nGeneral Discussion<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n","protected":false},"excerpt":{"rendered":"

Monday 24 January we will have the first special session of the seminar in 2011. The general topic of discussion will be Substructural logics, information and interaction.
\nThe session will start at 14:00 hrs, and will take place in\u00a0 C0.23 of OMHP (a map pf the location can be found here). The special session will […]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-791","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\/791","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=791"}],"version-history":[{"count":12,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/791\/revisions"}],"predecessor-version":[{"id":795,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/791\/revisions\/795"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=791"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=791"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=791"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}