知識論の論理
「知識論の論理」の英語
「知識論の論理」は英語で epistemic logic と言います。複数の主体が持つ知識や情報を形式的に扱う論理体系を指す専門用語です。epistemology（知識論）とは別の概念です。
「知識論の論理」の英語の使い分け
複数の主体の知識や情報の分布を形式的に扱う専門用語です。
「知識論の論理」の例文
Computer scientists apply epistemic logic to model multi-agent knowledge.
計算機科学者は多主体の知識をモデル化するために知識論の論理を応用する。
コアイメージ
知識論の論理は、複数主体の知識や情報の分布とその推論を形式的に表す論理体系
英英
A branch of modal logic that formalizes agents' knowledge and its distribution, specifying what each agent knows, what they know about others, and valid inferences about knowledge.
語源
epistemic logicは、ギリシャ語 epistēmē（知識）に由来するepistemic（知識の）と、論理を意味するlogicが結びついてできた用語で、知識を形式的に扱う論理体系を指す。
コラム
- epistemicとepistemologyは異なり、前者は“知識に関する性質”を扱う修飾語で概念的な論理体系を指す一方、後者は知識を扱う哲学の分野を指す点に注意。
「知識論の論理」のレベル別の例文
- 中学
This theory uses epistemic logic to study knowledge.
- 高校・英検2級
Epistemic logic helps explain what each person knows.
- TOEIC・ビジネス
Our team uses epistemic logic to model information sharing.
- 日常会話
What is epistemic logic used for?
「知識論の論理」を英語にするときのよくある間違い
× epistemology logic
epistemologyは知識を扱う哲学分野で、論理体系を修飾する形容詞ではありません。