ILLC-LIRa

illc-lira@list.uva.nl

1 participants
582 discussions

LIRa session: Caleb Schultz Kisby (tomorrow, Thursday, 5 September 16:30)
by LIRa Seminar 04 Sep '24

04 Sep '24

Dear all, We will have our next LIRa session tomorrow, on Thursday, 5 September 16:30. To attend online, please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723) You can find the details of the talk below. Speaker: Caleb Schultz Kisby (Indiana University, Bloomington) Date and Time: Thursday, September 5th 2024, 16:30-18:00 Venue: online Title: The Modeling Power of Neural Networks Abstract. Neural networks are very good at learning without human guidance, yet they're also known for making blunders that seem silly from the point of view of logic. (And this situation hasn't changed, despite modern neural network systems like GPT-4). This is a long-standing problem in artificial intelligence: How can we better understand and control neural networks using logic? In response, there have been countless proposals for "neuro-symbolic" systems that incorporate logic into neural networks, or vice versa. In this talk I will present one such proposal that is close to the hearts of modal and epistemic logicians: Treat (binary) neural networks as a class of models in modal logic by (1) adding a valuation of propositions (as sets of neurons), and (2) interpreting ◇φ as the forward propagation (or diffusion) of input φ through the net. We can then do "business as usual," using neural networks as our models. To cement this idea, I will compare the modeling power of neural networks with other classes of models, in particular: relational, plausibility, neighborhood, and social network models. If time permits, I will mention recent work in which we "dynamify" this logic, in the spirit of modeling neural network update and learning. This talk is based on joint work (in progress) with Saúl Blanco and Larry Moss. Our work on the dynamics of neural network update appears in AAAI 2024 and FLAIRS 2022. Hope to see you there! The LIRa team

1 0

LIRa session: Caleb Schultz Kisby (Thursday, 5 September 16:30)
by LIRa Seminar 30 Aug '24

30 Aug '24

Dear all, Happy new academic year, everyone! We start the LIRa sessions for this semester on Thursday, 5 September 16:30. To attend online, please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723) You can find the details of the talk below. Speaker: Caleb Schultz Kisby (Indiana University, Bloomington) Date and Time: Thursday, September 5th 2024, 16:30-18:00 Venue: online Title: The Modeling Power of Neural Networks Abstract. Neural networks are very good at learning without human guidance, yet they're also known for making blunders that seem silly from the point of view of logic. (And this situation hasn't changed, despite modern neural network systems like GPT-4). This is a long-standing problem in artificial intelligence: How can we better understand and control neural networks using logic? In response, there have been countless proposals for "neuro-symbolic" systems that incorporate logic into neural networks, or vice versa. In this talk I will present one such proposal that is close to the hearts of modal and epistemic logicians: Treat (binary) neural networks as a class of models in modal logic by (1) adding a valuation of propositions (as sets of neurons), and (2) interpreting ◇φ as the forward propagation (or diffusion) of input φ through the net. We can then do "business as usual," using neural networks as our models. To cement this idea, I will compare the modeling power of neural networks with other classes of models, in particular: relational, plausibility, neighborhood, and social network models. If time permits, I will mention recent work in which we "dynamify" this logic, in the spirit of modeling neural network update and learning. This talk is based on joint work (in progress) with Saúl Blanco and Larry Moss. Our work on the dynamics of neural network update appears in AAAI 2024 and FLAIRS 2022. Hope to see you there! The LIRa team

1 0

LIRa-related CfP: 7th Asian Workshop on Philosophical Logic (Submission deadline: 15 September, 2024)
by LIRa Seminar 20 Aug '24

20 Aug '24

