在粗描述邏輯RALCQ中構造算子間的蘊含關系.pdf

1、本文分析了描述邏輯對不確定或不精確知識進行表示和推理的研究現狀和存在的問題。針對目前粗描述邏輯不能處理數量約束構造算子的不足，基于分級粗集理論提出了一種能處理數量約束構造算子的粗描述邏輯。給出了的語法、語義和性質。并在此理論框架中對粗描述邏輯中構造算子間的蘊含關系進行分析研究。 本文的主要成果如下： 一.在的框架上，構建了公理體系的蘊涵句子組成的上層結構。這在當前，是一個前沿的，熱門的趨勢。在一般的描述邏輯系統(tǒng)中，到目前

2、為止，推理機制只涉及到概念之間的包含關系和個體的屬性關系。而這些問題都是通過一些算法來解決的。目前作為邏輯推理，還缺乏完善的體系，其中應該含有公理集合和完善的推理規(guī)則。引入蘊涵句子集合的體制，是往此方向有意義的一步。參見定理 5.1. – 5.6。其中給出的蘊涵式的諸多性質，就將是推理規(guī)則的雛形。 二．給出了中涉及到數量約束構造算子的推理的基本性質。這些結果，在其它的文獻中還是沒有的。是獨立的研究成果。見定理 5.7.—5.12