Статья 507

Приложение логики к проблемам искусственного интеллекта.

Эпистемическая логика и распределенные системы.

Эпистемическая логика занимается изучением рассуждений о знании и рассуждений на основании знаний, в состав которое входят такие словосочетания, как я знаю, Анна знает, что Петр не знает, он полагает, известно. Как ветвь одного дерева Эпистемическая логика тесно связана с другими областями неклассических логик - модальной, многозначной, релевантной, временной. В последнее время заметно возрос прикладной интерес к логическому анализу знания со стороны компьютерных наук, особенно в связи с такой глобальной задачей, как представление знания в формальных моделях.
Классическая семантика возможных миров.
Имеются давние традиции в изучении предложений мнения и знания как в традиционной, так и в формальной логике столетия. Однако оформление эпистемической логики в самостоятельную дисциплину обычно относят к началу 60-х годов - времени разработки и быстрого распространения семантик возможных миров для неклассических логик.