Dear all, We would like to draw your attention to the CfP below. kind regards, the LIRa team ===================================================== 7th Asian Workshop on Philosophical Logic 6-8 February, 2025 Department of Philosophy, Jadavpur University, Kolkata, India https://sites.google.com/view/awpl2025/ ===================================================== [CALL FOR PAPERS: EXTENSION OF DEADLINE] The 7th Asian Workshop on Philosophical Logic will be held on 6-8 February 2025 at the Department of Philosophy, Jadavpur University, Kolkata, India. Association for Logic in India (ALI [1]) will be a co-organizer for this workshop. The Asian Workshop on Philosophical Logic (AWPL [2]) is a series of events initiated by a group of Asian logicians. Its first instalment took place at JAIST in Japan in 2012. The workshop's primary goal is to promote awareness, understanding, and collaboration among researchers in philosophical logic and related fields. It emphasises the interaction between philosophical ideas and formal theories. AWPL 2025 will happen just after ICLA 2025 [3], which would be held at Indian Statistical Institute, Kolkata, India, during February 3-5, 2025. *Topics of interest include* (but are not restricted to): Algebraic logic; Chinese logic; Constructive logic; Decision Theory; Formal epistemology; Game Theory; Greek logic; Indian logic; Inductive logic; Logics of belief change; Logics of conditionals; Modal, temporal, epistemic and deontic logics; Nonmonotonic logics; Relevance and other non-classical logics; Philosophy of language; Philosophy of mathematics; Philosophy of Science; Proof Systems, Quantum logic; Vagueness; *as well as their applications in:* Artificial Intelligence, Cognitive Science; Computer Science; Law; Linguistics; Mathematics; Social Sciences. [1] https://logicindia.org/ [2] http://awpl.org/Workshops.html [3] https://logicindia.org/icla/icla2025 [IMPORTANT DATES] Submission deadline: 15 September, 2024 Notification of acceptance: 20 October, 2024 Workshop dates: 6-8 February, 2025 [SUBMISSION] All submissions should present original works that have not been previously published. Submissions should be written in English and follow the LNCS template [4]. Please prepare your submission as a PDF file with a maximum of 12 pages, including the reference list, appendixes, acknowledgements, etc. Submissions should be sent electronically via EasyChair [5] by the corresponding author within the specified deadline. It is expected that at least one of the authors will attend the workshop and present the accepted work. After the workshop, selected submissions will be invited to revise and resubmit for the post-conference proceedings, which will be published in the "Logic in Asia" [6] series. [4] https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu… [5] https://easychair.org/conferences/?conf=awpl2025 [6] http://www.springer.com/series/13080?detailsPage=titles [INVITED SPEAKERS] Bahareh Afshari (University of Gothenburg) Andreas Herzig (IRIT Toulouse) Fenrong Liu (Tsinghua University) Katsuhiko Sano (Hokkaido University) We will also have a distinguished lecture by: Johan van Benthem (Amsterdam, Stanford and Tsinghua) [STEERING COMMITTEE] Phan Minh Dung (Asian Institute of Technology, Bangkok) Hu Liu (Sun Yat-sen University, Guangzhou) Beishui Liao (Zhejiang University, Hangzhou) Fenrong Liu (Tsinghua University, Beijing) Hiroakira Ono (Japan Advanced Institute of Science and Technology, Ishikawa) R. Ramanujam (Azim Premji University, Bengaluru) Hsing-chien Tsai (National Chung Cheng University, Chiayi) [PROGRAM COMMITTEE] Rupa Bandyopadhyay (Jadavpur University) Mihir Chakraborty (Jadavpur University) Amita Chatterjee (Jadavpur University) Madhumita Chattopadhyay (Jadavpur University) Sujata Ghosh (Indian Statistical Institute) (Co-Chair) Purbita Jana (Madras School of Economics) Kohei Kishida (University of Illinois, Urbana-Champaign) Serafina Lapenta (University of Salerno) Dazhu Li (University of Chinese Academy of Sciences) Yanjun Li (Nankai University) Fei Liang (Shandong University) Abhishek Anant Nowbagh (Jadavpur University) (Co-Chair) Hitoshi Omori (Tohoku University) R.Ramanujam (Azim Premji University) Abhisekh Sankaran (Tata Consultancy Services Research) Manidipa Sanyal (University of Calcutta) Chenwei Shi (Tsinghua University) Sonja Smets (University of Amsterdam) Shawn Standefer (National Taiwan University) Sourav Tarafder (St. Xavier's College) Yanjing Wang (Peking University) Yì Nicholas Wáng (Sun Yat-sen University) Tomoyuki Yamada (Hokkaido University) Fan Yang (Utrecht University) [LOCAL ORGANIZING COMMITTEE] Gopinath Mondal (Jadavpur University, Kolkata) Samar Kumar Mondal (Jadavpur University, Kolkata) Tamoghna Sarkar (Jadavpur University, Kolkata) Mainak Pal (Jadavpur University, Kolkata) Sunirmal Das (Jadavpur University, Kolkata) [CONTACT] awpl2025ju(a)gmail.com

1 0

Joint NihiL/LIRa session: Yanjing Wang (Thursday, 15 August 11:00)
by LIRa Seminar 08 Aug '24

