Zobrazeno 1 - 10
of 16 972
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:
Artale, Alessandro a, Geatti, Luca b, ⁎, Gigante, Nicola a, Mazzullo, Andrea c, Montanari, Angelo b
Publikováno v:
In Information and Computation January 2025 302
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
Autor:
Pagliarini, Giovanni a, b, Scaboro, Simone c, Serra, Giuseppe c, Sciavicco, Guido a, Stan, Ionel Eduard d, ⁎
Publikováno v:
In Information and Computation December 2024 301 Part A
Publikováno v:
In Information Sciences March 2025 693
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