問(wèn)題求解理論及應(yīng)用

定　價(jià)：￥6.40

作　者：	張鈸，張鈴著
出版社：	清華大學(xué)出版社
叢編項(xiàng)：	人工智能及其應(yīng)用叢書
標(biāo)　簽：	人工智能

ISBN：	9787302007890	出版時(shí)間：	1990-12-01	包裝：
開(kāi)本：	20cm	頁(yè)數(shù)：	476頁(yè)	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　本書是“人工智能及其應(yīng)用叢書”之一，是人工智能的基礎(chǔ)理論。本書是著者多年科研成果的總結(jié)，它以數(shù)學(xué)為工具，提出了人工智能中關(guān)于問(wèn)題求解理論，建立了一種稱為商結(jié)構(gòu)的形式化體系，并運(yùn)用這種理論和方法解決推理、規(guī)劃和搜索等若干領(lǐng)域中的問(wèn)題，具有廣泛的意義。