Software for checking if there is an equivalence between two models of knowledge by Denis Fedyanin and Valeria Nikolaeva
The software package developed by the laboratory staff members was officially registered as a computer program for the first time.
The software package (program) was created as part of an internship by a 3rd-year student, intern researcher Valeria Nikolaeva and the practice leader, a researcher at the laboratory Denis Fedyanin, who also works as a visiting lecturer at the Faculty of Computer Science at the HSE.
Денис Федянин о программе
The program searches for equivalences between two knowledge models presented in the form of Kripke models, based on the developed algorithm for searching for bisimulation between two given marked Kripke models, written in the widely used Python language in the world. When two epistemic models with multi-agent interactions are introduced, the program answers whether they are equivalent.
An important application of the program is its capacity, when entering a knowledge model, to find a minimal model that is bisimulating with this one. This allows one to significantly reduce the memory required to store the knowledge model, and accordingly reduce the number of operations required to process it.
For the first time, the software package developed by the laboratory staff members was officially registered as a computer program (and is now a registered result of intellectual activity).