Gaia Belardinelli
Visiting Scholar
Departement of Economics
University of California, Davis
I am currently a visiting scholar at the University of California at Davis, working with Burkhard C. Schipper on formal models of implicit cognition. Starting from the next academic year, I will be a postdoc at Stanford University working on the impact of implicit biases on reasoning.
I completed my PhD studies at the University of Copenhagen. My PhD project was about formal models of explicit and implicit cognitive phenomena from an epistemic and multi-agent perspective, using modal logic or other formal methods to represent them. My thesis focuses on three interrelated themes: attention, awareness, and implicit reasoning.
In general, I am interested in exploring applications of logical models to cognitive science, AI, and economics (especially their intersection), and I like to challenge the strong idealizations that are built in our logic models. Finally, I am passionate about methodological questions such as "why are mathematical models so illuminating about reality, when they abstract away so many details?".
News:
[New] I have been awarded a two-year postdoctoral grant to work at Stanford University on my project about implicit bias and reasoning! The project takes the perspective of formal logic and aims at creating a formal theory about the impact of implicit bias on reasoning. The postdoc should start in August 2024.
The funding agency is the Independent Research Fund Denmark. You can find a link to the project here (although there is not much information about it yet). I am extremely grateful for this and looking forward to start!
Many thanks to Thomas Bolander, Nina Gierasimczuk, Burkhard Schipper, and Thomas Icard for supporting me in this, either as collaborators or host.
[New] 2-6 September 2024, Invited talk at the workshop entitled New Perspectives on Formal Representations of Cognitive Attitudes. The workshop is part of the New Spring in AI summer school that will be held at the Lake Como School for Advanced Study, Italy.
I joined the University of California, Davis, as a Visiting Scholar!
I joined the program committee of the Scandinavian Logic Symposium 2024!
24 January 2024, Invited talk at the Seminar in Logic & Formal Philosophy, Stanford University.
The talk is entitled Attention in Epistemic Logic.
6-19 December 2023, Research visit with Thomas Bolander at the Technical University of Denmark (DTU), DTU-Compute.
Alessandro Burigana will also be there! We will work on syntactic event models together. In particular, we will try to find a syntactic way to induce updates in Dynamic Epistemic Logic.
17 November 2023, Invited presentation at the graduate seminar on Bayesian epistemology, at UC Berkeley.
The seminar is held by Snow Xueyin Zhang. My presentation will be about epistemic logic models of unawareness.
I joined the program committee of LOFT 2024!
I joined the program committee of AAMAS 2024!
5-7 October 2023, Invited talk at Celia Workshop, at Czech Academy of Sciences, Prague.
The talk is entitled Attention in Dynamic Epistemic Logic.
I joined the program committee of AAAI 2024!
2 October 2023, My PhD defense!! At University of Copenhagen, Denmark.
17 - 22 July 2023, Summer school Philosophy and Computer Science, University of Bayreuth, Germany.
One week summer school on philosophical themes in artificial intelligence.
Keynote speakers: Johanna Thoma, Joseph Halpern, and Marija Slavkovik.
28 - 30 June 2023, Paper accepted at Theoretical Aspects of Rationality and Knowledge (TARK 2023). Joint work with Burkhard C. Schipper.
The paper is entitled Implicit Knowledge in Unawareness Structures.
It introduces a notion of implicit knowledge in Heifetz, Meier, Schipper (HMS) models for unawareness (see their 2006, 2008 papers). This is a lattice structure for unawareness that originally features explicit knowledge only. As HMS models have been applied to decision and game theory, we see this as a first step to modeling the behavioral implications of implicit cognition.
The paper also introduces a category of Fagin Halpern (FH) models for unawareness (Fagin and Halpern, 1987). FH models originally provide an objective perspective on the epistemic situation, modeling it as seen from the outside, from a fully aware point of view. We show that models in an FH category can also provide each agent's subjective perspective, where the modeled situation is described using their subjective language only.
HMS models with implicit knowledge are shown modally equivalent to the category of FH models. By this result and the soundness and completeness a logic for explicit and implicit knowledge and awareness with respect to FH models, we get soundness and completeness of HMS models with implicit knowledge with respect to that logic.
Yehee!
18 - 22 June 2023, Contributed talk at LOGICA, at The Premonstratensian Monastery of Teplá, organized by the Institute of Philosophy, Academy of Sciences of the Czech Republic. With Thomas Bolander.
The talk is entitled A dynamic epistemic logic of attention with attention change and limits on attentional capacities.
See here for an abstract.
I have been awarded the ASL scholarship to participate to Logic Colloquium 2023! Thank you so much!
5 - 9 June 2023, Contributed talk at Logic Colloquium, at the University of Milan. With Thomas Bolander.
The talk is entitled Attention! Dynamic Epistemic Logic models of (in)attentive agents.
See here for an abstract.
I have been awarded the AAMAS 2023 scholarship! I am very grateful for that and so much looking forward to the conference!
30 May 2023, Invited talk at Rebellion and Disobedience in AI, workshop that is part of AAMAS 2023. With Thomas Bolander. In the talk, we will present our Dynamic Epistemic Logic model for attention-based learning and discuss situations in which robots should disobey commands that come from inattentive agents. Click here for the program!
29 May - 02 June 2023, Paper accepted at The 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023). Joint work with Thomas Bolander.
The paper is entitled Attention! Dynamic Epistemic Logic Models of (In)attentive Agents. It presents two logical models of partial learning of events due to inattention to some aspects of them. In one model, the agents remain indifferent with respect to information they did notThe event models are complex and grow exponentially large in the number of agents and announced literals, so we also present a more succinct way to describe them via a fully syntactic representation.
9 December 2022, Invited talk at the Good Attention group at the University of Oslo. The talk is entitled Attention! Logical Models of the Dynamics of Attention and Belief. With Thomas Bolander.
See here for an abstract.
6 December 2022, Invited talk at Toulouse Workshop on Reasoning on Explanation and Epistemic Reasoning, at IRIT in Toulouse. The talk is entitled Attention! A Dynamic Epistemic Logic Model for Inattentive Agents. With Thomas Bolander.
2 December 2022, Talk at Zoom Mini-Workshop on New Developments in Epistemic Logic with Unawareness (online), entitled Implicit Knowledge in Unawareness Structures.
The workshop is organized by Burkhard C. Schipper and myself.
12-16 September 2022, Logic for the AI Spring, Lake Como School for Advanced Studies, Italy.
One week summer school about the use of logic in artificial intelligence.
Courses Followed: Automated Theorem Provers, by Joseph Urban; History of AI, by Stephanie Dick; Logics for Categories, by Alessandra Palmigiano; Multi-Agent Systems, by Michael Wooldridge.
17-21 August 2022, SOCIAL LOGIC 2022, at Expo Lagazuoi, Dolomites, Italy.
Thomas Bolander and I organized this three-day workshop to explore applications of logic and multi-agent systems to the social sciences. We had standard conference-talks for more focused in presentations, and group discussion to investigate three themes: logic as a foundation to the social sciences; logic as a methodology in the social sciences; logic and agent-based models. The participants are now writing a paper together to report our discussions.
Thanks to CIBS and the Carlsberg Foundation for funding it!
8-11 August 2022, 33rd European Summer School in Logic, Language and Information, University of Galway, Ireland.
Courses Followed: Knowledge and Gossip, by Hans van Ditmarsch & Malvin Gattinger, Logic & Probability, by Thomas Icard & Krzysztof Mierzewski, Explainability in Integrated Cognitive Systems Combining Logic-based Reasoning and Data-driven Learning, by Mohan Sridharan.
One week attendance.
August 2022 - October 2022, Research visit with Thomas Bolander at the Technical University of Denmark (DTU), DTU-Compute.
Working on our joint project on cognitively plausible models of attention. We are now focusing on modeling inattentional blindness, the phenomenon according to which agents completely miss certain events, even if they happen at fixation.
23 June 2022, Invited talk at LIRa Seminar at the ILLC, University of Amsterdam, entitled The dark side of knowledge: modeling implicit cognition in unawareness structures.
See here for an abstract.
21-22 May 2022, Invited talk at the 8th CSLI Workshop on Logic, Rationality and Interaction at Stanford University entitled On Notions of Knowledge Beneath Levels of Awareness. With Burkhard C. Schipper.
See here for an abstract.
April 2022 - June 2022, Research visit with Burkhard C. Schipper at the University of California, Davis, Department of Economics.
Working on modeling implicit knowledge in unawareness structures, a lattice model of unawareness that Burkhard and coauthors created during Burkhard's PhD. We are planning to the use the resulting model to represent tacit knowledge, implicit biases, and other behaviorally relevant aspects of implicit cognition - exciting!
February 2022 - March 2022, Research visit with Sonja Smets and Johan van Benthem, at the Institute for Logic Language and Computation (ILLC), University of Amsterdam.
With Sonja I worked on logics for social network. We initiated a project with Lei Li and Anthia Solaki on cognitive (attention-based) and algorithmic filters in social networks. The basic idea is that not all the announcements posted in social media are received by the users, firstly because the algorithm filters out what is deemed not interesting to the user, and secondly because the user will only attend some of the announcements she receives.
With Johan I worked on the use of syntax in modeling cognitive and social phenomena: What does it add to the picture? In particular with respect to economics models of the same phenomena. Moreover, we explored lattice based formalizations of attention dynamics.
November 2021 - January 2022, Research visit with Thomas Bolander at the Technical University of Denmark (DTU), at DTU-Compute.
We initiated a project on modeling cognitive aspects of attention, as top-down vs bottom-up attention, inattentional blindness phenomena and other surprising aspects of attention. We are very excited to see that there are many possible applications, spanning from epistemic planning to attention economics.
16-18 October 2021, Contributed talk at The Eight International Conference On Logic, Rationality, and Interaction, (online) organized by Xi'an Jiaotong University, Xi'an, P.R. China. The talk is entitled Epistemic Planning with Attention as a Bounded Resource.
29-30 July 2021, Contributed talk at Workshop on Automated Synthesis, (online), affiliated to ESSLLI 2021. The talk is entitled Epistemic Planning with Attention as a Bounded Resource.
26 July - 13 August 2021, 32nd European Summer School in Logic, Language and Information (online), organized by University of Bozen.
Courses Followed: Introduction to Deontic Logic and its Applications, by Réka Markovich & Leon van der Torre, Temporal Logics, by Valentin Goranko, Workshop on Automated Synthesis, organized by Natasha Alechina and Brian Logan, Abstract Argumentation and Modal Logic, by Davide Grossi and Carlo Proietti.
Earlier events are listed in my CV. If you are interested in having a look, feel free to send me an email !