Račun događaja
Račun događaja je logička teorija za predstavljanje i rasuđivanje o događajima i o načinu na koji oni menjaju stanje nekog stvarnog ili veštačkog sveta. Bavi se i akcionim događajima, koje izvode agenti, i spoljašnjim događajima koji su van kontrole bilo kog agenta.
Račun događaja predstavlja stanje sveta u bilo kom trenutku prema skupu svih činjenica (zvanih fluenti) koje postoje u tom trenutku. Događaji pokreću i prekidaju fluenti:
Fluent je postojan u dato vreme
ako je fluent pokrenut događajem koji se dešava u ranijem vremenu
i fluent se ne prekida nikakvim događajem koji se dogodi u međuvremenu.
Račun događaja razlikuje se od većine drugih pristupa rezonovanju o promeni tako što poistovećuje vreme, povezuje događaje sa vremenom u kome se dešavaju i povezuje fluente sa vremenom u kome se održavaju.
Originalna verzija računa događaja, koju su uveli Robert Kovalski i Marek Sergot 1986. godine,[1] je formulisana kao logički program i razvijena za predstavljanje narativa i ažuriranja baze podataka.[2] Kave Ešghi je pokazao kako da se koristi račun događaja za planiranje,[3] koristeći abdukciju za generisanje hipotetičkih radnji za postizanje željenog stanja stvari.
Proširili su ga Marej Šanahan i Rob Miler tokom 1990-ih[4] i preformulisali u logici prvog reda sa zaokruživanjem. Ova i kasnija proširenja su korišćena da formalizuju nedeterminističke akcije, istovremene akcije, akcije sa odloženim efektima, postepene promene, akcije sa trajanjem, kontinuirane promene i neinercijalne fluente.
Van Lambalgen i Ham su pokazali kako se formulacija računa događaja kao logičkog programa ograničenja može koristiti za davanje algoritamske semantike napetosti i aspektu u prirodnom jeziku.[5]
Proširenja
уредиZnačajna proširenja računa događaja uključuju varijante zasnovane na Markovljevim logičkim mrežama[6] probabilističke,[7] epistemičke[8] i njihove kombinacije.[9]
Reference
уреди- ^ Kowalski, Robert; Sergot, Marek (1986-03-01). „A logic-based calculus of events”. New Generation Computing (на језику: енглески). 4 (1): 67—95. ISSN 1882-7055. S2CID 7584513. doi:10.1007/BF03037383.
- ^ Kowalski, Robert (1992-01-01). „Database updates in the event calculus”. The Journal of Logic Programming (на језику: енглески). 12 (1): 121—146. ISSN 0743-1066. doi:10.1016/0743-1066(92)90041-Z
.
- ^ Eshghi, Kave (1988). „Abductive planning with event calculus”. Iclp/SLP: 562—579.
- ^ Miller, Rob; Shanahan, Murray (2002), Kakas, Antonis C.; Sadri, Fariba, ур., „Some Alternative Formulations of the Event Calculus”, Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part II, Lecture Notes in Computer Science (на језику: енглески), Berlin, Heidelberg: Springer, стр. 452—490, ISBN 978-3-540-45632-2, doi:10.1007/3-540-45632-5_17, Приступљено 2020-10-05
- ^ Lambalgen, Hamm (2005). The proper treatment of events. Malden, MA: Blackwell Pub. ISBN 978-0-470-75925-7. OCLC 212129657.
- ^ Skarlatidis, Anastasios; Paliouras, Georgios; Artikis, Alexander; Vouros, George A. (2015-02-17). „Probabilistic Event Calculus for Event Recognition”. ACM Transactions on Computational Logic. 16 (2): 11:1—11:37. ISSN 1529-3785. S2CID 6389629. arXiv:1207.3270 . doi:10.1145/2699916.
- ^ Skarlatidis, Anastasios; Artikis, Alexander; Filippou, Jason; Paliouras, Georgios (март 2015). „A probabilistic logic programming event calculus”. Theory and Practice of Logic Programming (на језику: енглески). 15 (2): 213—245. ISSN 1471-0684. S2CID 5701272. arXiv:1204.1851 . doi:10.1017/S1471068413000690 .
- ^ Ma, Jiefei; Miller, Rob; Morgenstern, Leora; Patkos, Theodore (2014-07-28). „An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future”. EPiC Series in Computing (на језику: енглески). EasyChair. 26: 75—87. doi:10.29007/zswj .
- ^ D'Asaro, Fabio Aurelio; Bikakis, Antonis; Dickens, Luke; Miller, Rob (2020-10-01). „Probabilistic reasoning about epistemic action narratives”. Artificial Intelligence (на језику: енглески). 287: 103352. ISSN 0004-3702. S2CID 221521535. doi:10.1016/j.artint.2020.103352.
Literatura
уреди- Brandano, S. (2001) "The Event Calculus Assessed," IEEE TIME Symposium: 7-12.
- R. Kowalski and F. Sadri (1995) "Variants of the Event Calculus," ICLP: 67-81.
- Mueller, Erik T. (2015). Commonsense Reasoning: An Event Calculus Based Approach (2nd Ed.). ISBN 978-0128014165.. Waltham, MA: Morgan Kaufmann/Elsevier. (Guide to using the event calculus)
- Shanahan, M (1997). Solving the frame problem: A mathematical investigation of the common sense law of inertia. MIT Press...
- Shanahan, M. (1999) "The Event Calculus Explained" Springer Verlag, LNAI (1600): 409-30.