მოდალური ეპისტემიკური ლუკასევიჩის ლოგიკა გამდიდრებული კონსტანტით და მისი გამოყენება იმუნურ სისტემაში

ავტორი: რევაზ გრიგოლია
თანაავტორები: ნუნუ მიცკევიჩი
საკვანძო სიტყვები: აგენტი, მრავალნიშნა ლოგიკა, ეპისტემიკური ლოგიკა, კრიპკეს მოდელი
ანოტაცია:

ჩამოყალიბებულია და განვითარებულია კონსტანტით გამდიდრებული სამნიშნა მრავალმოდალური ეპისტემიკური ლუკასევიჩის ლოგიკა, რომელიც სამნიშნა ლუკასევიჩის ლოგიკის გაფართოვებაა, რომლის ენა გამდიდრებულია ნულარული და უნარული კავშირებით. უნარული კავშირები ინტერპრეტირებულია როგორც მოდალური ოპერატორები (ცოდნის ოპერატორები). ჩვენს მიერ შემოთავაზებულია ამ ლგიკის გამოყენება იმუნური სისტემის შესწავლაში. განვითარებულია რელაციური სისტემა როგორც ამ ლოგიკის სემანტიკა. რელაციური სისტემები წარმოადგენენ იმუნურ სყსტემას, რომელიც თავის მხრივ არის რელაციური ბიოლოგიის ნაწილი.

მიმაგრებული ფაილები:

revaz-grigoliaLogicImmuneSyst [ka]
revaz-Grigolia-ENG [en]
რევაზ-გრიგოლია-GEO [ka]
Modal Epistemic Łukasiewicz logic with constant and its application in immune system [en]