2023. aastal:Ehitati eksperimentaalsüsteem tavamõtlemise automatiseerimiseks, eesmärgiga uurida ja katsetada võimalusi masinõppesüsteemide – eeskätt suurte keelemudelite (LLM) – integreerimiseks otsingupõhiste reegli- ja loogikasüsteemidega, ning loonud selle jaoks algoritmid loogikajärelduste süsteemi laiendamiseks erandite ja tõenäosustega. Lisaks sellele osalesime skaleeruvate plokiahelate ehitamisele suunatud uurimistöös koostöös AS GuardTime-ga,ning mitmetes küberkaitsealastes uurimistöödes. Osalesime toodete digipassi väljatöötamise HORIZON europrojektis CIRPASS, 2024. a järkub tegevusjätkuprojektis CIRPASS-2. Digipassi eesmärk on suuremahulise ringmajanduse toetamine.
Järv, P.; Tammet, T.; Verrev, M.; Draheim, D. (2023). Large-scale commonsense knowledge for default logic reasoning. SN Computer Science, 4 (550), 14 pp. DOI: 10.1007/s42979-023-01963-2
Tammet, T.; Järv, P.; Verrev, M.; Draheim, D. (2023). An experimental pipeline for automated reasoning in natural language (short paper). In: Pientka, Brigitte; Tinelli, Cesare (Ed.). Automated Deduction –CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings. (509−521). Cham: Springer. (Lecture Notes in Computer Science; 14132). DOI: 10.1007/978-3-031-38499-8_29