本文關(guān)鍵詞：可拓邏輯的可滿足性問(wèn)題研究　出處：《數(shù)學(xué)的實(shí)踐與認(rèn)識(shí)》2015年12期 　論文類型：期刊論文

  更多相關(guān)文章： 可拓邏輯 可滿足性 矛盾問(wèn)題

【摘要】：可滿足性是邏輯語(yǔ)義理論的基本概念.在分析基元命題內(nèi)部的邏輯形式的基礎(chǔ)上,研究了可拓邏輯的語(yǔ)法及語(yǔ)義理論,給出了可拓邏輯中的可滿足性定義.討論了矛盾問(wèn)題的可拓邏輯表示,并給出了基于可滿足性概念的矛盾問(wèn)題定義和表示實(shí)例.
[Abstract]:Satisfiability is the basic concept of logical semantic theory. In the analysis of the internal element of propositional logic form on the basis of research extension syntax and semantic theory of logic, the extension logic satisfiability definition. Discusses the extension logic contradiction can be said, and gives the definition based on satisfaction the concept of contradiction and that instance.

【作者單位】： 廣東技術(shù)師范學(xué)院計(jì)算機(jī)科學(xué)學(xué)院;
【基金】：廣東省教育廳科研項(xiàng)目(2013KJCX0117)
【分類號(hào)】：O141
【正文快照】： 1引言《可拓邏輯初步》W是關(guān)于可拓邏輯研究的開創(chuàng)性工作,其中研究了命題的基元表示以及命題的真度.命題邏輯中的簡(jiǎn)單命題僅被賦予真假二值.作為擴(kuò)充,可拓邏輯以基元表示命題并稱之為基元命題,通過(guò)給定評(píng)價(jià)特征及其關(guān)聯(lián)函數(shù)計(jì)算基元命題的真度,由此研究了可拓變換與命題真假轉(zhuǎn)

【參考文獻(xiàn)】

相關(guān)期刊論文 前2條

1 陳文偉;楊春燕;黃金才;;可拓知識(shí)與可拓知識(shí)推理[J];哈爾濱工業(yè)大學(xué)學(xué)報(bào);2006年07期

2 孫弘安;;可拓命題與可拓推理句[J];哈爾濱工業(yè)大學(xué)學(xué)報(bào);2006年07期

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 張金春;金哲;王豐;李日華;;基于可拓分析與變換的導(dǎo)彈武器系統(tǒng)效能研究[J];兵工自動(dòng)化;2011年09期

2 陳文偉;黃金才;;屬性約簡(jiǎn)與數(shù)據(jù)挖掘的可拓變換與可拓知識(shí)的表示[J];重慶工學(xué)院學(xué)報(bào)(自然科學(xué)版);2007年07期

3 冷畫屏;吳曉鋒;余永權(quán);;對(duì)抗意圖識(shí)別技術(shù)研究現(xiàn)狀及其突破途徑[J];電光與控制;2008年04期

4 楊春燕;李衛(wèi)華;李小妹;;矛盾問(wèn)題智能化處理的理論與方法研究進(jìn)展[J];廣東工業(yè)大學(xué)學(xué)報(bào);2011年01期

5 李興森;朱正祥;劉艷彬;;預(yù)防客戶流失的可拓轉(zhuǎn)化策略研究[J];廣東工業(yè)大學(xué)學(xué)報(bào);2012年03期

6 陳文偉;陳晟;;計(jì)算機(jī)軟件進(jìn)化中創(chuàng)新變換和回歸變換[J];廣東工業(yè)大學(xué)學(xué)報(bào);2012年04期

7 張金春;張家賓;金哲;曹彪;;基于可拓學(xué)方法的電子戰(zhàn)系統(tǒng)作戰(zhàn)效能評(píng)估[J];四川兵工學(xué)報(bào);2014年09期

8 張艷;王軍;趙巖;;基于可拓網(wǎng)絡(luò)圖的設(shè)計(jì)方案智能化拓展及知識(shí)推理[J];廣東工業(yè)大學(xué)學(xué)報(bào);2014年04期

