Кіріспе

Оқиғаларды түсіндіру және бейнелеу тілі. Оқиғалар есебі – оқиғалар туралы және олардың нақты немесе жасалған әлемнің күйін қалай өзгертетіні туралы пайымдау және бейнелеуге арналған логикалық теория. Ол агенттер жасайтын әрекеттерге қатысты оқиғалармен, сондай-ақ ешқандай агенттің бақылауынан тыс сыртқы оқиғалармен айналысады. Оқиғалар есебі әлемнің кез келген уақыттағы күйін сол уақытта қолданыстағы барлық фактілер жиынтығы (флуенттер деп аталады) арқылы көрсетеді. Оқиғалар флуенттерді бастайды және тоқтатады:

Оқиғалар есебі уақытты нақтылау арқылы, оқиғаларды олар орын алатын уақытпен, ал флуенттерді олар қолданыста болатын уақытпен байланыстыра отырып, өзгерістер туралы пайымдаудың көптеген басқа тәсілдерінен өзгеше. Роберт Ковальски мен Марек Сергот 1986 жылы ұсынған оқиғалар есебінің бастапқы нұсқасы логикалық бағдарлама ретінде жасалды және повествованиелерді және деректер базасын жаңартуды бейнелеу үшін дамытылды. Каве Эшги жоспарлау үшін оқиғалар есебін қалай қолдануға болатынын көрсетті, тілегіне жетіп, гипотетикалық әрекеттерді жасау үшін абдукцияны пайдаланды. Ол 1990-шы жылдары Мюррей Шанахан мен Роб Миллер тарапынан кеңейтілді және бірінші реттік логикада шектеулермен қайта тұжырымдалды. Бұл және кейінгі кеңейтулер детерминистік емес әрекеттерді, бір уақытта болатын әрекеттерді, кешіктірілген әсерлері бар әрекеттерді, біртіндеп болатын өзгерістерді, ұзақтығы бар әрекеттерді, үздіксіз өзгерістерді және инерциялық емес флуенттерді формалдау үшін қолданылды. Ван Ламбалген мен Хамм оқиғалар есебінің шектеулі логикалық бағдарлама ретіндегі тұжырымын табиғи тілдегі уақыт пен аспектке алгоритмдік семантика беру үшін қалай қолдануға болатынын көрсетті.

Ұзартулар

Оқиғалар есебінің маңызды кеңейтімдеріне Марков логикалық желілеріне негіделген, ықтималдық, эпистемикалық және олардың үйлесімдері кіреді.