Workshop: "Logical Normativity and Logical Reasoning in AI Systems"

Beperkt logica het vermogen om te redeneren, overtuigen of kennis op te doen? In hoeverre hangt het antwoord af van de vraag of we ons voornamelijk bezighouden met natuurlijke, menselijke actoren of kunstmatige actoren?

De voertaal van de workshop is Engels. Meer informatie is daarom in het Engels beschikbaar. 

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

Speakers

• Sarit Kraus (computer science, Bar-Ilan)
• Mark Jago (philosophy, Nottingham)

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.