【摘要】：概率模型P是為有效地檢驗命題演算系統(tǒng)之永真(假)函項、永真蘊涵關系;求取命題(合取、析取)范式及證明各重言式定理而特設的一種純數(shù)學模型.其特征是,在運算中既保持概率運算的基本性質,又滿足命題演算的邏輯要求,且運算關系簡單(僅含算術運算+、-、×).
【作者單位】： 長沙大學人文系
【分類號】：O141.1

【共引文獻】

相關期刊論文 前10條

1 葉思聰;;普適信源、普適劃分及語義識別信息[J];西安交通大學學報;1990年02期

2 陳乃輝;數(shù)理統(tǒng)計教材建設芻議[J];高等理科教育;2002年06期

3 蘇岐芳,楊捷飛;0—1多項式與命題邏輯[J];高師理科學刊;1995年03期

4 宿維軍;化簡命題演算一例[J];甘肅高師學報;2000年02期

5 李辰;公理化方法的會計學應用:會計基本理論的解構與重構[J];會計研究;2003年09期

6 朱嶺,周政,于景元;離散事件系統(tǒng)狀態(tài)反饋控制的幾何理論[J];控制與決策;1991年01期

7 楊柯,王冰笛,張立翔,李桂青;充液管道流固耦合4方程模型的一個解析解[J];水動力學研究與進展A輯;1999年04期

8 蘇岐芳,蘇雅春;命題邏輯中的可表性[J];松遼學刊(自然科學版);1997年04期

9 王海明;論倫理學體系的構建方法[J];上海師范大學學報(哲學社會科學版);2002年04期

10 張型岱,張格華;主范式的運算性質[J];數(shù)學的實踐與認識;2004年04期

相關博士學位論文 前2條

1 張力鋒;模態(tài)邏輯和本質主義[D];北京大學;2004年

2 郝清賦;邏輯系統(tǒng)動態(tài)結構演化研究[D];國防科學技術大學;2006年

相關碩士學位論文 前4條

1 李麗宏;歐幾里得與阿基米德數(shù)學思想之比較[D];上海師范大學;2007年

2 黃金華;正規(guī)模態(tài)邏輯的自然演繹及其證明論性質探微[D];華南師范大學;2007年

3 王軼;認知邏輯的動態(tài)化理論[D];中國人民大學;2005年

4 賈改琴;知道謂詞邏輯[D];西南師范大學;2005年

【相似文獻】

相關期刊論文 前10條

1 余嘉元;項目反應理論研究中的計算機模擬方法[J];心理科學;1991年02期

2 ;廖鼎烈教授參加第十六屆國際混凝土及結構學術會議[J];石家莊鐵道學院學報;1991年04期

3 羅冠中;;Rasch模型及其發(fā)展[J];教育研究與實驗;1992年02期

4 李小五;用帶測度函數(shù)的可能世界語義學解釋—歸納認知邏輯[J];自然辯證法研究;1993年02期

5 劉霞，潘曉良;關于不確定性問題解決的研究[J];湖北大學學報(哲學社會科學版);1995年04期

6 馬劍虹;GUTTMAN量表的概率模型及其發(fā)展[J];心理發(fā)展與教育;1997年04期

7 朱靖波,姚天順;面向數(shù)據(jù)的句法分析技術[J];中文信息學報;1998年01期

8 劉挺;馬金山;李生;;基于詞匯支配度的漢語依存分析模型[J];軟件學報;2006年09期

9 周健勇;;命題演算系統(tǒng)S的概率模型[J];數(shù)學的實踐與認識;2006年12期

10 楊軍;;概率性優(yōu)選論[J];當代語言學;2007年02期

相關會議論文 前10條

1 劉懷高;;難度自增殖系統(tǒng)的一類概率模型[A];復雜巨系統(tǒng)理論·方法·應用——中國系統(tǒng)工程學會第八屆學術年會論文集[C];1994年

2 金炳堯;蔚承建;何振亞;;一個基于遺傳與局部搜索的概率學習算法[A];1999年中國智能自動化學術會議論文集（下冊）[C];1999年

3 曹莘耕;;線切割數(shù)控計算機可靠性計算及其應用[A];第四屆全國電加工學術會議論文集[C];1983年

4 楊丹宇;;應用于非特定人孤立詞小字表漢語語音識別中的新的隱式概率模型[A];第二屆全國人機語音通訊學術會議論文集[C];1992年

