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
主站蜘蛛池模板: 91色在线观看| 小蝌蚪亚洲精品国产| 亚洲天堂网视频| 亚洲欧美精品一中文字幕| 福利在线一区| 天堂网亚洲综合在线| 538国产视频| 精品欧美一区二区三区久久久| 亚洲一区色| 伊人激情综合网| 亚洲一区二区约美女探花| 色婷婷成人| 国产欧美综合在线观看第七页| 国产流白浆视频| 亚洲精品第一页不卡| 特级做a爰片毛片免费69| 国产亚洲男人的天堂在线观看| 91精品国产自产在线观看| 99热国产这里只有精品9九 | 欧洲av毛片| 97久久免费视频| 五月综合色婷婷| 91在线日韩在线播放| 国产男女免费视频| 国产精品欧美日本韩免费一区二区三区不卡 | 日韩美一区二区| 在线观看视频一区二区| 欧美亚洲国产视频| 国产在线一区二区视频| 久久久黄色片| 国产成人精品一区二区| 国产在线观看第二页| 精品無碼一區在線觀看 | 在线观看91精品国产剧情免费| 71pao成人国产永久免费视频| 99er精品视频| 日日噜噜夜夜狠狠视频| 国产大片喷水在线在线视频| 呦视频在线一区二区三区| 久久这里只有精品66| 一级毛片免费不卡在线视频| 国产丝袜一区二区三区视频免下载| 一级高清毛片免费a级高清毛片| 国产综合亚洲欧洲区精品无码| 色一情一乱一伦一区二区三区小说 | 国产日本欧美在线观看| 伊人久久婷婷| 日韩精品成人网页视频在线| 日韩激情成人| 四虎亚洲国产成人久久精品| 亚洲天堂.com| 在线国产欧美| 成年女人a毛片免费视频| 人人澡人人爽欧美一区| 国产成人精品一区二区不卡 | 国产一级特黄aa级特黄裸毛片| 伊人激情综合网| 91无码人妻精品一区| 欧美性久久久久| 久久视精品| 久久综合色播五月男人的天堂| 丁香婷婷久久| 亚洲视频欧美不卡| 亚洲αv毛片| 综合色天天| 无码区日韩专区免费系列 | 欧美成人手机在线观看网址| 国产最新无码专区在线| 亚洲精品视频免费| www.亚洲色图.com| 国产日韩欧美在线播放| 97综合久久| 国产欧美另类| 最新国产网站| 亚洲中文字幕在线观看| 人妻丰满熟妇αv无码| 亚洲第七页| 欧美专区日韩专区| lhav亚洲精品| 亚洲美女一级毛片| 亚洲精品国产日韩无码AV永久免费网 | 欧美影院久久|