《知識推理的計量化與隨機化研究》是依託陝西師範大學，由王國俊擔任項目負責人的面上項目。
基本介紹
- 中文名：知識推理的計量化與隨機化研究
- 項目類別：面上項目
- 項目負責人：王國俊
- 依託單位：陝西師範大學
- 批准號：10771129
- 申請代碼：A0602
- 負責人職稱：教授
- 研究期限：2008-01-01 至 2010-12-31
- 支持經費：26（萬元）
項目摘要
知識推理已經成為現代人工智慧科學的重要組成部分，Kripke結構在知識推理理論中扮演著核心角色，其中當事人i對命題A的認可判斷KiA是基於單個的賦值而得出的，所以這種判斷只具有局部性.本項目則利用均勻機率測度空間的無窮乘積和測度化映射從集成所有的賦值出發給出當事人對各命題的整體判斷，建立起計量化的知識推理理論；其次，鑒於不確定的命題成立與否的機率未必相等，我們將（0，1）中的隨機序列依次作為全體可數多個原子命題序列的真度，通過建立當事人之間關係的轉換函式等方法將計量化的Kripke知識結構再進行隨機化；再次，本項目將拓廣賦值域，把經典的、最簡的二值賦值域{0,1}推廣為能容納更多信息存儲量的一般的Boole代數，建立真度不變性定理；最後，本項目將進而再把Boole代數推廣為機率測度空間，使邏輯公式以機率測度空間中的可測集為賦值，最終建立起廣泛的帶有隨機性的計量化知識推理理論.
