Michael Zernov
ABSTRACT
The paper follows a sequence of publications dedicated to development of new situational-event calculus, which main concepts are: using of order-sorted logic and branching time concepts, taking into account many alternative outcomes of the same action, applying actions, grouped in a list to model their simultaneity.
- Astanin S., Zhukovskaja N. Using Fuzzy Graph Models for Business-Process Control {Upravlenie biznes-processami na osnove ih modelirovaniya nechetkimi situacionnymi setyami} // Upravlenie bol'shimi sistemami: sbornik trudov, 2012, No 37, pp.145--163.Google Scholar
- Bird R. S. An introduction to the theory of lists. In Logic of Programming and Calculi of Discrete Design, Nato ASI Series. Springer NewYork, 1987 Google ScholarDigital Library
- Borisov V., Dli M., Zernov M., Fedulov A. Method of Time Series Analysis Using Fuzzy Scenarios // International Journal of Applied Engineering Research, 2016, Vol.11, No 2, pp.10536--10539.Google Scholar
- Borisov V., Zernov M. Fuzzy Situational Approach Implementation, Based on Fuzzy Hierarchic Situational-Event Network {Realizaciya nechyotkogo situacionnogo podhoda na osnove nechyotkoj ierarhicheskoj situacionno-sobytijnoj seti} // Iskusstvennyj intellekt i prinyatie reshenij, 2009, No 1, pp. 17--30.Google Scholar
- Darwiche A. Modeling and Reasoning with Bayesian Networks. Cambridge University Press, 2009. Google ScholarCross Ref
- Fedunov B. Onboard Operating-Advising Expert Systems of Typical Situation and Their Knowledge Base Semantic Image {Bortovye operativno-sovetuyushchie ehkspertnye sistemy tipovyh situacij i semanticheskij oblik ih baz znanij}// Izvestiya YUFU. Tekhnicheskie nauki, 2003, No 2 (31), pp. 3--16.Google Scholar
- Gu Y., Soutchanski M. Order-Sorted Reasoning in the Situation Calculus, published in the Proceedings of Commonsense-2009, the Ninth International Symposium on Logical Formalization on Commonsense Reasoning, that was held on June 1-3, 2009, at the Fields Institute, Toronto, Canada.Google Scholar
- Herzig, J. Lang, and P. Marquis. Action Progression and Revision in Multiagent Belief Structures. In Sixth Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC), page 05, 2005.Google Scholar
- Kriger L.S. Situational Fuzzy Network for Management of Public Transport {Nechetkaya situacionnaya set' dlya upravleniya dvizheniem obshchestvennogo transporta}// Vestnik Astrahanskogo gosudarstvennogo tekhnicheskogo universiteta. Seriya: Upravlenie, vychislitel'naya tekhnika i informatika, 2013, No 1, pp.53--58.Google Scholar
- Lin, F. Chapter: Situation calculus. In Lifschitz, V.; van Harmelen, F.; and Porter, F., eds., Handbook of Knowledge Representation. Elsevier, 2007. Google ScholarDigital Library
- McCarthy J. Actions and other events in situation calculus. In Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), 2002. Google ScholarDigital Library
- Melihov A.N., Bershtein L.S. and Korovin S.Ya. Situacionnye sovetuyuschie sistemy s nechetkoi logikoi {Situational advising systems with fuzzy logic}. Moskow: Nauka, 1990. 272 p.Google Scholar
- Miller, R., Morgenstern, L., Patkos, T.: Reasoning about knowledge and action in an epistemic event calculus. In: 11th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2013 (2013)Google Scholar
- Mueller E. Commonsense Reasoning. Morgan Kaufmann, 1st edition, 2006. Google ScholarDigital Library
- Mueller E. Discrete Event Calculus with Branching Time. In 8th International Symposium on Logical Formalizations of Commonsense Reasoning, 2007.Google Scholar
- van Ditmarsch H., Herzig A., Lang J., Marquis P. (2009) Introspective forgetting. Synthese (Knowledge, Rationality and Action) 169(2)Google Scholar
- Zernov M.M. Basic concepts for situational-event calculus with many outcomes and simultaneous actions {Principy postroeniya situacionno-sobytijnogo ischisleniya so mnogimi iskhodami i odnovremennymi dejstviyami} // Nejrokomp'yutery: Razrabotka i primenenie, 2016, No 7, pp. 29--33.Google Scholar
- Zernov M.M. Situational-Event Calculus with Many Outcomes and Simultaneous Actions {Situacionno-sobytijnoe ischislenie so mnogimi iskhodami i odnovremennymi dejstviyami}// Trudy pyatnadcatoj nacional'noj konferencii po iskusstvennomu intellektu s mezhdunarodnym uchastiem (CAI-2016), Smolensk, 2016, vol. 1, pp. 158--168.Google Scholar
- Zernov M. M. Time Series Dynamics Fuzzy Scenario Model {Model' nechetkogo scenariya razvitiya vremennogo ryada} // Trudy XIV nacional'noj konferencii po iskusstvennomu intellektu s mezhdunarodnym uchastiem (CAI-2014), Kazan, 2014, vol. 3, pp. 13--21.Google Scholar
Recommendations
Inductive situation calculus
Temporal reasoning has always been a major test case for knowledge representation formalisms. In this paper, we develop an inductive variant of the situation calculus in ID-logic, classical logic extended with inductive definitions. This logic has been ...
Order-sorted logic programming with predicate hierarchy
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to useful expressions and inference methods for structural knowledge that ...
Existential rigidity and many modalities in order-sorted logic
Order-sorted logic is a useful tool for knowledge representation and reasoning because it enables representation of sorted terms and formulas along with partially ordered sorts (called sort-hierarchy). However, this logic cannot represent more complex ...
Comments