Zobrazeno 1 - 10
of 16 900
pro vyhledávání: '"temporal logic"'
Autor:
N.A. Protsenko, V.V. Rybakov
Publikováno v:
Известия Иркутского государственного университета: Серия "Математика", Vol 49, Iss 1, Pp 124-134 (2024)
In this paper we explore the linear logic of multi-agent knowledge using multivalued models. The logic of the language contains the unary operators $K_{j}$ --- $j$ --- the agent knows, $ULK_{G}$ --- unstable local knowledge, $E_{G}$ --- stable local
Externí odkaz:
https://doaj.org/article/c07e8d39eb974724bd5c3c687d27ec5c
Publikováno v:
Xibei Gongye Daxue Xuebao, Vol 42, Iss 4, Pp 716-725 (2024)
The construction of lunar bases is one of the core enabling technologies in current lunar exploration and development plans of various countries. However, to eliminate the constraints of high transportation costs and limited manned space technology,
Externí odkaz:
https://doaj.org/article/73275c9bfd204d1a80f8170778152958
Publikováno v:
Tongxin xuebao, Vol 45, Pp 87-100 (2024)
Considering that traditional network security defense methods cannot meet the strict requirements of industrial Internet for reliability and stability, a method for anomaly detection and response in digital space was studied based on the idea of digi
Externí odkaz:
https://doaj.org/article/61f1cb72fb93429c8ebb332363c1e878
Publikováno v:
IET Control Theory & Applications, Vol 18, Iss 8, Pp 998-1006 (2024)
Abstract This paper considers the problem of communication protocols between leaders and its followers for motion planning in an initially partially known environment. In this setting, the leader observes the environment information to satisfy its ow
Externí odkaz:
https://doaj.org/article/46614cea9824430db78668d2279d45e8
Autor:
Martina Číhalová, Zuzana Rybaříková
Publikováno v:
Studia Semiotyczne, Vol 2023, Iss 2 (2024)
One of Pavel Tichý’s celebrated observations was that definite descriptions do not denote individuals but individual offices. In our paper, we compare Tichý’s concept of individual offices to the concept proposed by Arthur N. Prior, who differe
Externí odkaz:
https://doaj.org/article/2f8f6a09e15945c98e69b9d86ead7590
Publikováno v:
Mathematical Biosciences and Engineering, Vol 21, Iss 4, Pp 5762-5781 (2024)
A dendrocentric backpropagation spike timing-dependent plasticity learning rule has been derived based on temporal logic for a single octopus neuron. It receives parallel spike trains and collectively adjusts its synaptic weights in the range [0, 1]
Externí odkaz:
https://doaj.org/article/c930d491ee5947ca9c4d063d39229c26
Autor:
S. I. Bashmakov, K. A. Smelykh
Publikováno v:
Известия Иркутского государственного университета: Серия "Математика", Vol 47, Iss 1, Pp 78-92 (2024)
This paper deals with multi-agent computation tree logic --- $\mathcal{CTLK}$ (Computation Tree Logic with Knowledge). Each agent represents its own computational route of the initial problem, and new branches of possible computational routes spawn n
Externí odkaz:
https://doaj.org/article/3559a77ad65b40b485a7aee297b90ecd
Publikováno v:
Радіоелектронні і комп'ютерні системи, Vol 2024, Iss 1, Pp 6-16 (2024)
The object of research in this article is the process of modeling programs and their subsequent development. The purpose of this article is to develop a methodology for describing and building software models in the form of nondeterministic finite au
Externí odkaz:
https://doaj.org/article/9b5b023a2e004a41a8f37c6d2daf0635
Publikováno v:
Mathematics, Vol 12, Iss 19, p 3148 (2024)
As an extension of quantitative temporal logic, uncertain temporal logic essentially describes the temporal behavior of uncertain and incomplete systems, thus better solving search and decision-making problems in such systems. Fuzzy linear temporal l
Externí odkaz:
https://doaj.org/article/1c19703a4c974e20b662d83457709ab1
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.