在粗描述邏輯RALCQ中構(gòu)造算子間的蘊(yùn)含關(guān)系.pdf

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

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