{"id":1214,"date":"2011-12-21T16:32:52","date_gmt":"2011-12-21T16:32:52","guid":{"rendered":"http:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=1214"},"modified":"2012-01-15T11:57:30","modified_gmt":"2012-01-15T11:57:30","slug":"special-session-on-logic-and-learning-theory-on-january-12","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2011\/12\/special-session-on-logic-and-learning-theory-on-january-12\/","title":{"rendered":"Special Session on Logic and Learning Theory on January 12"},"content":{"rendered":"

Thursday January 12<\/strong> we will have a special session on Logic and Learning Theory<\/strong><\/em> with the following program:<\/p>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
10:00 – 10:15<\/td>\n\n
Coffee<\/div>\n<\/td>\n
<\/td>\n<\/tr>\n
10:15 – 11:00<\/td>\nJohan van Benthem<\/a> (Amsterdam & Stanford)<\/td>\nLearning Theory Meets Temporal Logics of Agency<\/strong>. <\/p>\n
The semantic arena of learning theory is shared with many<\/em><\/div>\n
systems of epistemic and doxastic temporal logic. I will look<\/em><\/div>\n
at some logical aspects of this encounter, making reference<\/em><\/div>\n
to work by Degremont, Gierasimczuk, Hendricks, and Kelly.<\/em><\/div>\n<\/td>\n<\/tr>\n
11:00 – 11:45<\/td>\nJan van Eijck<\/a> (Amsterdam)<\/td>\nProbabilistic Epistemic Logic and Concept Learning<\/strong><\/p>\n

(joint work with Shalom Lappin)<\/td>\n<\/tr>\n

11:45 – 13:15<\/td>\nLunch<\/td>\n<\/td>\n<\/tr>\n
13:15 – 14:15<\/td>\n\nA Learning-theoretic Derivation of Ockham’s Razor.<\/strong> Formal learning theory studies methods that converge to the truth and, more importantly, the complexity-theoretic necessary and sufficient conditions under which convergence to the truth is possible.\u00a0 One standard objection to convergence to the truth as a foundation for the philosophy of science is that it imposes no constraints whatever on what a scientist should say in the short run.\u00a0 For consider any method that converges to the truth.\u00a0 Modify it in any arbitrary way up to stage one billion, and the resulting method also converges to the truth.\u00a0 Therefore, it is now thought that stronger assumptions, such as Bayesian updating, are required to explain scientific method.\u00a0 One crucial feature of scientific method is a systematic bias toward simpler theories.\u00a0 Bayesians account for that bias in terms of low-information prior probabilities.\u00a0 But that explanation is subtly circular—it does not assume that simpler theoriees are more probable, but it does essentially involve the assumption that simpler possibilities are more probable.\u00a0\u00a0 Any satisfactory explanation of Ockham’s razor must avoid circular appeal to prior simplicity biases.\u00a0 I will argue that formal learning theory can provide such an explanation if convergent inductive methods are required, in addition, to be as deductive as any convergent solution to a given theory choice problem can possibly be.\u00a0 Optimal deductiveness is explicated in terms of two familiar features of deductive inference:\u00a0 monotonicity (refusal to retract earlier conclusions) and patience (refusal to decide matters that future information is guaranteed to decide).\u00a0\u00a0 The proposed explanation requires some careful attention to the topological structure of empirical simplicity.<\/em><\/td>\n<\/tr>\n
14:15 – 14:50<\/td>\nNina \ufeff\ufeffGierasimczuk<\/a> (Amsterdam)<\/td>\nLearning-theoretical analysis of iterated belief revision. <\/strong> <\/p>\n
In this talk we propose a way to use the framework of learning theory to evaluate belief-revision policies. On the inductive inference side, we are interested in the paradigm of language learning. As possible concepts that are inferred we take sets of atomic propositions. Therefore, receiving new data corresponds to getting to know about facts. On the side of belief revision we follow the lines of dynamic epistemic logic (see van Benthem, 2007). Hence, we interpret current beliefs of the agent (hypothesis) as the content of those possible worlds that he considers most plausible. The revision does not only result in the change of the current hypothesis, but can also induce modification of the agent\u2019s plausibility order. We are mainly concerned with identifiability in the limit (Gold, 1967). <\/em><\/div>\n
The results that are obtained in this approach concern mostly the conditions for\u00a0universality of a belief revision policy (i.e., for a belief revision method being as powerful as full identification in the limit). This leads to identifying factors that influence the (non-) universality of a belief-revision policy: the prior conditions for belief revision (e.g., standard belief-revision models); type of incoming information (e.g., entirely truthful as opposed to partially erroneous); properties of belief-revision-based learning functions (e.g., conservatism). Overall, our results can be interpreted as showing that applying certain types of belief revision rules in certain contexts can be analyzed in terms of whether they can be relied upon in the \u2018quest for the truth\u2019 (the analysis of inductive inference in terms of reliability has been for the first time provided by Kelly, 1996). In our framework we can naturally treat the procedural aspect of iterated belief revision, address some intermediate stages of such iterations and relate them to the ultimate success of a belief-revision policy. <\/em><\/div>\n
The results presented in this talk come from a joint work with Alexandru Baltag and Sonja Smets (Baltag et al. 2011). <\/em><\/div>\n

References:<\/em><\/p>\n

Baltag, A., Gierasimczuk, N., Smets, S.,\u00a0Belief Revision as a Truth-Tracking Process, in: Krzysztof R. Apt (Ed.): Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), ACM 2011.<\/em>
\nvan Benthem, J. (2007). Dynamic logic for belief revision. Journal of Applied Non-Classical Logics, 2:129\u2013155.<\/em>
\nGold, E. (1967). Language identification in the limit. Information and Control, 10:447\u2013474. <\/em><\/div>\n
Kelly, K. (1996). The Logic of Reliable Inquiry. Oxford University Press, Oxford.<\/em><\/div>\n<\/td>\n<\/tr>\n
14:50 – 15:25<\/td>\nSonja Smets<\/a> (Amsterdam)<\/td>\nThe Landscape of Epistemic Topology: shapes and types of “knowing”, “learning” and “answering” a question.<\/strong><\/td>\n<\/tr>\n
15:25 – 16:00<\/td>\nAlexandru Baltag<\/a> (Amsterdam)<\/td>\nThe Truth-Tracking Power and the Limits of (Bayesian and Qualitative) Conditioning.<\/strong><\/td>\n<\/tr>\n<\/tbody>\n
16:00 – 16:15<\/td>\nCoffee Break<\/td>\n<\/td>\n<\/tr>\n<\/tbody>\n
16:15 – 17:00<\/td>\nPeter Grunwald<\/a> (Amsterdam & Leiden)<\/td>\nGeneralization to Unseen Cases: Good-Turing provides a free lunch, if you’re lucky<\/strong>. We analyze the generalization error of learning algorithms on unseen cases, i.e. data that are strictly different from those in the training set. This off-training-set error may differ significantly from the standard generalization error. We derive a data-dependent bound on the difference between the two notions. Our result is based on extending the missing mass estimator developed by Jack Good and Alan Turing during WW II. \u00a0In light of these results, we argue that certain claims made in the No Free Lunch literature (‘no learning algorithm is inherently superior over any other’) are overly pessimistic. <\/em>Based on joint work with T. Roos, P. Myllymaki and H. Tirri.<\/em><\/td>\n<\/tr>\n<\/tbody>\n
17:00 – 18:00<\/td>\nDiscussion<\/td>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

The session will take place in room\u00a0F1.02<\/strong> from Science Park 904<\/strong>.<\/p>\n","protected":false},"excerpt":{"rendered":"

Thursday January 12 we will have a special session on Logic and Learning Theory with the following program:<\/p>\n

10:00 – 10:15<\/p>\n

Coffee<\/p>\n

10:15 – 11:00
\nJohan van Benthem (Amsterdam & Stanford)
\nLearning Theory Meets Temporal Logics of Agency. 
\nThe semantic arena of learning theory is shared with many
\nsystems of epistemic and doxastic temporal logic. I will look
\nat some logical aspects of […]<\/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-1214","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\/1214","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=1214"}],"version-history":[{"count":14,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1214\/revisions"}],"predecessor-version":[{"id":1219,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1214\/revisions\/1219"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=1214"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=1214"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=1214"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}