计算机光盘软件与应用
計算機光盤軟件與應用
계산궤광반연건여응용
COMPUTER CD SOFTWARE ADN APPLICATIONS
2013年
16期
302-303
,共2页
模糊描述逻辑%模态逻辑%模态模糊描述逻辑
模糊描述邏輯%模態邏輯%模態模糊描述邏輯
모호묘술라집%모태라집%모태모호묘술라집
模糊描述逻辑的提出是针对现实生活中存在的模糊现象，而模态逻辑解决的是现实生活中具有的状态和状态转换现象等。将模态逻辑中的模态思想和模糊逻辑中的模糊理论相结合，同时结合描述逻辑，形成模态模糊描述逻辑（M-FALC）。考虑不同论域中的可能存在的模糊概念，关系，公式等，本文给出M-FALC的形式化公理体系及其推理，既能解决现实问题中的状态现象又解决模糊现象。
模糊描述邏輯的提齣是針對現實生活中存在的模糊現象，而模態邏輯解決的是現實生活中具有的狀態和狀態轉換現象等。將模態邏輯中的模態思想和模糊邏輯中的模糊理論相結閤，同時結閤描述邏輯，形成模態模糊描述邏輯（M-FALC）。攷慮不同論域中的可能存在的模糊概唸，關繫，公式等，本文給齣M-FALC的形式化公理體繫及其推理，既能解決現實問題中的狀態現象又解決模糊現象。
모호묘술라집적제출시침대현실생활중존재적모호현상，이모태라집해결적시현실생활중구유적상태화상태전환현상등。장모태라집중적모태사상화모호라집중적모호이론상결합，동시결합묘술라집，형성모태모호묘술라집（M-FALC）。고필불동론역중적가능존재적모호개념，관계，공식등，본문급출M-FALC적형식화공리체계급기추리，기능해결현실문제중적상태현상우해결모호현상。
