999精品在线视频,手机成人午夜在线视频,久久不卡国产精品无码,中日无码在线观看,成人av手机在线观看,日韩精品亚洲一区中文字幕,亚洲av无码人妻,四虎国产在线观看 ?

認知邏輯簡論

2013-08-15 00:54:11王太忠
科技視界 2013年17期
關鍵詞:人工智能學科理論

王太忠

(昭通學院 中文系,云南昭通657000)

認知邏輯簡論

王太忠

(昭通學院 中文系,云南昭通657000)

認知邏輯是邏輯學、認知心理學、計算機科學的交叉研究領域,它研究諸如知道、相信、斷定、問題這樣一些認識論方面的概念范圍內出現的邏輯問題。認知邏輯的學科體系包括邏輯哲學和哲學邏輯、語言邏輯、心理邏輯、文化與進化的邏輯、人工智能的邏輯、神經網絡方法與網格的邏輯。由于跨學科專家的稀缺,目前認知邏輯的研究還存在很多困難。

認知邏輯;邏輯學;認知心理學;計算機科學

1 認知邏輯的概念

認知邏輯亦稱“認識論邏輯”。從字面上來理解,認知邏輯就是有關知識的邏輯。具體來說,認知邏輯“研究諸如知道、相信、斷定、問題這樣一些認識論方面的概念范圍內出現的邏輯問題。”[1]與經典邏輯和其他非經典邏輯不同的是,認知邏輯不處理事實上如何、可能如何、必然如何等問題,而是處理認知者對事實的知道、相信、斷定、疑問等問題。隨著認知邏輯研究的不斷深入和學科交叉的日益復雜,“現在我們看到的認知邏輯的范圍已經從知識擴充到了信念,甚至涉及到更多的認識論概念。”[2]

關于認知邏輯的定義,不同的學者給出了不同的觀點。周昌樂在《認知邏輯導論》中說:“認知邏輯,一作認識邏輯,但與認識論邏輯頗有大小之別,主要是研究知識和信念的形式化問題的邏輯分支。”[3]李志才在其主編的《方法論全書》中指出:“認知邏輯就是用邏輯演算的方法來研究含有諸如知道、相信、斷定、認為、懷疑等認識模態詞的認識模態命題形式的一門學科。”[4]從這些定義,我們不難看出認知邏輯的研究主體及其內容。

2 認知邏輯的產生與發展

認知邏輯的古老源頭可以上溯到亞里士多德,他的前分析篇和后分析篇中都涉及到了現代認知邏輯所研究的基本問題。經歷了2000多年的漫長發展,世界上第一本詳細討論認知邏輯的著作是1962年辛迪卡寫的《知識和信念》。辛迪卡使用模型來刻畫語義,使認知邏輯發展到了一個新的水平,至此,認知邏輯作為邏輯學、認知心理學、計算機科學的交叉科學,被越來越多的人們所重視。隨著學科理論的不斷發展以及交叉研究的不斷深入,認知邏輯研究方向逐漸由理論階段走向具體實際應用。

知識在于運用。實際應用方面的研究推動了認知邏輯的發展動力,拓寬了認知邏輯廣闊的發展空間,開辟了認知邏輯新的研究方向,例如,認知語言的更新語義,模態邏輯動態化,信念修正,動態邏輯的認知研究以及認知邏輯的動態研究,其中,信念修正在認知邏輯的研究中起著重要的作用。信念修正的的理論是由阿爾羅若、梅肯森和加德福斯三人1985年正式提出來的。這一系列的研究成果催生了動態認知邏輯。動態認知邏輯研究是從1989年普拉扎的《公開宣告的邏輯》一文開始的。如今,認知邏輯的研究在更廣闊的領域與更多的學科結合起來,在心理科學、教育學科、社會應用等方面有更為廣闊的應用范圍,從辛提卡所說的第一代認知邏輯的研究進入到了第二代認知邏輯的研究。

3 認知邏輯的研究內容和方法

中山大學邏輯與認知研究所的鞠實兒認為,認知邏輯的研究內容包括認識邏輯和心理邏輯兩個方面。認識邏輯的基礎是哲學思辨,心理邏輯的基礎是心理學研究。認識邏輯的主要成果有知道邏輯和非單調邏輯等,心理邏輯的主要成果Johnson-Laird的心理模型理論,S. Braine和O.Brien的心理邏輯理論,楊英銳的心理元邏輯理論等。[5]

