發(fā)布時間：2017-12-31 07:12

  本文關鍵詞：可拓邏輯的可滿足性問題研究　出處：《數學的實踐與認識》2015年12期 　論文類型：期刊論文

  更多相關文章： 可拓邏輯 可滿足性 矛盾問題

【摘要】：可滿足性是邏輯語義理論的基本概念.在分析基元命題內部的邏輯形式的基礎上,研究了可拓邏輯的語法及語義理論,給出了可拓邏輯中的可滿足性定義.討論了矛盾問題的可拓邏輯表示,并給出了基于可滿足性概念的矛盾問題定義和表示實例.
[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.

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

【參考文獻】

相關期刊論文 前2條

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

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

【共引文獻】

相關期刊論文 前10條

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

2 陳文偉;黃金才;;屬性約簡與數據挖掘的可拓變換與可拓知識的表示[J];重慶工學院學報(自然科學版);2007年07期

3 冷畫屏;吳曉鋒;余永權;;對抗意圖識別技術研究現狀及其突破途徑[J];電光與控制;2008年04期

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

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

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

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

8 張艷;王軍;趙巖;;基于可拓網絡圖的設計方案智能化拓展及知識推理[J];廣東工業(yè)大學學報;2014年04期

9 劉斌;朱明;王景華;張利;李獻會;;基于可拓數據挖掘的用戶需求獲取研究[J];合肥工業(yè)大學學報(自然科學版);2011年12期

10 趙銳;余永權;張靜;;基于粗糙集數據分析的可拓推理機制研究[J];計算機科學;2010年12期

相關博士學位論文 前10條

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

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

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

4 李興森;智能知識及其管理模式研究[D];中國科學院研究生院;2008年

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

6 韓峰;玉米干燥過程數字模擬、控制及工藝專家系統[D];吉林大學;2010年

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

8 唐志航;可拓數據挖掘方法及其應用研究[D];東華大學;2009年

9 丁鳳華;自動視覺檢測系統可拓設計方法研究[D];山東大學;2013年

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

相關碩士學位論文 前6條

1 邊蘭蘭;系統動力學結構模型建模方法研究與應用[D];南昌大學;2010年

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

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

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

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

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

【二級參考文獻】

相關期刊論文 前2條

1 蔡文;可拓論及其應用[J];科學通報;1999年07期

2 楊春燕;多評價特征基元可拓集研究[J];數學的實踐與認識;2005年09期

【相似文獻】

相關期刊論文 前10條

1 何冀婷;;一種基于可拓學的資源開拓方法[J];商場現代化;2009年26期

2 ;可拓學與創(chuàng)新方法國際研討會[J];智能系統學報;2012年06期

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

4 李華,劉峰,賀仲雄;多維界殼約束下的模糊可拓經濟控制[J];中國工程科學;2001年08期

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

6 蔡文,楊春燕,何斌;可拓學基礎理論研究的新進展[J];中國工程科學;2003年02期

7 楊春燕;蔡文;;可拓數據挖掘研究進展[J];數學的實踐與認識;2009年04期

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

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

10 陳俊;可拓數學的形成與發(fā)展機制[J];廣東工業(yè)大學學報;1999年01期

相關會議論文 前4條

1 翁揚菲;賀仲雄;;可拓力在市場經濟控制中的應用[A];第二十四屆中國控制會議論文集（下冊）[C];2005年

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

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

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

相關碩士學位論文 前10條

1 楊丹丹;基于可拓數學理論的多屬性決策方法研究[D];大連海事大學;2010年

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

3 李承曉;可拓策略生成系統框架設計與復用研究[D];廣東工業(yè)大學;2011年

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

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

6 李（？）兵;經濟混沌的可拓預測方法研究[D];重慶大學;2004年

7 蔣燕;可拓法在第三方物流企業(yè)信譽評價中的應用研究[D];長安大學;2009年

8 沈航;可拓聚類預測方法在煙草銷售量預測中的應用研究[D];昆明理工大學;2005年

9 閆東方;可拓層次分析法及其應用[D];大連海事大學;2012年

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

，

本文編號：1358690