387 research outputs found
Explicit Evidence Systems with Common Knowledge
Justification logics are epistemic logics that explicitly include
justifications for the agents' knowledge. We develop a multi-agent
justification logic with evidence terms for individual agents as well as for
common knowledge. We define a Kripke-style semantics that is similar to
Fitting's semantics for the Logic of Proofs LP. We show the soundness,
completeness, and finite model property of our multi-agent justification logic
with respect to this Kripke-style semantics. We demonstrate that our logic is a
conservative extension of Yavorskaya's minimal bimodal explicit evidence logic,
which is a two-agent version of LP. We discuss the relationship of our logic to
the multi-agent modal logic S4 with common knowledge. Finally, we give a brief
analysis of the coordinated attack problem in the newly developed language of
our logic
Many factor mimo-filters
ΠΡΡΠ»Π΅Π΄ΡΠ΅ΡΡΡ ΡΡΡΠ΅ΠΊΡΠΈΠ²Π½ΠΎΡΡΡ ΠΌΠΎΠ΄ΠΈΡΠΈΡΠΈΡΠΎΠ²Π°Π½Π½ΡΡ
ΠΌΠ½ΠΎΠ³ΠΎΡΠ°ΠΊΡΠΎΡΠ½ΡΡ
(Π±ΠΈ-, ΡΡΠΈ- ΠΈ ΡΠ΅ΡΡΡΠ΅Ρ
-Π»Π°ΡΠ΅ΡΠ°Π»ΡΠ½ΡΡ
) MIMO-ΡΠΈΠ»ΡΡΡΠΎΠ² Π΄Π»Ρ ΡΠ΅ΡΡΡ
, ΡΠ²Π΅ΡΠ½ΡΡ
ΠΈ Π³ΠΈΠΏΠ΅ΡΡΠΏΠ΅ΠΊΡΡΠ°Π»ΡΠ½ΡΡ
ΠΈΠ·ΠΎΠ±ΡΠ°ΠΆΠ΅Π½ΠΈΠΉ. ΠΠ±ΡΡΠ½ΡΠ΅ Π±ΠΈΠ»Π°ΡΠ΅ΡΠ°Π»ΡΠ½ΡΠ΅ ΡΠΈΠ»ΡΡΡΡ ΠΎΡΡΡΠ΅ΡΡΠ²Π»ΡΡΡ Π²Π·Π²Π΅ΡΠ΅Π½Π½ΠΎΠ΅ ΡΡΡΠ΅Π΄Π½Π΅Π½ΠΈΠ΅ ΡΠΎΡΠ΅Π΄Π½ΠΈΡ
ΠΏΠΈΠΊΡΠ΅Π»Π΅ΠΉ. ΠΠ΅ΡΠ° Π²ΠΊΠ»ΡΡΠ°ΡΡ Π΄Π²Π΅ ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½ΡΡ: ΠΏΡΠΎΡΡΡΠ°Π½ΡΡΠ²Π΅Π½Π½ΡΡ ΠΈ ΡΠ°Π΄ΠΈΠΎΠΌΠ΅ΡΡΠΈΡΠ΅ΡΠΊΡΡ. ΠΠ΅ΡΠ²Π°Ρ ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½ΡΠ° ΡΡΠΈΡΡΠ²Π°Π΅Ρ Π³Π΅ΠΎΠΌΠ΅ΡΡΠΈΡΠ΅ΡΠΊΠΎΠ΅ ΡΠ°ΡΡΡΠΎΡΠ½ΠΈΠ΅ ΠΌΠ΅ΠΆΠ΄Ρ ΡΠ΅Π½ΡΡΠ°Π»ΡΠ½ΡΠΌ ΠΏΠΈΠΊΡΠ΅Π»Π΅ΠΌ ΠΌΠ°ΡΠΊΠΈ ΠΈ Π΅Π³ΠΎ Π»ΠΎΠΊΠ°Π»ΡΠ½ΡΠΌΠΈ ΡΠΎΡΠ΅Π΄ΡΠΌΠΈ. ΠΡΠΎΡΠΎΠΉ ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ ΡΡΠΈΡΡΠ²Π°Π΅Ρ ΡΠ°Π΄ΠΈΠΎΠΌΠ΅ΡΡΠΈΡΠ΅ΡΠΊΠΎΠ΅ ΡΠ°ΡΡΡΠΎΡΠ½ΠΈΠ΅ ΠΌΠ΅ΠΆΠ΄Ρ ΡΠ΅Π½ΡΡΠ°Π»ΡΠ½ΡΠΌ ΠΏΠΈΠΊΡΠ΅Π»Π΅ΠΌ ΠΌΠ°ΡΠΊΠΈ ΠΈ Π΅Π³ΠΎ Π»ΠΎΠΊΠ°Π»ΡΠ½ΡΠΌΠΈ ΡΠΎΡΠ΅Π΄ΡΠΌΠΈ. Π ΡΡΠΎΠΌ ΠΊΠ»Π°ΡΡΠΈΡΠ΅ΡΠΊΠΎΠΌ Π°Π»Π³ΠΎΡΠΈΡΠΌΠ΅ ΡΠ΅Π½ΡΡΠ°Π»ΡΠ½ΡΠΉ ΠΏΠΈΠΊΡΠ΅Π»Ρ ΠΌΠ°ΡΠΊΠΈ ΠΈΠ³ΡΠ°Π΅Ρ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΡΡΡΡ ΡΠΎΠ»Ρ Π² ΠΊΠΎΠ½Π΅ΡΠ½ΠΎΠΌ ΡΠ΅Π·ΡΠ»ΡΡΠ°ΡΠ΅ ΡΠΈΠ»ΡΡΡΠ°ΡΠΈΠΈ. ΠΡΠ»ΠΈ ΠΎΠ½ ΠΈΡΠΊΠ°ΠΆΠ΅Π½, ΡΠΎ ΠΈ ΡΠ΅Π·ΡΠ»ΡΡΠ°Ρ ΡΠΈΠ»ΡΡΡΠ°ΡΠΈΠΈ Π±ΡΠ΄Π΅Ρ ΠΈΡΠΊΠ°ΠΆΠ΅Π½Π½ΡΠΌ. ΠΡΠΎΡ ΡΠ°ΠΊΡ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΠ΅Ρ ΠΏΠ΅ΡΠ²ΡΡ ΠΌΠΎΠ΄ΠΈΡΠΈΠΊΠ°ΡΠΈΡ: ΡΠ΅Π½ΡΡΠ°Π»ΡΠ½ΡΠΉ ΠΏΠΈΠΊΡΠ΅Π»Ρ Π·Π°ΠΌΠ΅Π½ΡΠ΅ΡΡΡ Π΅Π³ΠΎ Π»ΡΠ±ΠΎΠΉ ΡΠ³Π»Π°ΠΆΠ΅Π½Π½ΠΎΠΉ Π²Π΅ΡΡΠΈΠ΅ΠΉ, ΠΏΠΎΠ»ΡΡΠ΅Π½Π½ΠΎΠΉ Π½Π° ΠΎΡΠ½ΠΎΠ²Π΅ ΡΠΎΡΠ΅Π΄Π½ΠΈΡ
ΠΏΠΈΠΊΡΠ΅Π»Π΅ΠΉ. ΠΡΠΎΡΠ°Ρ ΠΌΠΎΠ΄ΠΈΡΠΈΠΊΠ°ΡΠΈΡ ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΠ΅Ρ ΠΌΠ°ΡΡΠΈΡΠ½ΠΎ-Π·Π½Π°ΡΠ½ΡΠ΅ Π²Π΅ΡΠ°. ΠΠ½ΠΈ Π²ΠΊΠ»ΡΡΠ°ΡΡ ΡΠ΅ΡΡΡΠ΅ ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½ΡΡ: ΠΏΡΠΎΡΡΡΠ°Π½ΡΡΠ²Π΅Π½Π½ΡΡ, ΡΠ°Π΄ΠΈΠΎΠΌΠ΅ΡΡΠΈΡΠ΅ΡΠΊΡΡ, ΠΌΠ΅ΠΆΠΊΠ°Π½Π°Π»ΡΠ½ΡΡ ΠΈ ΡΠ°Π΄ΠΈΠΎΠΌΠ΅ΡΡΠΈΡΠ΅ΡΠΊΡΡ ΠΌΠ΅ΠΆΠΊΠ°Π½Π°Π»ΡΠ½ΡΡ. Π§Π΅ΡΠ²Π΅ΡΡΡΠΉ Π²Π΅Ρ ΡΡΠΈΡΡΠ²Π°Π΅Ρ ΡΠ°Π΄ΠΈΠΎΠΌΠ΅ΡΡΠΈΡΠ΅ΡΠΊΠΎΠ΅ ΡΠ°ΡΡΡΠΎΡΠ½ΠΈΠ΅ ΠΌΠ΅ΠΆΠ΄Ρ ΡΠ΅Π½ΡΡΠ°Π»ΡΠ½ΡΠΌ ΠΏΠΈΠΊΡΠ΅Π»Π΅ΠΌ ΠΈ ΠΌΠ΅ΠΆΠΊΠ°Π½Π°Π»ΡΠ½ΡΠΌΠΈ ΡΠΎΡΠ΅Π΄Π½ΠΈΠΌΠΈ ΠΏΠΈΠΊΡΠ΅Π»ΡΠΌΠΈ
- β¦