deontic logic

「deontic logic」の例文例文

Researchers use deontic logic to model obligations in ethical systems.

研究者は義務論理を用いて倫理体系における義務をモデル化する。

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

義務論理は命題や状態に対して義務・許可・禁止の関係を記号で表し推論を可能にする形式手法を示す

「deontic logic」の英英英英

Logic concerned with the formal representation and reasoning about obligations, permissions, and prohibitions using deontic operators.

「deontic logic」の語源語源

deontic logicは、deontic（義務）を表す語根deonと接尾辞-ic、そしてlogic（論理）を組み合わせた語で、1950年代にG. H. von Wrightらによって義務を形式化する枠組みとして確立された

「deontic logic」のコラムコラム

• 義務論理ではO（義務）やP（許可）といった記号を用いて規範推論を形式化し、法体系の分析やアクセス制御、倫理的AIの仕様検証に応用される

単語を報告