基于模态的模糊描述逻辑（M-FALC）的形式化公理体系

摘要

模糊描述逻辑的提出是针对现实生活中存在的模糊现象，而模态逻辑解决的是现实生活中具有的状态和状态转换现象等。将模态逻辑中的模态思想和模糊逻辑中的模糊理论相结合，同时结合描述逻辑，形成模态模糊描述逻辑（M-FALC）。考虑不同论域中的可能存在的模糊概念，关系，公式等，本文给出M-FALC的形式化公理体系及其推理，既能解决现实问题中的状态现象又解决模糊现象。