《套用於人工智慧的PROLOG程式設計》是1991年8月科學出版社出版的圖書,作者是I.布拉特科。
基本介紹
- 書名:套用於人工智慧的PROLOG程式設計
- 作者:I.布拉特科
- 出版社:科學出版社
- 出版時間:1991年8月
- ISBN:703002298X
《套用於人工智慧的PROLOG程式設計》是1991年8月科學出版社出版的圖書,作者是I.布拉特科。
《套用於人工智慧的PROLOG程式設計》是1991年8月科學出版社出版的圖書,作者是I.布拉特科。內容簡介本書介紹Prolog語言及其在人工智慧中的套用,其中包括人工智慧中諸如問題求解和啟發式搜尋、專家系統、博奕以及模式...
人工智慧(AI)語言是一類適應於人工智慧和知識工程領域的、具有符號處理和邏輯推理能力的計算機程式設計語言。能夠用它來編寫程式求解非數值計算、知識處理、推理、規劃、決策等具有智慧型的各種複雜問題。人工智慧程式設計語言(programming lan-guage of artificial intelligence)亦稱人工智慧語言.一類電腦程式設計語言.使用這...
人工智慧(AI)語言是一類適應於人工智慧和知識工程領域的、具有符號處理和邏輯推理能力的計算機程式設計語言。能夠用它來編寫程式求解非數值計算、知識處理、推理、規劃、決策等具有智慧型的各種複雜問題。典型的人工智慧語言主要有LISP、Prolog、Smalltalk、C++等。一般來說,人工智慧語言應具備如下特點: 具有符號處理能力...
程式接近於自然語言、文法簡捷、邏輯性強、易寫易讀、便於學習使用、易於正確性證明。日本在開展第五代計算機計畫時,曾經把Prolog語言作為核心語言使用。目前Prolog語言已廣泛套用於關係資料庫、抽象問題求解、數理邏輯、符號處理、定理證明、自然語言理解、專家系統以及人工智慧的許多領域。在國內流行的Prolog語言主要版本有...
人工智慧程式設計LISP和Prolog 《人工智慧程式設計LISP和Prolog》是南京大學出版社出版的圖書,作者是金志權,陳佩佩
圍繞人工智慧與專家系統的研究和套用開發也迎來一個蓬勃發展的新時期。因此,引進與消化國際上已經廣泛流行的功能強大和通用的智慧型程式設計語言、工具與環境,對於中國開發智慧型化套用系統十分必要。鑒於國內已有許多用戶在使用Visual Prolog,而這方面的中文資料比較缺乏,我們編寫了本書,系統介紹了基於Visual Prolog的AI程...
除了上述的過程語言外,還出現了函式程式設計語言。為了使計算技術有效地為人工智慧服務,邏輯程式設計語言也展現出了新的面貌,出現了LISP、Prolog語言,稱之為非過程化語言。非過程化語言只需要描述要做什麼或需要什麼.而無需描述怎樣做或如何滿足這種需要,因此可認為它是比過程化語言更高一級的語言。為了滿足數據...
《人工智慧技術簡明教程》簡明扼要地介紹了人工智慧技術的基本原理、方法及其套用。《人工智慧技術簡明教程》共10章,主要內容包括:人工智慧的基本概念、研究途徑、分支領域和發展概況等;常用的人工智慧程式設計語言prolog;基於圖搜尋的問題求解技術;基於遺傳算法的隨機最佳化搜尋;常用的知識表示及其推理技術;機器學習與...
Delphi 語言具有可視化開發環境 , 提供面向對象的編程方法,可以設計各種具有Windows 內格的應用程式(如資料庫套用系統、通信軟體和三維虛擬現實等),也可以開發多媒體套用系統。Visual Basic 語言簡稱 VB,是為開發應用程式而提供的開發環境與工具。它具有很好的圖形用戶界面,採用面向對象和事件驅動的新機制,把過程化和...
《人工智慧與專家系統導論》是2007年5月21日清華大學出版社出版的圖書,作者是馬鳴遠。本書將人工智慧的基本原理和人工智慧程式設計融為一體,重點介紹了人工智慧在專家系統方面的套用。內容簡介 通過本書的學習,讀者可以掌握人工智慧的基本原理和核心知識,以及人工智慧程式設計的常用語言PROLOG,學習用該語言進行編程,...
1.1.1人工智慧的定義 1.1.2人工智慧的研究途徑 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.2Lisp語言 2.2.1概述 2.2....
本書共分8章,內容包括人工智慧與專家系統綜述、知識表示、搜尋技術、推理與推理機制、PROLOG語言及其程式設計、不確定性推理、神經網路專家系統、專家系統設計與套用,重點介紹專家系統的基本原理、基本技術、研究方法以及套用於農業領域中的基本技術,每章後面的習題,可供讀者參考學習。圖書目錄 1 人工智慧與專家系統...
第三部分(第12、13章)詳細介紹了PDC Prolog語言的語句、語法、編程技巧和c語言的連線、新版本(Visual Prolog)和套用於專家系統的實例。《人工智慧及專家系統》構思新穎,內容豐富,深入淺出,強調先進性、實用性和可讀性,可作為電子技術、信息與通信技術、計算機、自動控制、系統工程等專業的研究生和本科生的必修...
2.3.1PROLOG的三種基本語句 2.3.2PROLOG的基本數據結構 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章人工智慧的數學基礎 3.1命題邏輯...
第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 語法與數據結構 10.3.2 PROLOG程式設計原理 10.3.3 PROLOG編程舉例 1...
主要內容包括三大部分:一、基礎篇,本篇主要介紹的是數據邏輯的基本理論和本質,重點介紹一階謂詞邏輯;二、程式設計篇:本篇主要介紹的是基於一階謂語邏輯的人工智慧語言Prolog語言,運用大量實例講解了當今最新的Visual Prolog的基本原理和程式設計方法;三、套用篇,本篇主要介紹的是運用計算機自動推理的理論實現在教育...
實用的人工智慧程式設計語言包括函式式語言(如Lisp),邏輯式語言(如Prolog)和知識工程語言(Ops5),其中最廣泛採用的是Lisp和Prolog及其變形。Lisp語言適合於符號處理,它處理的對象是符號表達式(又稱S-表達式)。所有的程式與數據均由S-表達式構成,採用的主要控制結構是遞歸。Prolog語言以一階謂詞演算為其理論...
1.4.3弱人工智慧與強人工智慧15 1.4.4簡約與粗陋16 1.5人工智慧的研究和套用領域17 1.5.1專家系統18 1.5.2自然語言理解19 1.5.3機器學習20 1.5.4分散式人工智慧20 1.5.5人工神經網路21 1.5.6自動定理證明22 1.5.7博弈23 1.5.8機器人學23 1.5.9模式識別24 1.5.10自動程式設計24 1.5....
實用的人工智慧程式設計語言包括函式式語言(如Lisp),邏輯式語言(如Prolog)和知識工程語言(Ops5),其中最廣泛採用的是Lisp和Prolog及其變形。Lisp語言適合於符號處理,它處理的唯一對象是符號表達式(又稱S-表達式)。所有的程式與數據均由S-表達式構成,採用的主要控制結構是遞歸。Prolog語言以一階謂詞演算為其...
全書共10章,主要內容:緒論、知識表示、搜尋原理、推理技術、機器學習、規劃系統、專家系統、自然語言理解、智慧型控制、人工智慧程式設計。附錄中給出了人工智慧網路課程使用指南。《人工智慧基礎》可作為本科學校和高職高專學校計算機相關專業的“人工智慧”課程教材或教學參考書,還可供從事人工智慧研究、開發與套用的科技...
Prolog(Programming in logic)是一種面向演繹推理的邏輯型程式設計語言,最早於1972年由柯爾麥倫納(Colmeraner)及其研究小組在法國馬賽大學提出。高濟,何欽銘著,人工智慧基礎 (第二版),高等教育出版社,2008.10,第67頁 關於邏輯程式語言 Prolog以處理一階謂詞演算為背景,由於其簡單的文法、豐富的表達力和獨特的非...
知識工程師負責從領域專家總結的知識和經驗中抽取精華,設計知識結構,選用知識表達方法,根據不同的知識表達確立不同的知識存貯方式和推理機制,並選用LISP、PROLOG之類的人工智慧程式設計語言實現系統原型,幾經試用、修改後再提交最終用戶使用。因而認為,實用專家系統的研究如果僅限於用手工方式以LISP或PROLOG語言從頭開發...
因此從人工智慧研究的初期人們就開始在尋求適合解決人工智慧問題的程式設計語言。其中Lisp是一個先驅,而且後來有了很大發展。此外,Prolog、Smalltalk、OPS與FRL等是幾種在人工智慧領域很有影響的通用程式設計語言。這些語言在知識處理領域,在不少具體的基於知識的系統中,起著十分重要的作用。由於這些知識處理語言的設計...
知識獲取是專家系統知識庫是否優越的關鍵,也是專家系統設計的“瓶頸”問題,通過知識獲取,可以擴充和修改知識庫中的內容,也可以實現自動學習功能。實現方式 早期的專家系統採用通用的程式設計語言(如fortran、pascal、basic等)和人工智慧語言(如lisp、prolog、smalltalk等),通過人工智慧專家與領域專家的合作,直接編程...