ILLC-LIRa August 2024

illc-lira@list.uva.nl

1 participants
3 discussions

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

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa August 2024