由國傢自然科學基金委員會信息學部主辦,吉林大學計算機科學與技術學院、軟件學院,教育部符號計算與知識工程重點實驗室和吉林省計算機學會承辦的“知識科學與計算科學高級研討會”於2003年8月24日至25日在吉林省長春市召開。本書即是在該研討會的基礎上形成的。本書內容共分為八個部分: 形式語義和程序驗證,量子計算,時空知識錶示理論,定理證明和自動規劃,機器學習和數據分析,Agent技術,因特網和軟件工程中的知識錶示和處理,生命信息學。本書主要總結、分析瞭近年來國內外在知識科學研究方麵所取得的新進展。本書輯錄的所有文章均由相關領域的著名專傢撰寫,對學術研究有重要的參考價值。
本書適閤高校計算機和自動化專業中知識工程和人工智能領域的師生、科研院所及其他機構的工程技術人員和科研人員參考。
發表於2024-08-18
知識科學中的基本問題研究 2024 pdf epub mobi 電子書 下載
圖書標籤: 人工智能 計算機 隻是科學
知識科學中的基本問題研究 2024 pdf epub mobi 電子書 下載