08 Aug '24

Dear all, We will have our next LIRa session on Thursday, 15 August 11:00. To attend online, please use the zoom link below. This will be a special joint session with the NihiL seminar. Please note that the speaker will be on location, and note the irregular time of the day. Speaker: Yanjing Wang (Peking University) Date and Time: Thursday, August 15th 2024, 11:00-12:30 Onsite venue: ILLC seminar room F1.15 in Science Park 107 Online: https://uva-live.zoom.us/j/87618965843 Title: Point-set Neighborhood Logic Abstract. In this paper, we propose Point-set Neighborhood Logic (PSNL) to reason about neighborhood structures. The bimodal language of PSNL is defined via a mutual induction of point-formulas and set-formulas. We show that this simple language is equally expressive as the language of Instantial Neighborhood Logic (INL) proposed by van Benthem et al. (2017). As the main results, we first give two complete proof systems, one in Hilbert-style and one in Gentzen sequent-style, each featuring two intertwined K-like systems. The proof of strong completeness of the Hilbert-style system is based on a direct canonical model construction without relying on a normal form. Based on the sequent calculus, we establish constructively the uniform interpolation property of PSNL, from which that of INL follows. (Joint work with Junhua Yu) Hope to see you there! The LIRa team

1 0

Recommended events: Bernhard Nebel (Today, 15:00), and Yuri Gurevich at FOAM and Larry Moss at VvL Logic at Large (Monday, 17 June 14:30-17:00)
by LIRa Seminar 14 Jun '24

14 Jun '24

Dear all, The LIRa seminar has finished for this academic year, but we would like to draw your attention to the following events today and Monday. First, today (14 June) in the FOAM seminar in Lab42 room L3.33: - 15:00 Bernhard Nebel *On the Computational Complexity of Multi-Agent Pathfinding on Directed Graphs* https://events.illc.uva.nl/FOAM/posts/talk15/ Second, there will be a special double talk by FOAM and VvL on Monday June 17 in Lab42 room L3.36. The first talk will be on location, the second will be online but shown on the big screen for watching it together. - 14:30: Yuri Gurevich: *Logic and AI (and Mathematics)* More details: https://events.illc.uva.nl/FOAM/posts/talk15b/ - 16:00: Larry Moss: *Place for Logic in the Computer Processing of Language* https://verenigingvoorlogica.nl/nl/Activiteiten/VvL-Logic-at-Large-Lectures/ Both are in the same room (Lab42, Room 3.36) and there will be drinks and snacks. Hope to see many of you there!

1 0

VvL Logic at Large Lecture 2024: Larry Moss (Monday, 17 June 16:00, online)
by LIRa Seminar 10 Jun '24

10 Jun '24

Dear all, The LIRa seminar has finished for this academic year, but we would like to draw your attention to the following event next week. The Dutch Association for Logic and Philosophy of the Exact Sciences (VvL) is happy to announce the Logic at Large Lecture 2024. The Logic at Large Lectures are an annual, public VvL event for a broad audience, featuring prominent researchers in logic and its applications. The details for this year's edition are as follows. June 17, 2024, 16:00 CEST, online (Zoom) Larry Moss (Mathematics Department, Indiana University, Bloomington): A Place for Logic in the Computer Processing of Language Starting in 2018, computers have been able to carry out some tasks at human level (or better), tasks which are traditionally thought of as 'logical'. These include the central task of logic: knowing 'what follows from what', when everything is presented in natural language. We therefore at a watershed moment in the history of logic. However, the computational systems -- neural net learners -- do not use logic in any evident manner. Of course logic is involved in computer science at many levels, but the particular programs involved in inference are much more like the ones that memorize patterns and classify objects. They do not use explicit symbolic reasoning of the kind logicians love. Addressed to a general audience rather than to specialists, this talk is concerned with attempts by several groups of researchers to do reasoning in language on the computer, and to probe the deep learners to see how much they really can do, and to create hybrid symbolic/neural reasoning systems. Please register through https://forms.gle/uUEFyAisxoxSZfnM8. We will distribute a Zoom link shortly before the event. Organizers: Dominik Klein (d.klein(a)uu.nl) and Fan Yang (f.yang(a)uu.nl)

1 0

LIRa Session: Adam Bjorndahl (tomorrow, Thursday, 30 May 16:30)
by LIRa Seminar 29 May '24

29 May '24

