国产伦乱,一曲二曲欧美日韩,AV在线不卡免费在线不卡免费,搞91AV视频

當(dāng)前位置:主頁 > 社科論文 > 邏輯論文 >

計(jì)量邏輯學(xué)中的近似推理與二值邏輯中命題的條件真度理論

發(fā)布時(shí)間:2024-07-01 21:21
  眾所周知,數(shù)理邏輯的特點(diǎn)在于符號(hào)化和形式化,它和計(jì)算數(shù)學(xué)有截然不同的風(fēng)格:前者注重形式推理而后者注重?cái)?shù)值計(jì)算;前者強(qiáng)調(diào)嚴(yán)格論證而后者允許近似求解。王國俊教授提出的計(jì)量邏輯學(xué)將數(shù)值計(jì)算引入到數(shù)理邏輯中,其基本思想是:從基本概念的程度化入手,在各種邏輯系統(tǒng)中(包括二值命題邏輯系統(tǒng)L,Lukasiewicz多值命題邏輯系統(tǒng)Ln和Luk以及命題演算系統(tǒng)Ln~*和L~*)首先將重言式概念程度化,引入公式的真度概念,在此基礎(chǔ)上將邏輯等價(jià)概念程度化,引入了公式間的相似度概念,從而在F(S)上引入偽距離,提出一個(gè)理論Γ的發(fā)散度與相容度理論,最后給出一種近似推理理論,這種近似推理理論包括3種近似推理模式。 關(guān)于計(jì)量邏輯學(xué)已經(jīng)有了一系列的研究成果。但是還有一些問題需要進(jìn)一步探討:例如,在各種邏輯系統(tǒng)中如何刻畫單個(gè)公式A到Γ的全體結(jié)論之集D(Γ)的距離ρ(A,D(Γ))?當(dāng)Γ無限時(shí),如何計(jì)算理論Γ的發(fā)散度?計(jì)量邏輯學(xué)中三種近似推理模式之間的關(guān)系是什么?另外,計(jì)量邏輯學(xué)中關(guān)于近似推理的誤差累積問題和語義蘊(yùn)涵程度化問題至今還沒有涉及。本文主要解決以上這些問題,從而使計(jì)...

【文章頁數(shù)】:45 頁

【學(xué)位級(jí)別】:碩士

【文章目錄】:
摘要
Abstract
前言
第一章 預(yù)備知識(shí)
    1.1 計(jì)量邏輯學(xué)中的基本概念和性質(zhì)
    1.2 積分語義學(xué)中的基本概念和性質(zhì)
    1.3 L包含度
第二章 計(jì)量邏輯學(xué)中的近似推理
    2.1 計(jì)量邏輯學(xué)中三種近似推理模式之間的關(guān)系
    2.2 二值邏輯系統(tǒng)中近似推理的誤差累積理論
    2.3 積分語義學(xué)中的三種近似推理模式以及它們之間的關(guān)系
第三章 二值邏輯中命題的條件真度理論
    3.1 二值邏輯中命題的條件真度理論
    3.2 一種基于 L包含度的格值語義蘊(yùn)涵程度化方法
總結(jié)
參考文獻(xiàn)
致謝
攻讀碩士學(xué)位期間的研究成果



本文編號(hào):3999202

資料下載
論文發(fā)表

本文鏈接:http://lk138.cn/shekelunwen/ljx/3999202.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權(quán)申明:資料由用戶c638a***提供,本站僅收錄摘要或目錄,作者需要?jiǎng)h除請(qǐng)E-mail郵箱bigeng88@qq.com
国产AA久久大片日本| 国产免费看色老头TV| 久久伊人4| 99国产乱伦| 亚洲黑丝区一| 九色蝌蚪在线| 人妻丝袜一区二区三区伦理片| 久 久久影院| 麻豆国产三级国产片| 亚洲精品美女久久久999| 欧美午夜福利院| 色婷婷色婷婷网文学| 欧美美女插入的网站| 国产三级麻豆视频| 欧美日韩二品道| 精品欧美区| 亚洲日韩欧美情色| 色色综合久久久久久| 深爱丁香5月婷婷| 狠狠色亚洲| yeye综合网| Av后入系列| 美女AV网站在线观看| 少妇在线视频播放| 国产 欧美日韩视| 日韩成人天天色| 国产精品精典二区| 久久九九精品视频网bl| 国产精品~色哟哟| 久久电伦理| 日本调精品国产| 国产成人自拍AV电影院| 182福利tv久久久| 天天亲夜夜操| 国产乱婬AV麻豆国产免费| 99久久的简介| 综合久久久网| 超碰成人爱情动作片在线播放| 操你亚洲无码| 骚逼哼哼一区| 麻豆AV色|