清華大學的蔡曙山認為,認知邏輯的學科體系包括邏輯哲學和哲學邏輯、語言邏輯、心理邏輯、文化與進化的邏輯、人工智能的邏輯、神經網絡方法與網格的邏輯,它們共同構成認知邏輯的整體。[6]28

中山大學邏輯與認知研究所的鞠實兒認為,認知邏輯的主要研究有哲學思辯方法、邏輯的或數學的方法等。哲學思辨的方法主要用于對人類認知過程作直觀理解,邏輯的或數學的方法主要用于構造反映認知過程的邏輯系統。[5]

清華大學的蔡曙山認為,“認知邏輯的研究方法有現代語言學方法和現代邏輯學方法。現代語言學的方法可以分為唯理主義和經驗主義兩種基本的形式,前者以喬姆斯基的語法學和蒙太格的語義學為代表,后者以拉柯夫的認知語言學為代表;奧斯汀的言語行為理論和塞爾的語用邏輯則處于兩者之間。”[6]25現代邏輯的方法由數理邏輯發展起來的形式主義和形式化方法。

4 認知邏輯的研究現狀

認知邏輯是邏輯學、認知心理學與計算機科學的交叉研究領域,由于三科兼備的復合型專家的稀缺,目前的研究并沒有在這三者之間達到高度的融合,科研成果自然呈現出明顯的專業傾向性。

在邏輯學研究基礎上的認知邏輯研究是國內外普遍存在的現象。中山大學邏輯與認知研究所的鞠實兒在自我欺騙的問題的研究上取得了一定的成果。他從邏輯學角度運用概念分析和演繹推理方法給出一種基于證據的信念理論,說明自我欺騙的邏輯結構,解決自我欺騙悖論,指出自我欺騙的發生是邏輯可能的。[4]

在認知心理學研究領域,人們認為人類的思維是有一定模式的,推理是依據類似邏輯的形式規則按步驟進行的。以Johnson Laird為代表的心理模型理論認為推理是推理者理解了前提的意義,并整合個人的知識背景,構建表示各種可能性的心理模型來進行的。以楊英銳為代表的心理元邏輯理論認為人類的思維是語法和語義交互作用的過程。

在計算機科學領域,美國坦普爾大學計算機與信息科學系的王培認為,人工智能研究的目的是機器模仿人腦的功能,但是,現階段計算機中程序應用的結果只完成了人腦最后達到的目的,而難以模仿人腦的思維過程和方法。要想精確模仿人腦功能,人工智能研究需要接的難題還很多,例如,認知主體間的知識判斷、自然語言理解、對不確定性的處理等。人工智能研究的成果是開發具有人類智能的計算機軟件。“智能軟件的開發主要以認知邏輯、非形式邏輯、數理邏輯和人工智能的邏輯為工具,以人類知識表達為背景,結合具體學科的知識表達和推理特點,建構智能化推理的模型,開發具有實用性的智能軟件,將人文科學的技術成果轉化為生產力。”[7]

5 認知邏輯研究中存在的問題

認知邏輯研究的目的是為人工智能研究提供有力的工具。然而,目前認知邏輯的研究成果卻遠遠沒有達到這個目的,理論與實踐、理想與現實之間的存在很大的差距。造成這種狀況的原因是多方面的。

第一,當下,認知邏輯研究還停留于理論方面,缺少可操作性,理論向實踐的轉化尚有許多困難和很長一段路程。

第二,認知邏輯研究認知者對事實的知道、相信、斷定、疑問等問題要以實驗心理學的研究成果為基礎,但是從目前世界范圍來看,心理實驗學研究是相當困難的領域。

第三,認知邏輯的研究涉及邏輯學、認知心理學、計算機科學等多個學科,要求研究人員在這些學科方面都有很深的造詣,而跨學科人才的培養與成長也是一個難題。

[1]彭漪漣,馬欽榮,主編.邏輯學大辭典[Z].上海:上海辭書出版社,2004:383.

[2]陳曉華.認知邏輯研究述評[J].哲學動態,2008(8):89.

[3]周昌樂.認知邏輯導論[M].北京:清華大學出版社,2001.

[4]李志才.方法論全書(17)[M].南京:南京大學出版社,1998:171.

