В настоящей книге систематически рассмотрены и исследованы логики модальностей знания и мнения. Автор оригинальным образом решает проблему "логического всеведения", используя семантику частичных возможных миров. Формулируются соответствующие системы, исследуются их метатеоретические особенности (корректность, полнота и т.д.), устанавливается связь с другими известными системами. Для чтения книги вполне достаточно ознакомиться с элементами классической логики, а также начальными понятиями теории множеств, обычно используемыми в простейших семантических определениях. Книга адресована логикам, философам и специалистам в области искусственного интеллекта.
V nastojaschej knige sistematicheski rassmotreny i issledovany logiki modalnostej znanija i mnenija. Avtor originalnym obrazom reshaet problemu "logicheskogo vsevedenija", ispolzuja semantiku chastichnykh vozmozhnykh mirov. Formulirujutsja sootvetstvujuschie sistemy, issledujutsja ikh metateoreticheskie osobennosti (korrektnost, polnota i t.d.), ustanavlivaetsja svjaz s drugimi izvestnymi sistemami. Dlja chtenija knigi vpolne dostatochno oznakomitsja s elementami klassicheskoj logiki, a takzhe nachalnymi ponjatijami teorii mnozhestv, obychno ispolzuemymi v prostejshikh semanticheskikh opredelenijakh. Kniga adresovana logikam, filosofam i spetsialistam v oblasti iskusstvennogo intellekta.
