Control of the Cognitive Process in Hard Real-Time Environment in the Context of the Extended Stepping Theories of Active Logic

  • Michael Vinkov
  • Igor FominykhEmail author
  • Sergey Romanchuk
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 874)


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.


Active Logic Hard real time Stepping theories Cognition process Meta-reasoning Argumentative semantics 


  1. 1.
    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 ScienceGoogle Scholar
  2. 2.
    Elgot-Drapkin, J.: Step logic: reasoning situated in time. Ph.D. thesis. Department of computer science, University of Maryland, Colledge-Park, Maryland (1988)Google Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    Bezhenitshvili, M.N.: The logic of the modalities of knowledge and opinion (2007). Preface. VC. Finna. M. ComBook. (in Russian)Google Scholar
  11. 11.
    Fagin, R., Halpern, J.Y.: Belief, awareness and limited reasoning. Artif. Intell. 34, 39–76 (1988)MathSciNetCrossRefGoogle Scholar
  12. 12.
    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 2071Google Scholar
  13. 13.
    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)Google Scholar
  14. 14.
    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)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Michael Vinkov
    • 1
  • Igor Fominykh
    • 2
    Email author
  • Sergey Romanchuk
    • 2
  1. 1.Bauman Moscow State Technical UniversityMoscowRussia
  2. 2.Moscow Power Engineering InstituteMoscowRussia

Personalised recommendations