პროექტის მიზანია ალბათური ონთოლოგიების ინჟინერიისთვის უნიფიკაციისა და შეთანადების ამოცანების დასმა და მათი გადაჭრის ალგორითმების მოძიება და შედარება. ამასთან ერთად შესაბამისი ამოცანებისთვის რომელთა გადაჭრის ალგორითმი არ არსებობს, ჩვენი პროექტი მიზნად ისახავს ტიურინგისა და სხვა ალგორითმული დაყვანადობებით ინდუცირებული ხარისხების ალგებრული სტრუქტურების კვლევას.

პროექტში მონაწილე პერსონალი:

• Roland Omanadze (პროექტის ხელმძღვანელი)

• Mikheil Rukhaia (ძირითადი პერსონალი)

• Irakli Chitaia (ძირითადი პერსონალი)