夢入神機是美國惠普實驗室開發的象棋軟體。
基本介紹
- 中文名：夢入神機
- 開發公司：美國惠普實驗室
- 類別：象棋軟體
- 榮譽：獲得計算機象棋奧林匹克比賽冠軍
一款著名的象棋軟體，90年代曾兩度獲得計算機象棋奧林匹克比賽冠軍，並與多位象棋大師對弈，取得不俗戰績。作者：吳韌，目前是美國惠普實驗室決策技術部最年輕的科學家之一，主要從事人工智慧的研究工作。 要想獲得進入美國惠普實驗室的門票必須要有以下三個條件之一。
第一、某個學科（分支）的學科帶頭人；
第二、世界名人；第三、其博士研究成果要對該公司的發展有極大的幫助。吳韌符合的不只是三條件“之一”，他是目前世界設計計算機中國象棋程式的頂級人物，1991年他在荷蘭舉行的第三屆計算機象棋奧賽上奪得第一個“總冠軍戒指”，第二年他又在英國再次蟬聯“總冠軍戒指”；吳韌也可謂世界有名，他在博士研究中的《回溯算法及其套用》超過了當代計算機科學泰斗、圖靈獎（計算機中的諾貝爾獎）獲得者肯·湯普森發明的經典算法，在業界引起震動。
吳韌，1980年畢業於德陽中學，1984年畢業於成都氣象學院電子系，1985年底由四川省氣象局調入德陽教育學院從事計算機管理工作，1987年到天津南開大學計算機系從事科學研究，1990年到美國工作，1992年到英國倫敦大學攻讀計算機科學碩士和博士當年他對中國象棋軟體研究的一往情深和執著追求，才有了他今天的地位及成績。
博弈研究是人工智慧研究的一個中心課題，目前，西洋跳棋與西洋棋的弈棋程式已達到人類特級大師的水平，甚至能擊敗卡斯帕羅夫這樣的世界冠軍。但計算機中國象棋的研究者在國際上所達到的水平還不如西洋棋或西洋跳棋那樣成功。吳韌的設計從“倩萍”（程式）到“驚奇”（程式），再到“夢入神機”（程式）已日臻完善，逐漸成熟，離征服人類特級大師僅一步之遙。
吳韌將中國現存最早的象棋棋譜借用來作為自己程式之名，是有他的用意和目的。如今，美國、加拿大、荷蘭、德國、英國等國家及台灣和香港地區都先後開發出了各國的計算機中國象棋程式，但他們的水平遠遠不及吳韌的“夢入神機”（程式）。在快棋（10—20分/盤）中它已達到特級大師的水平，如已贏過台灣的吳貴臨、江蘇的徐天紅、北京的張強、河北的閻文清及新加坡、馬來西亞等處的中國象棋高手，總的形勢是勝多輸少；在慢棋（1—2小時/盤）中僅達到大師水平。
吳韌在早期的設計程式中通過棋局更新，走步生成，平靜檢查，局勢評價四個過程來表達中國象棋棋盤與棋子之間的新的數據結構，他設計了一種思維模式，這樣計算機就能像人一樣思考，與人對弈。而吳韌今天設計程式追求的是東方的哲學和美學，求神似而不是形式，求意而不是求步。一般地講，計算機中國象棋的研究成功使人們能夠獨自一人享受下中國象棋的樂趣，還可為培養頂尖中國象棋人才服務。吳韌則認為：“它還使我們認識到機器能夠思維，而且能達到一種什麼樣的水平。”
數十年來，中國象棋界都公認的炮高兵單缺士必勝士象全，而炮高兵單士象對士象全則可能是和棋，他卻用計算機驗證了炮高兵單士象必勝士象全。他第一個用系統的方法論研究了中國象棋殘局並修正了中國象棋知識中的誤區，這也是自30年代陳廉庸得出“炮高兵單缺士必勝士象全”的結論之後人們對炮兵殘局認知的又一次本質飛躍。其中最困難的局面在雙方走出最佳著法的情況下需要95回合才能吃子取勝，超過了中國象棋規則中60回合的限制，這似乎超出了人類的能力！此外，由英國牛津軟體公司出版、由他設計的遊戲軟體《智慧型策略遊戲》在世界上極為暢銷，其發行量達到了100萬盤。他多個（篇）有關人工智慧研究的科研成果（論文）在美國《信息科學》和荷蘭《計算機西洋棋進展》上發表，被有關權威專家譽為“一顆世界人工智慧研究的新星”。
2006年，夢入神機參加了第一屆全國機器博弈錦標賽，獲得第六名，見證了中國象棋人工智慧程式設計新興力量的崛起。
