[論文レビュー] Logic: A Misleading Concept. A Contradiction Study toward Agent's Logic

Feng Liu, Florentín Smarandache|ArXiv.org|Nov 29, 2002

Advanced Mathematical Theories参考文献 1被引用数 10

ひとこと要約

この論文は、ネウトロソフィック論理に根ざした矛盾中心のアプローチを導入することで、従来の論理がエージェントベースの推論において誤解を招く枠組みであると挑戦する。中国の哲学的思考に由来する新しい哲学的・論理的枠組みを提唱し、エージェント論理における不整合性を解消する。ネウトロソフィーが科学的哲学の変容的分野としての可能性を示す。

ABSTRACT

The paper presents a fresh new comprehensive ideology on Neutrosophic Logic based on contradiction study. It does a survey on Chinese philosophy. The paper aims to solve the chaos of logic and exhibit the potential power of neutrosophy: a new branch of scientific philosophy.

研究の動機と目的

• 論理の伝統的理解が、エージェントの認知および意思決定のモデル化に不十分であると批判すること。
• 人工知能およびエージェントシステムで用いられる既存の論理枠組みにおける混沌と不整合を解決すること。
• 矛盾分析に根ざした包括的代替案としてのネウトロソフィック論理を提唱すること。
• ネウトロソフィーが科学的哲学の新しい分野として、哲学的および実用的潜在能力を有することを示すこと。
• 中国の哲学からの知見を統合し、不確実性および矛盾を扱える形式的論理体系を構築すること。

提案手法

• 矛盾と不確実性を扱うための基礎的原則を特定するため、中国思想の哲学的サーベイを実施する。
• 真、偽、不確実性を明示的にモデル化する三値論理体系としてのネウトロソフィック論理を導入する。
• 古典的論理および二値論理がエージェントに適用された際の欠陥を露呈するため、矛盾研究をコア分析手法として用いる。
• ネウトロソフィーの枠組みを用いて、従来の論理を統合・拡張し、非二値的・多値的推論を可能にする。
• 矛盾と曖昧性を一貫性と二元論よりも優先する論理の新しいイデオロギー的基盤を提唱する。
• 決定論的または純粋に合理的なものとしてではなく、不確実性と矛盾を乗り越えるシステムとしてエージェントの論理を形式化する。

実験結果

リサーチクエスチョン

• RQ1 古典的論理は、知的エージェントの推論プロセスをモデル化する際にどのように失敗するのか？
• RQ2 矛盾と不確実性を扱える論理を支える哲学的基盤として何が存在するのか？
• RQ3 ネウトロソフィック論理は、エージェントベースのシステムにおいて古典的論理の妥当な代替手段として機能できるか？
• RQ4 中国の哲学からの知見は、科学的および人工知能の応用に向けた新しい論理をどのように啓発するのか？
• RQ5 矛盾は、エージェント認知のより包括的かつ現実的な論理を形作る上で果たす役割は何か？

主な発見

• 古典的論理は、矛盾と不確実性を処理できないため、エージェントのモデル化に不適切であることが示された。
• ネウトロソフィック論理は、真、偽、不確実性を明示的にモデル化する形式的枠組みを提供し、エージェント推論のより現実的なモデルを実現した。
• 論理に中国の哲学的概念を統合することで、矛盾が推論の構造的特徴としての深い理解が得られた。
• 研究は、矛盾が欠陥ではなく、エージェントにおける合理的かつ認知的プロセスの根本的側面であることを示した。
• ネウトロソフィーは、論理学および認識論における長年の不整合を解消できる有望な科学的哲学の新しい分野として確立された。
• 提唱された枠組みは、人工知能および認知モデリングにおけるより強固で柔軟な論理的システムの実現に向けた道筋を提供した。