《不確定性推理與語義網中知識表示的數學基礎》是依託電子科技大學,由雷銀彬擔任醒目負責人的青年科學基金項目。
基本介紹
- 中文名：不確定性推理與語義網中知識表示的數學基礎
- 依託單位：電子科技大學
- 項目類別：青年科學基金項目
- 項目負責人：雷銀彬
項目摘要,結題摘要,
項目摘要
不確定性在人類思維活動中占主導地位，不確定性推理問題也是近年來中外學者研究的熱點之一，現實世界中包括全球資訊網上的知識、數據絕大部信息均具有不確定性，我們不能或難以通過精確方式來處理。現有的邏輯系統中得到的不確定推理模式尚有明顯需要改進之處，或者很難套用於實際問題。經典數學中的Domain理論、拓撲學、範疇論與邏輯推理之間具有本質深刻的聯繫，而知識表示的最終目的仍是邏輯推理，本項目將研究不確定性推理和知識表示的數學基礎，我們將充分利用Domain理論、拓撲學、範疇論及模糊邏輯的思想方法，並藉助數據分析處理的有力工具：形式概念分析、粗糙集論，研究語義網（Semantic Web）中的知識表示和推理以及邏輯推理規則的構建，研究不確定性理論，特別是構建不確定性推理邏輯框架。
結題摘要
本項目圍繞不確定性推理與語義網中知識表示的數學基礎主要研究了以下三方面內容：1、基於形式概念分析和粗糙集的思想擴展了語義網中知識表示的邏輯基礎，給出了粗糙描述邏輯新的框架，並將Tableaux算法套用在新的邏輯框架中；2、利用拓撲學的思想，為任意子集系統的完備化找到了對應的運算元處理方法，進一步，也為任意集合中對象（點）進行清楚的化分（分類）提供了不同方法，也為更一般情形下的不確定性研究奠定了理論基礎；3、以及作為原計畫在執行過程中的補充部分的: 關於可數積空間的SCREENABLENESS的研究。
