doxastic logic

「doxastic logic」の例文例文

Automated systems use doxastic logic for belief revision.

自動化システムは信念の論理を信念更新に用いる。

「doxastic logic」のコアイメージコアイメージ

主体の信念とその変化を形式的に記述する論理体系

「doxastic logic」の英英英英

A formal system for representing and reasoning about agents' beliefs and how those beliefs change, typically using modal operators to express belief states.

「doxastic logic」の語源語源

doxastic logicは、ギリシャ語doxa（意見・信念）に由来するdoxastic（信念に関する）とlogic（論理）が結び付き、信念の性質や更新を形式的に扱う用語として発展した。

「doxastic logic」のコラムコラム

• epistemic logicと区別される点は、epistemic logicが知識を扱うのに対し、doxastic logicは主体の主観的な信念とその更新を扱う点にある。

単語を報告