The panel will run for 90 minutes. The panels at TIKA are going to be highly interactive, so the plan is to have each panelist articulate their respective position for 5-10 minutes around a set of questions, then the rest of the time will be devoted to discussion among the panel and with the participants.
The term "Education" is to be interpreted broadly, including educating the general public. One of the issues we see is that an average person is not able to distinguish between learning (pattern matching based generalization, etc.) and reasoning (deducing knowledge from axioms). The use of the term "reasoning" by the GenAI researcher confuses people even further.
One major issue is the following: how to educate people so they can understand this distinction better? Also, the number of people working on automated reasoning is dwindling, at least in the US. How to increase their numbers?
What is the current situation?
What is being taught currently? How is it being taught currently? (Part of the curriculum?; Is it its own course, or various parts covered in multiple courses?; how are industry folks learning KA/KRR? …)
What educational resources already exist?
What is missing?
What is not being taught currently?
What are the gaps in existing educational resources for KA?
What will the future look like?
What do we need for K-12 education
What do we need for University education
What do we need for executive/industry/policy-maker education
What should be the role for GenAI and LLMs in teaching knowledge axiomatization, KRR?