Workshop: Logical Normativity and Logical Reasoning in AI Systems
Does logic constrain reasoning, belief, or knowledge? Does the answer depend on whether we are primarily concerned with natural, human agents or artificial agents?
The aim of this workshop is to stimulate interdisciplinary discussion of questions concerning the relationship between deductive logic and the reasoning capacities of bounded and/or artificial agents. We are especially interested in the following topics:
- the role, limitations and variety of reasoning in (natural or artificial) agents
- plausible logical norms and sanctions for (natural or artificial) agents
- non-monotonic logics, inconsistency tolerance, and belief revision
- the nature of objects of propositional attitudes (content, information, etc.)
- explaining the ‘information yield’ of deductive inference (derivation or proof)
- general implications of resource-boundedness for reasoning and knowledge
Human-centered Artificial Intelligence
The workshop is organized within Utrecht University focus area Human-centered Artificial Intelligence (HAI). HAI bundles the various AI-activities undertaken at Utrecht University. AI in Utrecht has a unique interdisciplinary profile that pervades various departments, including computer science, philosophy, linguistics and psychology.
- Start date and time
- End date and time
- Online in Teams
Please register by sending an email to email@example.com.