Теория алгоритмов и математическая логика

Тема 7

Запитання для самоперевірки


Запитання для самоперевірки:

1. Що  називають  епістемічною  логікою?

2. Які  можуть  бути  епістемічні  логіки?

3. Чим  відрізняється  епістемічна  логіка  знання  від  епістемічної  логіки  переконання?

4. Які  є  постулати  в  операторі  переконання?

5. Які  є  постулати  в  операторі  знання?

6. Сформулюйте  формальну  мову  епістемічної  логіки.

7. Які  є  властивості  операторів  знання  і  переконання?

Коментарі. Основні відомості щодо поняття  епістемічної логіки, визначення  різниці  між   епістемічною  логікою  знання  та епістемічною  логікою  переконання,  мова  епістемічної  логіки,  властивості операторів її знання  і  переконання  наведені  в [15].


© 2014 СумГУ
created with Lectur'EDbeta