doxastic logic

「doxastic logic」の発音・読み方

カタカナ読み（目安）ドクサスティックロジック

「doxastic logic」の意味

名信念の論理、ドクサスティック論理

「doxastic logic」の例文

Automated systems use doxastic logic for belief revision.

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

「doxastic logic」のレベル別の例文

中学
Doxastic logic studies what agents believe.

信念の論理は、主体が何を信じているかを研究する。
高校・英検2級
Doxastic logic can represent changes in an agent's beliefs.

信念の論理は、ある主体の信念の変化を表現できる。
TOEIC・ビジネス
The research team applied doxastic logic to model an AI system's beliefs.

研究チームは、人工知能システムの信念をモデル化するために信念の論理を適用した。
日常会話
I've never studied doxastic logic before.

私はこれまで信念の論理を勉強したことがないよ。

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

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

「doxastic logic」のよく使う型

the axioms of doxastic logic信念の論理の公理

Researchers examined the axioms of doxastic logic.

研究者たちは信念の論理の公理を調べた。
a model of doxastic logic信念の論理のモデル

The paper presents a model of doxastic logic.

その論文は信念の論理のモデルを提示している。
use doxastic logic to do信念の論理を使って…する

They use doxastic logic to analyze agents' beliefs.

彼らは信念の論理を使って主体の信念を分析する。

「doxastic logic」とよく一緒に使う語

doxastic logic framework信念の論理の枠組み
doxastic logic model信念の論理モデル
doxastic logic semantics信念の論理の意味論
doxastic logic system信念の論理体系
axioms of doxastic logic信念の論理の公理

「doxastic logic」のよくある間違い

✕ doxic logic

○ doxastic logic

この分野の標準的な用語は doxastic logic であり、doxic 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は主体の主観的な信念とその更新を扱う点にある。

「doxastic logic」のよくある質問

Q. doxastic logic は数えられる名詞ですか？

学問分野や理論一般を指す場合は、通常、数えない名詞として doxastic logic と使います。個別の論理体系を指す文脈では、a doxastic logic と表すこともあります。

Q. doxastic logic の doxastic はどういう意味ですか？

doxastic は「信念に関する」という意味の形容詞です。事実の知識よりも、ある主体が何を信じているかに関係します。

Q. doxastic logic はどの分野で使われますか？

人工知能、知識表現、哲学的論理学などで使われます。主体の信念や、その信念の変化を形式的に表すときに用いられるのが一般的です。