Reports
25-30th November - Universidad Nacional de Colombia - Fabian Fernando Serrano.
Links to recorded lectures: Overview, Practicum PRP,FOF, Practicum FOF,TFF, Principles, Practicum TXF,THF,NTF.
Met Andres Caicedo, who has joined the StarExec development team.
1-31st January - Naval Postgraduate School - Adam Pease.
Worked on a design for using LLMs to answer questions from SUMO documentation, and check the answers using the corresponding SUMO logic using the TPTP World.
Helped with the research projects of Richard Thompson (PhD) and Jack NAME (MS).
Worked with Adam to debug the TFF export of SUMO, which prompted the addition of AddTypes and Leo-III-STC to SystemB4TPTP.
Led a Computer Science faculty "brainstorming" session, which ended up delving into trust of AI systems. Useful ideas about "expectations".
Met Peter Denning, and had in interesting conversation about AI systems. Read some of his papers.
Understood and explained to Adam how naive export of modalities from SUMO to TFF could lead to modal collapse.
Taught 16 classes of CS4921, on logic and ATP in the TPTP World, to ten graduate students (officers in the Navy).
Introduced to Valeria De Paiva - a useful contact in the math/logic world.