Workshop: Logical Normativity and Logical Reasoning in AI Systems

Maandag 2 november 2020 10:00 - Maandag 2 november 2020 14:00 - 0 mensen gaan
Workshop: Logical Normativity and Logical Reasoning in AI SystemsDoes 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

The speakers will be Sarit Kraus (computer science, Bar-Ilan) and Mark Jago (philosophy, Nottingham).

Please register by sending an email to
Om hier een e-mailadres te tonen moet javascript aan staan
Wie:
Human-centered Artificial Intelligence (HAI)
Wat:
Workshop: Logical Normativity and Logical Reasoning in AI Systems
Waar:
Microsoft Teams pagina Human-centered Artificial Intelligence (HAI), code: utyszck
Wanneer:
2 November 14:00