《智慧型邏輯初探》是現代尹奈編著的一部哲學著作。
基本介紹
- 作品名稱:智慧型邏輯初探
- 創作年代:現代
- 作者:尹奈
- 類別:哲學
《智慧型邏輯初探》是現代尹奈編著的一部哲學著作。
《智慧型邏輯初探》是現代尹奈編著的一部哲學著作。... 哲學的橋樑等四章,連山篇包括智慧型邏輯引論、多層次思維的基本形式、多層次思維的邏輯證明、《易》與智慧型機等...
是自動驗證最重要的方法之一。近年來,模型檢測技術與人工智慧型的結合,成為一個研究的熱點。具體地,就是擴充或者修改模型檢測的時態邏輯,使之能夠刻畫多agents系統的...
《智慧型邏輯學》是鄭福全所著蘭州大學出版社出版的書籍。... 《智慧型邏輯學》是鄭福全所著蘭州大學出版社出版的書籍。書名 《智慧型邏輯學》 作者 鄭福全 ISBN ...
《人工智慧型邏輯講義》是2005年中山大學出版社出版的圖書,作者是李小五。... 《人工智慧型邏輯講義》是2005年中山大學出版社出版的圖書,作者是李小五。
數學—邏輯智慧型是指有效地計算、測量、推理、歸納、分類,並進行複雜數學運算的能力。...
《信息、智慧型與邏輯》是2010年西北工業大學出版社出版的圖書,作者是何華燦,歐陽康。本書收集有關信息科學基礎研究的重要論文而成,主要討論建立信息科學理論體系的各...
從思維觀點看,人工智慧型不僅限於邏輯思維,要考慮形象思維、靈感思維才能促進人工智慧型的突破性的發展,數學常被認為是多種學科的基礎科學,數學也進入語言、思維領域,...
多元智慧型理論是自20世紀80年代中期以來風行全球的國際教育新理念,它是由美國當代著名心理學家和教育學家加德納(H.Gardner)博士於1983年在其《智慧型的結構》一書中...
加德納認為邏輯-數學智慧型涵蓋數學、科學和邏輯三個寬廣而又相互聯繫的領域。一些數學、邏輯與科學研究領域的學者也強調了這些知識之間的聯繫。邏輯學家昆納指出,邏輯所...
本書系統地介紹了智慧型科學的概念和方法,吸收了腦科學、認知科學、人工智慧型、數理邏輯、社會思維學、系統理論、科學方法論、哲學等方面的研究成果,探索人類智慧型和機器...
智慧型規劃是人工智慧型的一個重要研究領域。其主要思想是: 對周圍環境進行認識與分析,根據預定實現的目標,對若干可供選擇的動作及所提供的資源限制和相關約束進行推理,...
西南大學邏輯與智慧型研究中心前身是成立於20世紀80年代初的西南師範大學的哲學研究所邏輯研究室。蘇天輔教授時任所長兼研究室主任。...
《人工智慧型產品經理:人機對話系統設計邏輯探究》是2018年9月電子工業出版社出版的圖書,作者是朱鵬臻。...
下面要論述邏輯語義學的涵義、形成和發展,特別論證了它對邏輯學從外延轉向內涵的躍進,對現代西方哲學的分析,對現代語言學的發展,對人工智慧型基礎理論建設的重要意義。
《模糊邏輯與智慧型系統》是2016年西安電子科技大學出版社出版的圖書,作者是雷英傑、路艷麗、王毅、申曉勇。...
邏輯學同哲學研究緊密相關,對哲學、數學、計算機科學、人工智慧型、語言等的發展有相當重要的作用。邏輯學與中外哲學、語言學、數學、計算機科學等學科有密切聯繫。
語用邏輯在未來的可能發展和最有前景的運用是在認知科學領域,其前景是十分廣闊的,它目的在於將語言的經驗描寫引向哲學思辨,並升華為形式論證,再套用於人工智慧型技術...
數學邏輯智慧型:是指有效地計算、測量、推理、歸納、分類,並進行複雜數學運算的能力。這項智慧型包括對邏輯的方式和關係、陳述和主張、功能及其他相關的抽象概念的敏感性...
唐璐,湖南臨湘人,華中科技大學學士、碩士,中國科學院數學與系統科學研究院博士,現任教於湖南大學,主要研究方向為人工智慧型、複雜系統以及哥德爾研究,譯有《不完備性—...
的交叉互動研究;4、邏輯與認知科學及人工智慧型的交叉互動研究;5、邏輯與語言學的交叉互動研究(含非形式論證研究);6、邏輯的社會文化功能及多層次邏輯教學現代化研究...
《數學邏輯智慧型提高階》是2011年新時代出版社出版的圖書,作者是孫微娜。... 《數學邏輯智慧型提高階》是2011年新時代出版社出版的圖書,作者是孫微娜。
一種基於模糊邏輯的交通信號控制方法研究. 中國運輸工程學報. 1(2), 2001, P99~P102.[29] 魏武、張起森、黃心漢.一種基於多感測器的交通監控系統智慧型接口,長沙...
(人工智慧型專家)編輯 鎖定 討論 上傳視頻 羅旭東,祖籍重慶,曾就職於香港中文大學計算機科學與工程學系、英國南安普頓大學電子與計算機科學學院、英國伯明罕大學計算機科學...
《當代形式邏輯及其在人工智慧型中的套用理論研究》是2011年電子工業出版社出版的圖書,作者是龔啟榮。...
2012年先後兩次到捷克斯洛伐克科學院國際人工智慧型實驗室工作。中國數學會數理邏輯專業委員會委員,中國人工智慧型協會理事,《純粹與套用邏輯年鑑》主編,《智慧型系統國際雜誌...