首頁 >
期刊 >
自然科學(xué)與工程技術(shù) > 工程科技I > 綜合科技A類綜合 >
湖南科技大學(xué)學(xué)報·自然科學(xué)版 >
不用聯(lián)結(jié)詞的“舍…取…”型自然推演系統(tǒng) 【正文】
不用聯(lián)結(jié)詞的“舍…取…”型自然推演系統(tǒng)
杜國平 中國社會科學(xué)院哲學(xué)研究所; 北京100732
- 括號表示法
- 量詞
- 自然推理系統(tǒng)
摘要："不…而…"("舍…取…")是漢語常用的一個二元聯(lián)結(jié)詞,在形式語言中可以不用聯(lián)結(jié)詞,直接使用括號來表達(dá)"不…而…"("舍…取…")的語法功能。在括號表示法的形式語言中,"()"有既有結(jié)構(gòu)性功能,也有聯(lián)結(jié)詞功能,還有量詞功能。基于純粹的括號表示法,建立了以"舍…取…"作為初始聯(lián)結(jié)詞的命題邏輯自然推理系統(tǒng)Z1和一階自然推理系統(tǒng)QZ1,它們與通常的命題邏輯系統(tǒng)和一階系統(tǒng)等價,具有可靠性和完全性。
注：因版權(quán)方要求，不能公開全文，如需全文，請咨詢雜志社
湖南科技大學(xué)學(xué)報·自然科學(xué)版
- 預(yù)計1-3個月 預(yù)計審稿周期
- 1.19 影響因子
- 工業(yè) 快捷分類
- 季刊 出版周期
主管單位：湖南省教育廳;主辦單位：湖南科技大學(xué)
我們提供的服務(wù)
在線客服
一對一咨詢服務(wù)、簡單快捷、省時省力
了解更多 >
快遞配送
直郵到家、實(shí)時跟蹤、更安全更省心
了解更多 >
雜志訂閱
去除中間環(huán)節(jié)享受低價，物流進(jìn)度實(shí)時通知
了解更多 >
雜志推薦
正版雜志，匹配度高、性價比高、成功率高
了解更多 >