2-6 September 2024

Logic for the AI Spring 2

Aims and scope

The first edition of the Logic for the Al Spring Summer School was held in 2022 and featured tutorials by Stephanie Dick, Alessandra Palmigiano, Josef Urban, and Mike Wooldridge.

Building on this success, the second edition, aims to bring together once again logicians and scientists working around and within the currently blossoming new Al Spring. The School revolves around the idea that logic, in addition to glorious past, has arguably a very bright future in shaping Al research and applications. Hence the School is designed to serve a twofold purpose: help early-stage researchers become aware of the logical heritage in AI, while giving them a basic training on the cutting edge logic-based AI research.

 

Tutorials

The second edition of the Logic for the new AI Spring will feature five tutorials

  • Neurosymbolic AI (Vaishak Belle, University of Edinburgh and Alan Turing Institute)
  • Logic-based reasoning for strategic abilities of socially Interacting rational agents (Valentin Goranko, Stockholm University)
  • History and Culture of Al (María Vanina  Martinez, Artificial Intelligence Research Institute IIIA-CSIC Barcelona)
  • Fairness: Perspectives from Computational Social Choice (Arianna Novaro, Université Paris 1 Panthéon-Sorbonne)
  • Logic Tensor Networks (Luciano Serafini, Fondazione Bruno Kessler, Bolzano)

 

Poster session

The Poster Session, to be held on the afternoon of Wednesday 4 September, will give participants an opportunity to receive feedback and advice from the School lecturers. The following is a (non exhaustive) list of topics in which we welcome poster submissions:

  • Knowledge representation and reasoning in Al
  • Logical methods in Al
  • Uncertainty and decision-making in Al
  • Computational social choice
  • Explainable Al
  • Human-compatible Al.

 

Special issue

We renewed our agreement with the international Journal of Approximate Reasoning for a Special lssue to follow up on the themes covered in the School

https://www.sciencedirect.com/journal/international-journal-of-approximate-reasoning/about/call-for-papers#logics-for-the-new-ai-spring-2

School participants are particularly encouraged to submit their original research to the SI (the usual refereeing procedure applies to guarantee the highest scientific standards).

 

Workshop

This edition of Logic for the New AI Spring will host a workshop on New perspectives on formal representations of cognitive attitudes organised by E. Kubyshkina and C. Larese.

The workshop, which will take place on Wednesday 4 September, is focussed on the formal representation of the cognitive attitudes of agents, encompassing constructs such as knowledge, belief, and awareness, among others. The application of epistemic and doxastic logics in their diverse manifestations has demonstrated considerable utility in the representation of these cognitive states, thereby establishing a foundational framework for applications in automated reasoning, artificial intelligence, social choice theory, and many others. The extant literature has produced a range of approaches designed to harmonize logical systems with the epistemological prerequisites for knowledge and belief, with an emphasis on the alignment of these notions. Nevertheless, the mainstream methodologies often neglect inquiries related to other essential epistemic notions, such as ignorance, doubt, and suspension of judgement, as well as their manifestations in reasoning held by realistic agents. This tendency arises from a prevailing assumption that these notions can be adequately expressed in terms of knowledge and belief. The principal objective of this workshop is to engage in a discussion concerning the latest advancements in the domain of epistemic and doxastic logic, with a particular emphasis on cultivating alternative perspectives regarding epistemic notions.

 

 

A beautiful location

Lake Como School of Advanced studies is located c/o Fondazione Alessandro Volta in the beautiful setting of Villa del Grumello, in Como, Italy

Venue & Accommodation

The Lake Como School of Advanced Studies is an international research facility. We run fellowships, short term programmes on a wide range of interdisciplinary subjects, that share a common focus on complex systems.