Skip navigation
Please use this identifier to cite or link to this item:
Title: Modeling of Reasoning a Cognitive Agent with Significant Time Restrictions
Other Titles: Моделирование рассуждений когнитивного агента при существенных временных ограничениях
Authors: Fominykh, I. B.
Eremeev, A. P.
Alekseev, N. P.
Gulyakina, N. A.
Keywords: материалы конференций;cognitive agent;hard time constraints;active logic;step theory;temporal reasoning;logical programming
Issue Date: 2020
Publisher: БГУИР
Citation: Modeling of Reasoning a Cognitive Agent with Significant Time Restrictions / I. B. Fominykh [et al.] // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2020) : сборник научных трудов / Белорусский государственный университет информатики и радиоэлектроники ; редкол.: В. В. Голенков (гл. ред.) [и др.]. – Минск, 2020. – Вып. 4. – С. 123–128.
Abstract: An integrated logical system that combines the concepts of active logic and logical programming has been built.. An approach to constructing a paraconsistent declarative semantics based on the concept of active logic has been introduced. The method of representing agent’s temporal non-monotonous reasoning by active temporal logic has been proposed. The temporal granulation technique in logical system to formalize meta-reasoning has been suggested. Taking into account that the agent has to make decisions under the lack of time. the problem of the decision quality arises. In this context, it is useful to take branching time logics that allows us to infer various consequences of agent’s decision. A subclass of such logics oriented to real-time systems applications has been considered. In general, the proposed methods and algorithms provide the conceptual and algorithmic bases for developing new generation intelligent systems able to function in the case of hard real-time.
Alternative abstract: Рассматриваются вопросы проектирования системы моделирования рассуждений когнитивного агента, способного на основе своих знаний и наблюдений за внешней средой делать умозаключения, решая задачи в режиме «жёсткого» реального времени.
Appears in Collections:OSTIS-2020

Files in This Item:
File Description SizeFormat 
Fominykh_Modeling.pdf92.27 kBAdobe PDFView/Open
Show full item record Google Scholar

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.