概要 - モデリング（デオンティック）モーダル演算子とs(CASP)ゴール指向的な宣言的な答えセットプログラミングシステム Translation: モデリング（デオンティック）モーダル演算子とs(CASP)ゴール指向的な宣言的な答えセットプログラミングシステム

モデリング（デオンティック）モーダル演算子とs(CASP)ゴール指向的な宣言的な答えセットプログラミングシステム Translation: モデリング（デオンティック）モーダル演算子とs(CASP)ゴール指向的な宣言的な答えセットプログラミングシステム

2025-07-07 22:31:54

{"Gopal Gupta","Abhiramon Rajasekharan","Alexis R. Tudor","Elmer Salazar","Joaquín Arias"}

{cs.AI,cs.LO}

この論文では、応答セットプログラミング（ASP）を使用して道徳的模擬論理の実装を探っています。道徳的模擬論理は、義務、許可、禁止などの規範的概念に関する推論を形式化します。著者たちは、ASPに存在するデフォルト否定（否定としての失敗）と強否定を使用して、道徳的模擬演算子を美しく表現する方法を示しています。彼らは、ASPのグローバル制約を使用して道徳的模擬論理の義務と禁止を表現することを提唱し、この表現が道徳的模擬論理の様々なパラドックスを美しく解決する方法を示しています。 論文は以下の主要なポイントを強調しています： 1. **模擬論理と道徳論理**：模擬論理は「必然的に」「可能に」といった模擬演算子を導入することで、古典論理を拡張します。道徳的模擬論理は、義務、許可、禁止などの規範的概念に関する推論を形式化する模擬論理です。 2. **ASPへのマッピング**：著者たちは、デフォルト否定と強否定を使用して模擬論理をASPにマッピングします。命題の次に否定が現れる場合、強否定にマッピングされ、模擬演算子の次に否定が現れる場合、デフォルト否定にマッピングされます。 3. **グローバル制約**：著者たちは、ASPのグローバル制約を使用して義務と禁止を表現することを提唱し、これにより道徳論理の公式をASPに直接かつ美しくエンコードする方法が可能になります。 4. **パラドックスの解決**：著者たちは、提案された表現が道徳論理の様々なパラドックス、例えば義務に対する反論パラドックスやForresterのパラドックスを美しく解決する方法を示しています。 5. **例**：著者たちは、彼らのアプローチを示すための包括的な例を提供しています。彼らは、ジョンが午前中に友人の車を返さなければならないという状況をモデル化し、義務と禁止がASPを使用してどのように表現されるかを示しています。 6. **関連研究との比較**：著者たちは、ASPを使用して道徳論理をモデル化する既存の研究と彼らのアプローチを比較しています。彼らのアプローチの利点、例えば道徳論理の公式をASPコードに直接マッピングし、述語を処理する方法を強調しています。 要約すると、この論文はASPを使用して道徳的模擬論理を実装する革新的で美しいアプローチを提案しています。提案された表現は、道徳論理の公式を直接かつ効率的にエンコードし、様々なパラドックスを効果的に解決します。この研究は、知識表現と推論の分野に貢献し、法律論理や倫理的決定など、多くの分野に応用の可能性があります。