中介模糊邏輯(Mediative Fuzzy Logic)最初被構想為一種實用方案,用於在模糊控制和決策中調和猶豫或衝突的評估。然而,其邏輯和語義基礎仍然不完善,尤其是超越操作性一型設置。由Oscar Montiel Ross撰寫的本文系統性地闡述了一型核心及其與區間二型、粒狀三型和量子擴展的統一框架。
研究人員將中介算子特徵化為由猶豫和矛盾控制的凸聚合,將中介真值建模為連續雙格狀結構中的獨立真假對,並引入了一個擴展標準t-範數模糊邏輯的命題系統,新增了中介連接詞。他們建立了無中介公式的可靠性、次協調性和對底層模糊基礎的保守性,並制定了到區間二型真值、粒度索引局部評估以及希爾伯特空間上的效應和密度算子的相干語義擴展。
一個自動駕駛剎車傳感器融合示例説明了該框架如何在處理不完整、異質和輕微矛盾證據時支持透明、保守和優先安全的決策。在適當假設下,更高層次的表述可簡化為標準一型情況,從而闡明瞭跨層次的連貫性,併為未來智能決策系統的工作提供了可靠支持。
該論文長達30頁,包含1幅圖,涉及人工智能、邏輯學和量子物理學等多個學科。其貢獻不僅在於統一了模糊邏輯的不同層次,還在於為處理猶豫和矛盾提供了形式化基礎,有望在自動駕駛、機器人控制、智能感知等領域產生重要應用。