შოთა რუსთაველის საქართველოს ეროვნული სამეცნიერო ფონდიდაწყების თარიღი: 2018-01-10 დასრულების თარიღი: 2020-01-10
პროექტის მიზანია წესებზე დაფუძნებული ალბათური პროგრამირების მძლავრი ფორმალიზმის შექმნა, მეტა-თვისებების შესწავლა, იმპლემენტაცია, და პრაქტიკული გამოყენებები.
ჩვენ შემოვიტანთ ალბათურ სტრატეგიებს როლოგ აღრიცხვაში და შევისწავლით სემანტიკას ასეთი ფორმალისმის. ჩვენ ასევე ვგეგმავთ როლოგის გაფართოებას ალბათური მონაცემების დამუშავების შესაძლებლობებით. პროექტის ერთ-ერთი მთავარი მიზანია ალბათური როლოგ აღრიცხვისთვის მკაცრი ნორმალიზაციის თვისების შესწავლა. მიღებული ალბათური აღრიცხვა იმპლიმიტირებული იქნება პიროლოგ ენად და შესწავლილი იქნება მისი გამოყენებების ზოგიერთი არეალი.