[5]鞠實兒.論邏輯學的發展方向[J].中山大學學報:社會科學版,2003年增刊:3-8.

[6]蔡曙山.認知科學背景下的邏輯學:認知邏輯的對象、方法、體系和意義[J].江海學刊,2004(6).

[7]李夏妍,張敏強.認知邏輯研究概觀[J].首都師范大學學報:社會科學版,2005 (5):119.

Brief Discussion on Cognitive Logic

WANG Tai-zhong
(Chinese Department,Zhaotong University,Zhaotong Yunnan 657000,China)

Cognitive logic is the interdisciplinary of logic,cognitive psychology and computer science,it studies such logic problems as knowing, belief,conclusion and question within the scope of some concepts in epistemology.The subject system of cognitive logic includs philosophy of logic and philosophic logic,language logic,psychological logic,logic of culture and evolution,logic of artificial intelligence,logic of neural network method and grid.Due to the scarcity of multi-disciplinary experts,there are many difficulties in current research of cognitive logic.

Cognitive logic;Logic;Cognitive psychology;Computer science

王太忠(1972—),男,漢族,湖北隨州人,碩士,昭通學院中文系,講師,主要從事形式邏輯與邏輯哲學研究。

楊揚]

猜你喜歡
人工智能學科理論
【學科新書導覽】
堅持理論創新
當代陜西(2022年5期)2022-04-19 12:10:18
神秘的混沌理論
理論創新 引領百年
土木工程學科簡介
相關于撓理論的Baer模
2019:人工智能
商界(2019年12期)2019-01-03 06:59:05
人工智能與就業
IT經理世界(2018年20期)2018-10-24 02:38:24
“超學科”來啦
數讀人工智能
小康(2017年16期)2017-06-07 09:00:59
主站蜘蛛池模板: 国产精品一老牛影视频| 永久毛片在线播| 永久免费无码日韩视频| 人妻无码中文字幕一区二区三区| 久久精品国产999大香线焦| 91美女视频在线| 欧美日韩福利| 亚洲男女在线| 亚洲中文字幕23页在线| 东京热高清无码精品| 国产精品免费入口视频| 亚洲国产日韩欧美在线| 国产午夜小视频| 亚洲高清无码久久久| 国模在线视频一区二区三区| 亚洲欧美极品| 久草视频一区| 少妇精品网站| 毛片大全免费观看| 最新国产成人剧情在线播放| 国产午夜福利在线小视频| 国产欧美视频在线| 久久99国产乱子伦精品免| 波多野结衣一区二区三区88| 亚洲国产综合自在线另类| 日本在线亚洲| 久久精品嫩草研究院| 国产成人喷潮在线观看| 亚洲二三区| 久久精品丝袜高跟鞋| 日本亚洲欧美在线| 国产精品无码久久久久AV| 19国产精品麻豆免费观看| 福利一区在线| a欧美在线| 五月天丁香婷婷综合久久| 伊人网址在线| 亚洲成人网在线观看| 婷婷色中文网| 在线免费a视频| 毛片手机在线看| 欧美全免费aaaaaa特黄在线| 国产精品免费p区| 亚洲国语自产一区第二页| 欧美中文字幕在线视频| 国产乱码精品一区二区三区中文 | 免费不卡在线观看av| 国产免费黄| 国产成人成人一区二区| 久久综合国产乱子免费| 午夜视频在线观看免费网站 | 欧美一级特黄aaaaaa在线看片| 91久久夜色精品| 国产成人盗摄精品| 国产一级一级毛片永久| 成年av福利永久免费观看| 国产精品福利社| 国产小视频在线高清播放| 99ri国产在线| 中文字幕有乳无码| 久久动漫精品| 日韩精品亚洲一区中文字幕| 久久久亚洲国产美女国产盗摄| 一本大道无码日韩精品影视| 欧美天堂在线| 亚洲一本大道在线| 国产黄色片在线看| 91精品啪在线观看国产91| 免费观看成人久久网免费观看| 欧美a在线| 青青草原偷拍视频| 蜜桃臀无码内射一区二区三区| 一级全黄毛片| 国产av剧情无码精品色午夜| 制服丝袜无码每日更新| h网站在线播放| 亚洲愉拍一区二区精品| 色婷婷在线播放| 91探花国产综合在线精品| 亚洲欧美成人网| 亚洲综合婷婷激情| 露脸一二三区国语对白|