簡介
運用現代邏輯方法構造能確切體現傳統邏輯的深刻正確的主導思想的制約系統的科學。制約系統中的制約關係就是據以進行不循環論證的推理格式的理論核心。制約系統是制約邏輯形式化公理系統。制約關係是其基本概念,這種關係即刻畫清楚後的充分條件關係。
針對鮮果等級評定專家系統二次開發中存在的結論重複率高、錄入工作量大的問題,提出了數量化錄入模型構建思路:將模型參數進行量化,然後利用基於農業專家系統的推理機進行二次循環推理,最終給出結論。在實施城市可持續發展戰略過程中,建立和發展城市循環經濟體系是推進城市可持續發展的必然選擇城市發展循環經濟的目的在於使城市的經濟發展、社會進步、生態環境得到保護,因此城市循環經濟系統由經濟、社會和生態三個子系統組成,三個子系統之間要達到一種理想的最佳化組合狀態 文以城市循環經濟系統為研究對象,構建了城市循環經濟系統的評價指標體系,建立了基於模糊邏輯推理的城市循環經濟系統的評價模型,並具體套用於南京市循環經濟系統的評價
運用現代邏輯方法構造能確切體現傳統邏輯的深刻正確的主導思想的制約系統的科學。制約系統中的制約關係就是據以進行不循環論證的推理格式的理論核心。制約系統是制約邏輯形式化公理系統。制約關係是其基本概念,這種關係即刻畫清楚後的充分條件關係。
針對鮮果等級評定專家系統二次開發中存在的結論重複率高、錄入工作量大的問題,提出了數量化錄入模型構建思路:將模型參數進行量化,然後利用基於農業專家系統的推理機進行二次循環推理,最終給出結論。