9 劉斌;朱明;王景華;張利;李獻(xiàn)會(huì);;基于可拓?cái)?shù)據(jù)挖掘的用戶需求獲取研究[J];合肥工業(yè)大學(xué)學(xué)報(bào)(自然科學(xué)版);2011年12期

10 趙銳;余永權(quán);張靜;;基于粗糙集數(shù)據(jù)分析的可拓推理機(jī)制研究[J];計(jì)算機(jī)科學(xué);2010年12期

相關(guān)博士學(xué)位論文 前10條

1 李德臣;基于可拓理論的小電流故障選線方法研究[D];中國(guó)礦業(yè)大學(xué);2010年

2 葉瑋瓊;基于可拓學(xué)的仿人控制及應(yīng)用研究[D];廣東工業(yè)大學(xué);2011年

3 秦晉;面向功能的創(chuàng)新概念設(shè)計(jì)問(wèn)題研究[D];合肥工業(yè)大學(xué);2007年

4 李興森;智能知識(shí)及其管理模式研究[D];中國(guó)科學(xué)院研究生院;2008年

5 蘇楠;基于可拓邏輯的產(chǎn)品族配置設(shè)計(jì)方法[D];浙江工業(yè)大學(xué);2009年

6 韓峰;玉米干燥過(guò)程數(shù)字模擬、控制及工藝專家系統(tǒng)[D];吉林大學(xué);2010年

7 路強(qiáng);面向功能的可視化創(chuàng)新概念設(shè)計(jì)方法研究[D];合肥工業(yè)大學(xué);2010年

8 唐志航;可拓?cái)?shù)據(jù)挖掘方法及其應(yīng)用研究[D];東華大學(xué);2009年

9 丁鳳華;自動(dòng)視覺檢測(cè)系統(tǒng)可拓設(shè)計(jì)方法研究[D];山東大學(xué);2013年

10 彭泓;基于數(shù)據(jù)挖掘與信息融合的瓦斯災(zāi)害預(yù)測(cè)方法研究[D];中國(guó)礦業(yè)大學(xué)（北京）;2013年

相關(guān)碩士學(xué)位論文 前6條

1 邊蘭蘭;系統(tǒng)動(dòng)力學(xué)結(jié)構(gòu)模型建模方法研究與應(yīng)用[D];南昌大學(xué);2010年

2 豆增發(fā);基于可拓規(guī)則和案例推理的混合專家系統(tǒng)[D];西安電子科技大學(xué);2007年

3 程燁;可拓論在知識(shí)生成和決策系統(tǒng)中的研究與應(yīng)用[D];廣東工業(yè)大學(xué);2007年

4 張夏雨;可拓檢測(cè)的要素聚焦及知識(shí)推理機(jī)制[D];廣東工業(yè)大學(xué);2008年

5 姚瑤;基于可拓理論的機(jī)械設(shè)備故障診斷方法研究[D];南京航空航天大學(xué);2013年

6 陳同慶;可配組液壓系統(tǒng)及其集成開發(fā)環(huán)境的研究[D];浙江大學(xué);2014年

【二級(jí)參考文獻(xiàn)】

相關(guān)期刊論文 前2條

1 蔡文;可拓論及其應(yīng)用[J];科學(xué)通報(bào);1999年07期

2 楊春燕;多評(píng)價(jià)特征基元可拓集研究[J];數(shù)學(xué)的實(shí)踐與認(rèn)識(shí);2005年09期

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 何冀婷;;一種基于可拓學(xué)的資源開拓方法[J];商場(chǎng)現(xiàn)代化;2009年26期

2 ;可拓學(xué)與創(chuàng)新方法國(guó)際研討會(huì)[J];智能系統(tǒng)學(xué)報(bào);2012年06期

3 楊春燕,吳福芝;可拓集合在資源開拓研究中的應(yīng)用[J];華南理工大學(xué)學(xué)報(bào)(自然科學(xué)版);2001年11期

4 李華,劉峰,賀仲雄;多維界殼約束下的模糊可拓經(jīng)濟(jì)控制[J];中國(guó)工程科學(xué);2001年08期

