Welcome! My name is Anthia Solaki and this is where I keep track of some research-related things. I'm currently working as a research scientist in human-machine teaming for the Netherlands Organization for Applied Scientific Research (TNO). Prior to this, I was a postdoctoral researcher at the RPA Human(e) AI of the University of Amsterdam. I completed my PhD at the Institute for Logic, Language, and Computation, under the supervision of Sonja Smets (Amsterdam) and Franz Berto (St Andrews). My doctoral project "Logic Meets Real Reasoners" aimed at the logical modelling of human reasoning, informed by facts on the bounds of human cognition. This work was supported by an individual grant from the Dutch Research Council (NWO). Earlier, I completed my MSc in Logic at the ILLC and my BSc in Mathematics at the Aristotle University of Thessaloniki. My Erdős number is 4.
My research interests are broad and span across disciplines but they have always centered around reasoning. Throughout the years, I've enjoyed thinking about topics related to logic, knowledge representation, AI, human-robot interaction, psychology of reasoning, cognitive science, formal epistemology, and analytic philosophy. Some of the questions I like to explore, simply put, are:
What does it mean for people to reason rationally? How should we reason, as individuals and groups, given our cognitive bounds and situational constraints?
How can we represent knowledge about the world in a formal, machine-readable way that allows artificial agents to dynamically make sense of and reason about it?
How should humans and autonomous systems interact with each other to achieve common goals safely and effectively?
How can we design artificial agents that not only reason about the world but also about their own and others' reasoning? How can human and artificial agents best learn to reason about each other?
How can groups of agents pool their knowledge to optimize distributed problem-solving?
Which factors drive the diffusion of opinions and behaviours in social networks and how can we influence the emergence of group dynamics?
How can we leverage intelligent systems to help decision-makers make informed, accurate, and timely decisions in a responsible and cognitively feasible way?
Most of my work on these topics can be found on researchgate.