Recommended AISE Events and Activities in Summer 2023

Presentation by Veronika Solopova (FU Berlin & U Bamberg)

Title: Hybrid AI systems in automated content moderation

Abstract: Transparent and efficient moderation of user-generated content, be it on social media or in the educational context is a great challenge of today. We see a possible solution in hybrid AI systems, which integrate both statistical models to provide robust learning from annotated data and symbolic, rule-based or knowledge-based elements for reasoning and optimisation, which also ensure proper governance and interpretability. We showcase the hybrid AI advantages in two use cases: automated Pro-Kremlin propaganda detection tool for news and social media posts and PapagAI, an automated feedback app for reflective essays.

Further information:

 

Block lecture course/seminar with Ed Zalta (Stanford):

AISE-PLM: Computational Metaphysics - Mechanizing Principia Logico-Metaphysica

(June 1-3, 2023, in room: U5/03.27An der Universität 5, 96047 Bamberg)

June 1 (Thursday):

13:15-14:00:
Christoph Benzmüller

Computational Metaphysics

(Opening, Teaser Talk, Organisational Matters)

 
Quick break 

14:15-15:45:
Edward Zalta

Lecture 1: Introduction, Axioms, and Logical Objects (Truth Values and Classes)

Coffee break

 

 

 

16:15-17:45:
Daniel Kirchner

Demo/Lab Session
Evening meetingDinner & Discussion & Students Introduction

June 2 (Friday):

09:15-10:45:
Edward Zalta

Lecture 2: Deriving the Principles Governing Situations, Possible Worlds, and Impossible Worlds
Coffee break 

11:15-12:15:

Özgür Özçep

Guest Contribution: Analogies and Decompositionality
Lunch break 

14:15-15:45:
Daniel Kirchner

Demo/Lab Session
Coffee break 

16:15-17:15:
Edward Zalta

Lecture 3: Deriving the Boolean Algebra and Modal Metaphysics of Concepts
Evening meetingDinner & Discussion & Students Questions

June 3 (Saturday):

09:15-10:45:
Edward Zalta

Lecture 4: Deriving 2nd order Peano Arithmetic and ℵ_0
Coffee break 

11:15-12:15:
Daniel Kirchner

Demo/Lab Session
Lunch break 

14:15-15:45:
Edward Zalta

Lecture 5: Typed Object Theory and its Applications to Mathematical and Natural Language
Coffee break 

16:15-17:45:
Benzmüller, Kirchner, Zalta

​​Reflection on Computational Metaphysics & AI, Future Plans, Possible Student Projects
Evening meetingFarewell Dinner