5 蔡文,楊春燕,何斌;可拓學(xué)研究中的若干問(wèn)題[J];廣東工業(yè)大學(xué)學(xué)報(bào);2001年01期

6 蔡文,楊春燕,何斌;可拓學(xué)基礎(chǔ)理論研究的新進(jìn)展[J];中國(guó)工程科學(xué);2003年02期

7 楊春燕;蔡文;;可拓?cái)?shù)據(jù)挖掘研究進(jìn)展[J];數(shù)學(xué)的實(shí)踐與認(rèn)識(shí);2009年04期

8 楊春燕;蔡文;;可拓學(xué)論文的發(fā)表情況、存在問(wèn)題及建議[J];數(shù)學(xué)的實(shí)踐與認(rèn)識(shí);2010年04期

9 楊春燕;李興森;;可拓創(chuàng)新方法及其應(yīng)用研究進(jìn)展[J];工業(yè)工程;2012年01期

10 陳俊;可拓?cái)?shù)學(xué)的形成與發(fā)展機(jī)制[J];廣東工業(yè)大學(xué)學(xué)報(bào);1999年01期

相關(guān)會(huì)議論文 前4條

1 翁揚(yáng)菲;賀仲雄;;可拓力在市場(chǎng)經(jīng)濟(jì)控制中的應(yīng)用[A];第二十四屆中國(guó)控制會(huì)議論文集（下冊(cè)）[C];2005年

2 常振興;賀仲雄;;模糊可拓經(jīng)濟(jì)控制的應(yīng)用與新探索[A];Systems Engineering, Systems Science and Complexity Research--Proceeding of 11th Annual Conference of Systems Engineering Society of China[C];2000年

3 翟藝書;董云影;陳木華;劉巍;王毅兵;;城市道路交通環(huán)境質(zhì)量的模糊可拓評(píng)價(jià)方法[A];第12屆全國(guó)模糊系統(tǒng)與模糊數(shù)學(xué)學(xué)術(shù)年會(huì)論文集[C];2004年

4 譚國(guó)玉;劉天祿;鄭德源;黃棟材;;統(tǒng)籌學(xué)——一門研究和實(shí)踐統(tǒng)籌兼顧規(guī)律與方法的學(xué)科[A];2001年中國(guó)管理科學(xué)學(xué)術(shù)會(huì)議論文集[C];2001年

相關(guān)碩士學(xué)位論文 前10條

1 楊丹丹;基于可拓?cái)?shù)學(xué)理論的多屬性決策方法研究[D];大連海事大學(xué);2010年

2 曾學(xué)峰;可拓檢測(cè)的檢測(cè)方案評(píng)價(jià)模型研究[D];廣東工業(yè)大學(xué);2011年

3 李承曉;可拓策略生成系統(tǒng)框架設(shè)計(jì)與復(fù)用研究[D];廣東工業(yè)大學(xué);2011年

4 苗春雷;多目標(biāo)規(guī)劃的可拓解[D];大連海事大學(xué);2008年

5 陳偉國(guó);矛盾問(wèn)題中矛盾信息弱化策略的研究[D];廣東工業(yè)大學(xué);2011年

6 李（？）兵;經(jīng)濟(jì)混沌的可拓預(yù)測(cè)方法研究[D];重慶大學(xué);2004年

7 蔣燕;可拓法在第三方物流企業(yè)信譽(yù)評(píng)價(jià)中的應(yīng)用研究[D];長(zhǎng)安大學(xué);2009年

8 沈航;可拓聚類預(yù)測(cè)方法在煙草銷售量預(yù)測(cè)中的應(yīng)用研究[D];昆明理工大學(xué);2005年

9 閆東方;可拓層次分析法及其應(yīng)用[D];大連海事大學(xué);2012年

10 趙霞;基于可拓學(xué)的工業(yè)園可持續(xù)發(fā)展評(píng)價(jià)研究[D];大連理工大學(xué);2008年

，

本文編號(hào)：1358690