5 何為民;趙銳;陳光發(fā);;軍事口令非特定人識別系統(tǒng)的實現(xiàn)[A];第三屆全國人機語音通訊學術會議論文集[C];1994年

6 朱思俞;李建人;余金森;王海燕;;在中等噪聲背景下的全音節(jié)漢語語音識別[A];第三屆全國人機語音通訊學術會議論文集[C];1994年

7 王海燕;朱思俞;李建人;余金森;;噪聲背景下大詞匯漢語語音識別[A];第三屆全國人機語音通訊學術會議論文集[C];1994年

8 張少華;言茂松;;抽水蓄能電站調(diào)峰效益的經(jīng)濟評價[A];1995中國控制與決策學術年會論文集[C];1995年

9 高小旺;魏璉;;結構抗震可靠度的分析方法[A];工程結構可靠性——中國土木工程學會橋梁及結構工程學會第七屆學術會議論文集[C];1987年

10 瞿偉康;李桂青;;建筑結構基于雙重破壞機制的彈塑性變形抗震可靠性(基于剪切型層間模型)[A];工程結構可靠性——中國土木工程學會橋梁及結構工程學會第七屆學術會議論文集[C];1987年

相關重要報紙文章 前10條

1 記者郭均忠;結構可靠度理論為橋梁護駕[N];中國交通報;2002年

2 清華大學計算機系智能技術與系統(tǒng)國家重點實驗室 張敏 金奕江;尋“寶”有術[N];計算機世界;2003年

3 梁瑞安;資金管理的古典概率模型[N];期貨日報;2003年

4 見依;學會用計量經(jīng)濟學研究人力資本[N];北京人才市場報;2003年

5 馮 佳 劉興龍;安永搶跑銀行內(nèi)部評級咨詢業(yè)[N];證券日報;2005年

6 王一琳 夏峰 王立偉;亞太區(qū)銀行離巴塞爾Ⅱ很遠[N];東方早報;2005年

7 張雪峰;信息檢索技術的新視角[N];中華讀書報;2005年

8 李必德(Peter Zimmerli);亞洲臺風模型需要精益求精[N];中國保險報;2006年

9 特約記者 趙應繁;湖北地災信息實現(xiàn)共享[N];中國礦業(yè)報;2006年

10 程實;世界杯,如何影響全球股市[N];第一財經(jīng)日報;2006年

相關博士學位論文 前10條

1 王笑蓉;蟻群優(yōu)化的理論模型及在生產(chǎn)調(diào)度中的應用研究[D];浙江大學;2003年

2 黃曉英;鐘控生成器概率模型輸出序列的性質研究[D];中國人民解放軍信息工程大學;2003年

3 沈照偉;基于可靠度的海洋工程隨機荷載組合及設計方法研究[D];浙江大學;2004年

4 孫慶杰;靜態(tài)圖像中人體檢測技術研究[D];中國科學院研究生院（軟件研究所）;2004年

5 譚毅華;完全可伸縮小波視頻編碼及后處理技術研究[D];華中科技大學;2004年

6 劉揚;混凝土斜拉橋施工期的時變可靠性研究[D];湖南大學;2005年

7 郭麗峰;電梯導軌不平順度測量、建模及轎箱水平振動特性的研究[D];天津大學;2005年

8 呂穎釗;在役混凝土橋梁可靠性評估與壽命預測研究[D];長安大學;2006年

9 萬臻;斜拉橋結構可靠性評估及剩余壽命預測[D];西南交通大學;2006年

10 阮欣;橋梁工程風險評估體系及關鍵問題研究[D];同濟大學;2006年

相關碩士學位論文 前10條

1 周斌;應用于數(shù)字圖書館的分布式檢索技術的研究與實現(xiàn)[D];國防科學技術大學;2001年

2 張衛(wèi)明;帶記憶非線性組合生成器的概率模型及相關性分析[D];中國人民解放軍信息工程大學;2002年

3 肖萍;橋梁技術狀況評價與預測[D];長安大學;2003年

4 楊曉萍;存在項目無回答時的因子分析[D];華東師范大學;2001年

5 王宗忠;模具協(xié)作制造項目管理信息監(jiān)視預警的研究[D];廣東工業(yè)大學;2004年

6 劉春光;偏微分方程邊值問題的蒙特卡羅解法[D];吉林大學;2004年

7 羅U喫，

本文編號：2537719