《套用於人工智慧的PROLOG程式設計》是1991年8月科學出版社出版的圖書，作者是I.布拉特科。
《套用於人工智慧的PROLOG程式設計》是1991年8月科學出版社出版的圖書，作者是I.布拉特科。內容簡介本書介紹Prolog語言及其在人工智慧中的套用，其中包括人工智慧中諸如問題求解和啟發式搜尋、專家系統、博奕以及模式...
人工智慧（AI）語言是一類適應於人工智慧和知識工程領域的、具有符號處理和邏輯推理能力的計算機程式設計語言。能夠用它來編寫程式求解非數值計算、知識處理、推理、規劃、決策等具有智慧型的各種複雜問題。人工智慧程式設計語言(programming lan-...
人工智慧(AI)語言是一類適應於人工智慧和知識工程領域的、具有符號處理和邏輯推理能力的計算機程式設計語言。能夠用它來編寫程式求解非數值計算、知識處理、推理、規劃、決策等具有智慧型的各種複雜問題。典型的人工智慧語言主要有LISP、Prolog、...
因此，Prolog語言是一種智慧型型程式設計語言。Prolog程式沒有特定的運行順序，程式運行順序完全按照數理邏輯推導(消解法)的方式進行，而不是由編程式的人決定。Prolog是一種描述型語言，用特定的方法描述一個問題，然後由計算機自動找到這個...
人工智慧程式設計LISP和Prolog 《人工智慧程式設計LISP和Prolog》是南京大學出版社出版的圖書，作者是金志權，陳佩佩
Prolog，而這方面的中文資料比較缺乏，我們編寫了本書，系統介紹了基於Visual Prolog的AI程式設計的功能特點、編程方法與技術，相信對於開發智慧型化軟體有啟迪作用，也希望對國內在這一領域的教學、研究及智慧型化套用水平的提高起到良好的促進...
Java 語言是一種面向對象的、不依賴於特定平台的程式設計語言，簡單、可靠、可編譯、可擴展、多執行緒、結構中立、類型顯示說明、動態存儲管理、易於理解，是一種理想的、用於開發 Internet 套用軟體的程式設計語言。第四代非過程化語言 4GL...
《PROLOG語言，它的套用與實現》是1990年科學出版社出版的圖書，作者是劉椿年。內容簡介 本書介紹了邏輯程式設計語言PROLOG的特性。理論基礎、程式設計方法、以及PROLOG語言在人工智慧和軟體工程方面的套用與實現技術。圖書目錄 目錄 第一章 ...
它具有自動搜尋、遞歸、回溯、模式匹配等獨特功能，它奇特、優美的程式設計風格，博得了人們的稱讚它的套用非常廣泛，適用於定理證明、非數值處理、套用管理、關係資料庫、諮詢程式、自然語言處理、專家系統和人工智慧等許多領域。《PROLOG語言...
1.1.3人工智慧學科的發展 1.2人工智慧的目標 1.3人工智慧的套用 第2章人工智慧程式設計語言 2.1Python語言 2.1.1概述 2.1.2Python基礎 2.1.3函式 2.1.4自定義類 2.1.5模組 2.1.6輸入輸出和檔案 2.1.7實例 2.2...
2.3.3PROLOG的程式設計原理 2.3.4PROLOG程式套用舉例 2.4面向對象程式設計語言Smalltalk 2.4.1基本概念和對象 2.4.2訊息模式和訊息表達式 2.4.3語句和程式塊 2.4.4程式流程控制 2.4.5類庫和類定義 習題2 第3章人工智慧的...
本書是國家精品課程和國家級精品資源共享課“人工智慧”的配套教材。本版共10章，主要內容包括緒論、知識表示、搜尋技術、推理技術、機器學習、專家系統、自動規劃系統、自然語言理解、智慧型控制、人工智慧程式設計等。與第3版相比，大多數...
第10章 人工智慧程式設計 10．1 符號和邏輯處理程式語言 10．2 LISP語言 10．2．1 LISP的特點和數據結構 10．2．2 LISP的基本函式 10．2．3 遞歸和疊代 10．2．4 LISP編程舉例 10．3 PROLOG語言 10．3．1 語法與數據結構 1...
實用的人工智慧程式設計語言包括函式式語言（如Lisp），邏輯式語言（如Prolog）和知識工程語言（Ops5），其中最廣泛採用的是Lisp和Prolog及其變形。Lisp語言適合於符號處理，它處理的對象是符號表達式（又稱S-表達式）。所有的程式與數據均...
1.6 人工智慧的基本技術 1.7 人工智慧的套用 1.8 人工智慧的分支領域與研究方向 1.9 人工智慧的發展概況 習題一 第2章 邏輯程式設計語言PROLOG 2.1 基本PROLOG 2.2 Turbo PROLOG程式設計 習題二 第2篇 搜尋與求解 第3章 圖...
4.4邏輯程式設計語言PROLOG148 4.4.1Horn子句148 4.4.2程式語句149 4.4.3推理機制149 4.4.4表結構151 4.4.5套用實例153 4.5本章小結157 4.6習題157 第5章不確定性推理159 5.1概述159 5.1.1什麼是不確定性推理159 5...
它是研究、開發用於模擬、延伸和擴展人的智慧型的理論、方法、技術及套用系統的一門新的技術科學。 人工智慧是計算機科學的一個分支,它企圖了解智慧型的實質,並生產出一種新的能以人類智慧型相似的方式做出反應的智慧型機器,該領域的研究包括機器...
看來，那次討論並沒有實質上解決有關智慧型機的任何具體問題，但它確立了研究目標，使人工智慧成為計算機科學中一門獨立的經驗科學。1957年巴庫斯（John Barkus）及其IBM小組發布了Fortran語言，這是第一個成功的高級語言，使程式設計者從...
人工智慧是研究理解和模擬人類智慧型、智慧型行為及其規律的一門學科。其主要任務是建立智慧型信息處理理論,進而設計可以展現某些近似於人類智慧型行為的計算系統。本書系統介紹人工智慧的理論、方法、技術及其套用,除了討論仍然有用的和有效的基本原理...
Prolog(Programming in logic)是一種面向演繹推理的邏輯型程式設計語言，最早於1972年由柯爾麥倫納(Colmeraner)及其研究小組在法國馬賽大學提出。高濟，何欽銘著,人工智慧基礎 （第二版）,高等教育出版社,2008.10,第67頁 關於邏輯編程...
知識工程師負責從領域專家總結的知識和經驗中抽取精華，設計知識結構，選用知識表達方法，根據不同的知識表達確立不同的知識存貯方式和推理機制，並選用LISP、PROLOG之類的人工智慧程式設計語言實現系統原型，幾經試用、修改後再提交最終用戶...
早期的專家系統採用通用的程式設計語言（如fortran、pascal、basic等）和人工智慧語言（如lisp、prolog、smalltalk等），通過人工智慧專家與領域專家的合作，直接編程來實現的。其研製周期長，難度大，但靈活實用，至今尚為人工智慧專家所使用。