Dear all, We will have our next LIRa session tomorrow, on Thursday, 30 May 16:30. To attend online, please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723) You can find the details of the talk below. Speaker: Adam Bjorndahl (Carnegie Mellon University) Date and Time: Thursday, 30th May, 2024, 16:30-18:00 Venue: ILLC seminar room F1.15 in Science Park 107 and online. Title: Belief and Causation Abstract: We develop a formal framework for reasoning simultaneously about belief and causation. There is a long and rich history of mathematical models for these concepts, yet no work we are aware of that fully integrates the two. The combined model we propose is of interest from at least two perspectives. First, it allows us to represent beliefs about causal structure — for example, an agent who believes (perhaps falsely) that raising interest rates will cause inflation to cool. Second, it allows us to encode potential causal relationships involving beliefs — for example, an agent whose belief that it rained last night is a causal consequence of their lawn being wet. Notably, we can also capture potential causal relationships between beliefs — for instance, an agent whose belief in p is a causal consequence of their belief in q. This framework therefore allows us to deploy the machinery of causal models to implement a kind of belief revision, such as an agent who learns q thereby coming to believe p, where "learns q" in this context takes the form of a (causal) intervention setting the "variable" Bq to true. This is joint work(-in-progress) with Joseph Halpern. Hope to see you there! The LIRa team

1 0

LIRa Session: Adam Bjorndahl (Thursday, 30 May 16:30)
by LIRa Seminar 24 May '24

24 May '24

Dear all, We will have our next LIRa session on Thursday, 30 May 16:30. To attend online, please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723) You can find the details of the talk below. Speaker: Adam Bjorndahl (Carnegie Mellon University) Date and Time: Thursday, 30th May, 2024, 16:30-18:00 Venue: ILLC seminar room F1.15 in Science Park 107 and online. Title: Belief and Causation Abstract: We develop a formal framework for reasoning simultaneously about belief and causation. There is a long and rich history of mathematical models for these concepts, yet no work we are aware of that fully integrates the two. The combined model we propose is of interest from at least two perspectives. First, it allows us to represent beliefs about causal structure — for example, an agent who believes (perhaps falsely) that raising interest rates will cause inflation to cool. Second, it allows us to encode potential causal relationships involving beliefs — for example, an agent whose belief that it rained last night is a causal consequence of their lawn being wet. Notably, we can also capture potential causal relationships between beliefs — for instance, an agent whose belief in p is a causal consequence of their belief in q. This framework therefore allows us to deploy the machinery of causal models to implement a kind of belief revision, such as an agent who learns q thereby coming to believe p, where "learns q" in this context takes the form of a (causal) intervention setting the "variable" Bq to true. This is joint work(-in-progress) with Joseph Halpern. Hope to see you there! The LIRa team

1 0

LIRa session: Francisca Silva (tomorrow, Thursday, 16 May 16:30, online ONLY)
by LIRa Seminar 15 May '24

15 May '24

Dear all, We will have our next LIRa session tomorrow, on Thursday, 16 May 16:30. This session will be only online, not on location. To attend, please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723) You can find the details of the talk below. Speaker: Francisca Silva (University of St Andrews) Date and Time: Thursday, May 16th 2024, 16:30-18:00 Venue: online only Title: Epistemic Logic with Partial Grasp Abstract. In this talk I'll argue that we have to gain in recognizing in our epistemic logics with subject matters a relation between agents and the parts of subject matters that play a role in agents' cognitive lives. I call this relation "grasping". I zone in on one notion of having a partial grasp of a subject matter -- that of agents grasping part of the subject matter that they are attending to -- and characterize it. I propose that giving up the idealization that we fully grasp the subject matters we attend to allows one to more realistically characterize the epistemic life of agents. To show this, I propose an epistemic logic with partial grasp that has in mind considerations from extensions of subject matter theory to the first-order case with the aim of avoiding certain forms of logical omniscience, and which provides an alternative to immanent closure (Yablo, 2014). Hope to see you there! The LIRa team

1 0

LIRa session: Francisca Silva (Thursday, 16 May 16:30)
by LIRa Seminar 10 May '24

10 May '24

Dear all, We will have our next LIRa session on Thursday, 16 May 16:30. To attend online, please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723) You can find the details of the talk below. Speaker: Francisca Silva (University of St Andrews) Date and Time: Thursday, May 16th 2024, 16:30-18:00 Venue: online only Title and abstract are not available yet - we will provide as soon as possible. Hope to see you there! The LIRa team

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa