Abstract
Issues related to ensuring stability to unpredictable situations that arise when solving tasks by a cognitive agent in the hard real time environment. The underlying basis for maintaining stability is the control of the cognitive process, during which these situations are identified, and the process is adapted taking into account time resources available to the agent. The work provides the definition of the basic principles of control execution and suggests an approach for their implementation in the context of the extended logical programs of Active Logic.
This work was supported by the Russian Foundation for Basic Research. Grants No. 17-97-00696, 15-07-02320.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Vinkov, M.M., Fominykh, I.B.: Stepping theories of active logic with two kinds of negation. In: Advances in Electrical and Electronic Engineering, vol. 15, no. 1, pp. 84–92 (2017). Web of Science
Elgot-Drapkin, J.: Step logic: reasoning situated in time. Ph.D. thesis. Department of computer science, University of Maryland, Colledge-Park, Maryland (1988)
Purang, K., Purushothaman, D., Traum, D., Andersen, C., Traum, D., Perlis, D.: practical reasoning and plan executing with active logic. In: 1999 Proceedings of the IJCAI 1999 Workshop on Practical Reasoning and Rationality (1999)
Perlis, D., Purang, K., Purushothaman, D., Andersen, C., Traum, D.: Modeling time and metareasoning in dialog via active logic. In: Working Notes of AAAI Fall Symposium on Psychological Models of Communication (2005)
Vinkov, M.M.: Active logic in the context of well-founded semantics of logical programs with priorities. In: Proceedings of the 9th National Conference on with International Participation “KII – 2004”, vol. 1, pp. 86–94. Fizmatlit Publ., Moscow (2004). Sb. nauch. tr. IX nats. konf. s mezhdunar. uchastiem “KII – 2004”. (in Russian)
Vinkov, M.M.: Time as an external entity in the modeling of reasoning of a rational agent with limited resources. In: Proceedings of the 11th National Conference on Artificial Intelligence with International Participation KII-2008. Fizmatlit, Moscow (2008). (in Russian)
Vinkov, M.M., Fominykh, I.B.: Argumentation semantics for active logic step theories with granulation time. Iskusstvenny intellekt i prinyatie resheniy Artificial intelligence and decision-making, vol. 3, pp. 3–9. URSS Publ., Moscow (2015). (in Russian)
Dung, P.M.: Negation as hypothesis: an abduction foundation for logic programming. In: Proceedings of the 8th International on Logic Programming. MIT Press, Paris (1991)
Vagin, V.N., Zagoryanskaya, A.A.: Argumentatsiya v pravdopodobnom vyvode. In: Proceedings of the 9th National Conference on with Int. Participation “KII – 2000”. Fizmatlit Publ., Moscow, vol. 1, pp. 28–34 (2000). Sb. nauch. tr. VII nats. konf. s mezhdunar. uchastiem “KII – 2000”. (in Russian)
Bezhenitshvili, M.N.: The logic of the modalities of knowledge and opinion (2007). Preface. VC. Finna. M. ComBook. (in Russian)
Fagin, R., Halpern, J.Y.: Belief, awareness and limited reasoning. Artif. Intell. 34, 39–76 (1988)
Vinkov, M.M., Fominykh, I.B.: Discourse on knowledge and the problem of logical omniscience. Part I: modal approach . In: Artificial Intelligence and Decision Making, pp. 4–12 in Russian. ISSN 2071
Alechina, N., Logan, B., Whitsey, M.: A complete and decidable logic for resource-bounded agents. In: Proceedings of Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004) (2004)
Emelyanov, V.V.: Multiagent model of decentralized management of the flow of productive resources. In: Proceedings of the International Conference “Intellectual Management: New Intellectual Technologies in Control Problems” ICIT 1999, Pereslavl-Zalessky, 6–9 December 1999, pp. 121–126. Science. Fizmatlit, Moscow (1999). (in Russian)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Vinkov, M., Fominykh, I., Romanchuk, S. (2019). Control of the Cognitive Process in Hard Real-Time Environment in the Context of the Extended Stepping Theories of Active Logic. In: Abraham, A., Kovalev, S., Tarassov, V., Snasel, V., Sukhanov, A. (eds) Proceedings of the Third International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’18). IITI'18 2018. Advances in Intelligent Systems and Computing, vol 874. Springer, Cham. https://doi.org/10.1007/978-3-030-01818-4_23
Download citation
DOI: https://doi.org/10.1007/978-3-030-01818-4_23
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-01817-7
Online ISBN: 978-3-030-01818-4
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)