楹﹀崱閿?927骞?鏈?鏃ョ敓浜庢尝澹】銆備粬鐨勭埗浜叉槸涓€涓埍灏斿叞绉绘皯锛屽仛杩囨湪鍖犲拰娓斿か锛屽悓鏃朵篃鏄竴涓彂鏄庡鍜屽伐浼氱Н鏋佸垎瀛愶紝鎷ユ湁鎹昏埞缂濇満鍜屾姹佸喎鍐绘満涓ら」涓撳埄銆傞害鍗￠敗鐨勬瘝浜叉槸鏉ヨ嚜绔嬮櫠瀹涚殑鐘瑰お浜猴紝鐑績浜庡コ鏉冭繍鍔紝褰撹繃璁拌€呫€傚か濡讳袱浜哄湪20涓栫邯30骞翠唬閮芥浘鍙傚姞缇庡浗鍏变骇鍏氥€傚彈鐖舵瘝鐨勫奖鍝嶏紝楹﹀崱閿″绀句細闂涔熸瘮杈冨叧娉紝鍙備笌杩囧湪鍔犲窞鐨凱alo Alto鍒涘姙鑷敱澶у鐨勬椿鍔紝鍊′华杩囦慨鏀?ldquo;浜烘潈娉曟”(the Bill of Rights锛岃繖鏄編鍥戒簬1789骞撮€氳繃鐨勫缇庡浗瀹硶鐨勭涓€娆′慨姝ｆ)銆備絾涓庝粬鍦ㄨ绠楁満绉戝涓婃墍鍋氱殑宸ヤ綔鍜岃础鐚浉姣旓紝楹﹀崱閿′富瑕佽繕鏄竴涓瀛﹀鑰岄潪绀句細娲诲姩瀹躲€傛澶栵紝楹﹀崱閿¤繕鍠滄鏀€宀┿€佽烦浼炪€侀┚椹舵粦缈旀満绛夋湁鍒烘縺鎬у拰鍗遍櫓鎬х殑杩愬姩锛屾浘鍜屼粬鐨勭浜屼换濡诲瓙缁存媺·娌冪壒妫?Vera Watson)涓€璧锋攢鐧昏繃涓栫晫涓婁笉灏戝ぇ灞遍珮宄般€傛矁鐗规．鏄竴浣嶇▼搴忓憳锛屼篃鏄笘鐣岀煡鍚嶇殑濂崇櫥灞辫繍鍔ㄥ憳锛屾槸绗竴浣嶇嫭鑷攢涓婅タ鍗婄悆绗竴楂樺嘲銆佷綅浜庨樋鏍瑰环鍜屾櫤鍒╄竟鐣岀殑瀹夌鏂北鑴夌殑闃跨┖鍔犵摐灞?娴锋嫈6960绫?鐨勫コ鎬э紝鍚庢潵鍦ㄤ竴娆℃攢鐧讳綅浜庡凹娉婂皵涓儴鐨勯樋閭ｆ尝灏旈偅宄?娴锋嫈8075绫?鐨勫濂虫帰闄╂椿鍔ㄤ腑涓嶅垢閬囬毦鐗虹壊銆?/font>

    楹﹀崱閿℃槸涓€涓ぉ璧嬪緢楂樼殑浜猴紝杩樺湪涓婂垵涓椂锛屼粬灏卞紕浜嗕竴浠藉姞宸炵悊宸ュぇ瀛︾殑璇剧▼鐩綍锛屾寜鐩綍鑷浜嗗ぇ瀛︿綆骞寸骇鐨勯珮绛夋暟瀛︽暀鏉愶紝鍋氫簡鏁欐潗涓婄殑鎵€鏈夌粌涔犻銆傝繖浣夸粬1944骞磋繘鍏ュ姞宸炵悊宸ュ闄互鍚庡彲浠ュ厤淇ご涓ゅ勾鐨勬暟瀛︼紝骞朵娇浠栬櫧鍥犳垬鏃剁幆澧?绗簩娆′笘鐣屽ぇ鎴樺綋鏃舵鍦ㄨ繘琛屼箣涓紝缇庡浗涔熷湪鐝嶇彔娓簨浠跺悗瀹ｅ竷鍙傛垬)瑕佸湪鍐涢槦涓厖浠讳竴涓皬鑱屽憳锛屽崰鍘讳簡閮ㄥ垎鏃堕棿锛屼粛寰椾互·鍦?948骞存寜鏃跺畬鎴愬涓氥€傜劧鍚庡埌鏅灄鏂】澶у鐮旂┒鐢熼櫌娣遍€狅紝浜?951骞村彇寰楁暟瀛﹀崥澹浣嶃€傞害鍗￠敗鐣欐牎宸ヤ綔涓ゅ勾浠ュ悗杞嚦鏂潶绂忓ぇ瀛︼紝涔熷彧鍛嗕簡涓ゅ勾灏卞幓杈剧壒鑼呮柉瀛﹂櫌浠绘暀(杈剧壒鑼呮柉瀛﹂櫌浣嶄簬鏂扮綍甯冧粈灏斿窞鐨勬眽璇哄▉)銆傚湪閭ｉ噷锛屼粬鍙戣捣浜嗗苟鎴愬姛涓惧姙浜嗘垚涓轰汉宸ユ櫤鑳借捣鐐圭殑鏈夊巻鍙叉剰涔夌殑“杈剧壒鑼呮柉浼氳”銆?958骞撮害鍗￠敗鍒癕IT浠昏亴锛屼笌鏄庢柉鍩?L锛嶮insky锛?969骞村浘鐏靛鑾峰緱鑰?涓€璧风粍寤轰簡涓栫晫涓婄涓€涓汉宸ユ櫤鑳藉疄楠屽锛屽苟绗竴涓彁鍑轰簡灏嗚绠楁満鐨勬壒澶勭悊鏂瑰紡鏀归€犳垚涓鸿兘鍚屾椂鍏佽鏁板崄鐢氳嚦涓婄櫨鐢ㄦ埛浣跨敤鐨勫垎鏃舵柟寮?6me-sharing)鐨勫缓璁紝骞舵帹鍔∕IT鎴愮珛缁勭粐寮€灞曠爺绌躲€傚叾缁撴灉灏辨槸瀹炵幇浜嗕笘鐣屼笂鏈€鏃╃殑鍒嗘椂绯荤粺——鍩轰簬IBM 7094鐨凜TSS鍜屽叾鍚庣殑MULTICS銆傞害鍗￠敗铏藉洜涓庝富鎸佽璇鹃鐨勮礋璐ｄ汉浜х敓鐭涚浘鑰屼簬1962骞寸寮€MIT閲嶈繑鏂潶绂忥紝鏈兘灏嗘椤圭洰鍧氭寔鍒板簳锛屼絾瀛︽湳鐣屼粛鍏浠栨槸鍒嗘椂姒傚康鐨勫垱濮嬩汉銆傞害鍗￠敗鍒版柉鍧︾鍚庡弬鍔犱簡涓€涓熀浜嶥ECPDP—1鐨勫垎鏃剁郴缁熺殑寮€鍙戯紝骞跺湪閭ｉ噷缁勫缓浜嗙浜屼釜浜哄伐鏅鸿兘瀹為獙瀹ゃ€?/font>

    楹﹀崱閿″浜哄伐鏅鸿兘鐨勫叴瓒ｅ浜庝粬褰撶爺绌剁敓鐨勬椂鍊欍€?948骞?鏈堬紝浠栧弬鍔犱簡涓€涓?ldquo;鑴戣涓烘満鍒?rdquo;鐨勪笓棰樿璁轰細锛屼細涓婏紝鍐?middot;璇轰紛鏇煎彂琛ㄤ簡涓€绡囧叧浜庤嚜澶嶅埗鑷姩鏈虹殑璁烘枃锛屾彁鍑轰簡鍙互澶嶅埗鑷韩鐨勬満鍣ㄧ殑璁炬兂锛岃繖婵€璧蜂簡楹﹀崱閿＄殑鏋佸ぇ鍏磋叮鍜屽ソ濂囧績锛岃嚜姝ゅ氨寮€濮嬪皾璇曞湪璁＄畻鏈轰笂妯℃嫙浜虹殑鏅鸿兘銆?949骞翠粬鍚戝啹·璇轰紛鏇艰皥浜嗚嚜宸辩殑鎯虫硶锛屽悗鑰呮瀬琛ㄨ禐鎴愬拰鏀寔锛岄紦鍔变粬鎼炰笅鍘汇€傚湪杈剧壒鑼呮柉浼氳鍓嶅悗锛岄害鍗￠敗鐨勪富瑕佺爺绌舵柟鍚戞槸璁＄畻鏈轰笅妫嬨€備笅妫嬬▼搴忕殑鍏抽敭涔嬩竴鏄浣曞噺灏戣绠楁満闇€瑕佽€冭檻鐨勬姝ャ€傞害鍗￠敗缁忚繃鑹拌嫤鎺㈢储锛岀粓浜庡彂鏄庝簡钁楀悕鐨?alpha;-β鎼滅储娉曪紝浣挎悳绱㈣兘鏈夋晥杩涜銆傚湪銆?p鎼滅储娉曚腑锛岄害鍗￠敗灏嗙粨鐐圭殑浜х敓涓庢眰璇勪环鍑芥暟鍊?鎴栫О杩斾笂鍊兼垨鍊掓帹鍊?涓よ€呭阀濡欏湴缁撳悎璧锋潵锛屼粠鑰屼娇鏌愪簺瀛愭爲缁撶偣鏍规湰涓嶅繀浜х敓涓庢悳绱?杩欒皳涔?ldquo;淇壀"--pruning鎴朿utoff)銆備箣鎵€浠ョО涓恒€?mdash;p鎼滅储娉曪紝鏄洜涓哄皢澶勪簬鍙栨渶澶у€肩骇鐨勭粨鐐圭殑杩斾笂鍊兼垨鍊欓€夎繑涓婂€糚BV(Provisional Back-up Value)绉颁负璇ョ粨鐐圭殑α鍊硷紝鑰屽皢澶勪簬鍙栨渶灏忓€肩骇鐨勭粨鐐圭殑鍊欓€夎繑涓婂€兼垨杩斾笂鍊肩О涓鸿缁撶偣鐨刾鍊笺€傝繖鏍凤紝鍦ㄦ眰寰楁煇缁撶偣鐨勩€傚€兼椂锛屽氨鍙笌鍏跺厛杈堢粨鐐圭殑p鍊肩浉姣旇緝锛岃嫢銆?ge;p锛屽垯鍙粓姝㈣缁撶偣浠ヤ笅鐨勬悳绱紝鍗充粠璇ョ粨鐐瑰鍔犱互淇壀锛岃繖鍙玴淇壀锛涜€屽湪姹傚緱鏌愮粨鐐圭殑p鍊兼椂锛屽氨鍙笌鍏跺厛杈堢粨鐐圭殑α鍊肩浉姣旇緝锛岃嫢p≤銆傦紝鍒欏彲缁堟璇ョ粨鐐逛互涓嬬殑鎼滅储锛屽嵆浠庤缁撶偣澶勫姞浠ヤ慨鍓紝杩欏彨銆備慨鍓€備负浜嗚鏄庛€?p淇壀锛屾垜浠妇涓€涓渶绠€鍗曠殑渚嬪瓙銆傝鍦ㄥ彇鐏煷妫嶇殑娓告垙涓紝A銆丅涓や汉杞祦浠嶯鏍圭伀鏌翠腑鍙?鏍规垨2鏍癸紝涓嶅緱澶氬彇锛屼篃涓嶈兘涓嶅彇銆傚彇璧版渶鍚庝竴鏍圭伀鏌磋€呰儨銆傜敤A(n)銆丅(n)琛ㄧず杞埌A鎴朆鏃舵湁n鏍圭伀鏌寸殑鐘舵€侊紝褰搉锛?鏃惰疆鍒癆鍙栵紝鍒欏涓嬪浘鎵€绀猴紝A鏈変袱绉嶅彲鑳斤紝涓€鏄彇2鏍圭伀鏌磋繘鍏(3)锛屽彟涓€鏄彇1鏍圭伀鏌磋繘鍏(4)銆傛樉鐒讹紝杩涘叆B(3)鍚庯紝涓嶇B鍙栧嚑鏍癸紝A蹇呰儨锛屾晠A蹇呰蛋杩欎竴姝ワ紝浣欎笅鐨勫垎鏀笉蹇呭啀鎼滅储浜嗐€傘€?p鎼滅储娉曡嚦浠婁粛鏄В鍐充汉宸ユ櫤鑳介棶棰樹腑涓€绉嶅父鐢ㄧ殑楂樻晥鏂规硶銆?/font>

    鑷充簬杈剧壒鑼呮柉浼氳锛屽綋涓滈亾涓荤殑楹﹀崱閿℃槸涓昏鍙戣捣浜猴紝鍙﹀3涓彂璧蜂汉鏄綋鏃跺湪鍝堜經澶у鐨勬槑鏂熀(1969骞村浘鐏靛鑾峰緱鑰?锛孖BM鍏徃鐨勭綏鏉版柉鐗?N锛嶳ochster)锛屼俊鎭鐨勫垱濮嬩汉棣欏啘銆傞害鍗￠敗鍙戣捣杩欎釜浼氳鏃剁殑鐩爣闈炲父瀹忎紵锛屾槸鎯抽€氳繃10鏉ヤ釜浜?涓湀鐨勫叡鍚屽姫鍔涜璁″嚭涓€鍙板叿鏈夌湡姝ｆ櫤鑳界殑鏈哄櫒銆備細璁殑缁忚垂鏄礇鍏嬭彶鍕掑熀閲戜細璧勫姪鐨勶紝鍖呮嫭姣忎釜浠ｈ〃1 200缇庡厓鍔犱笂澶栧湴浠ｈ〃鐨勫線杩旇溅绁ㄣ€備細璁殑鍘熷鐩爣铏界劧鐢变簬涓嶅垏瀹為檯鑰屼笉鍙兘瀹炵幇锛屼絾鐢变簬楹﹀崱閿″湪涓嬫绋嬪簭灏ゅ叾鏄?alpha;—β鎼滅储娉曚笂鎵€鍙栧緱鐨勬垚鍔燂紝浠ュ強鍗″唴鍩?mdash;姊呴殕澶у鐨勮タ钂?H锛嶢锛嶴imon)鍜岀航鍘勫皵(A锛嶯ewell锛岃繖涓や汉鏄?975骞村浘鐏靛鑾峰緱鑰?甯︽潵浜嗗凡鑳借瘉鏄庢暟瀛﹀悕钁椼€婃暟瀛﹀師鐞嗐€嬩竴涔︾浜岀珷52涓畾鐞嗕腑鐨?8涓畾鐞嗙殑鍚彂寮忕▼搴?ldquo;閫昏緫鐞嗚瀹?rdquo;LT(10sicTheorist)锛屾槑鏂熀甯︽潵鐨勫悕涓篠narc鐨勫涔犳満鐨勯洀褰?涓昏瀛︿範濡備綍閫氳繃杩峰)锛岃繖浣夸細璁弬鍔犺€呬粛鑳藉厖婊′俊蹇冨湴瀹ｅ竷“浜哄伐鏅鸿兘”杩欎竴宕柊瀛︾鐨勮癁鐢熴€?/font>

銆€

    1959骞达紝楹﹀崱閿″熀浜庨樋闅嗙储·閭卞(Alonzo Church)鐨刲-婕旂畻鍜岃タ钂欍€佺航鍘勫皵棣栧垱鐨?ldquo;琛ㄧ粨鏋?rdquo;锛屽紑鍙戜簡钁楀悕鐨凩ISP璇█(List Processing language)锛屾垚涓轰汉宸ユ櫤鑳界晫绗竴涓渶骞挎硾娴佽鐨勮瑷€銆侺ISP鏄竴绉嶅嚱鏁板紡鐨勭鍙峰鐞嗚瑷€锛屽叾绋嬪簭鐢变竴浜涘嚱鏁板瓙绋嬪簭缁勬垚銆傚湪鍑芥暟鐨勬瀯閫犱笂锛屽拰鏁板涓婇€掑綊鍑芥暟鐨勬瀯閫犳柟娉曞崄鍒嗙被浼硷紝鍗充粠鍑犱釜鍩烘湰鍑芥暟鍑哄彂锛岄€氳繃涓€瀹氱殑鎵嬫鏋勬垚鏂扮殑鍑芥暟銆侺ISP璇█杩樺叿鏈夎嚜缂栬瘧鑳藉姏銆傚叿浣撹鏉ワ紝LISP鏈変互涓嬪嚑涓富瑕佺壒鐐癸細

    1. 璁＄畻鐢ㄧ殑鏄鍙疯〃杈惧紡鑰屼笉鏄暟锛?/font>

    2锛庡叿鏈夎〃澶勭悊鑳藉姏锛屽嵆鐢ㄩ摼琛ㄥ舰寮忚〃绀烘墍鏈夌殑鏁版嵁锛?/font>

    3锛庢帶鍒剁粨鏋勫熀浜庡嚱鏁扮殑澶嶅悎锛屼互褰㈡垚鏇村鏉傜殑鍑芥暟锛?/font>

    4锛庣敤閫掑綊浣滀负鎻忚堪闂鍜岃繃绋嬬殑鏂规硶锛?/font>

    5锛庣敤LISP璇█涔﹀啓鐨凟VAL鍑芥暟鏃㈠彲浣滀负LISP璇█鐨勮В閲婄▼搴忥紝鍙堝彲浠ヤ綔涓鸿瑷€鏈韩鐨勫舰寮忓畾涔夛紱

  6锛庣▼搴忔湰韬篃鍚屾墍鏈夊叾浠栨暟鎹竴鏍风敤琛ㄧ粨鏋勫舰寮忚〃绀恒€?/font>

    宸茬粡璇佹槑锛孡ISP鐨勮繖浜涚壒鐐规槸瑙ｅ喅浜哄伐鏅鸿兘鏍稿績闂鐨勫叧閿€傛澶栵紝绮惧阀鐨勮〃鏈哄埗涔熸槸杩涗竴姝ョ畝鍖朙ISP绋嬪簭璁捐鐨勬柟渚胯€屾湁鍔涚殑宸ュ叿锛屽洜姝わ紝LISP鑷彂鏄庝互鏉ワ紝宸茬粡琚箍娉涚敤浜庢暟瀛︿腑鐨勭鍙峰井绉垎璁＄畻锛屽畾鐞嗚瘉鏄庯紝璋撹瘝婕旂畻锛屽崥濂曡绛夐鍩熴€傚畠鍜屽悗鏉ョ敱鑻卞浗浼︽暒澶у鐨勯潚骞村鐢熸煰鐡﹁繛鏂熀(R锛嶬owaliski)鎻愬嚭銆佺敱娉曞浗椹禌澶у鐨勮€冨皵楹﹀姵鍘?A锛嶤olmerauer)鎵€棰嗗鐨勭爺绌跺皬缁勪簬1973骞撮鍏堝疄鐜扮殑閫昏緫寮忚瑷€PROLOG(PROgramming in LOGic)骞剁О涓轰汉宸ユ櫤鑳界殑涓ゅぇ璇█锛屽浜哄伐鏅鸿兘鐨勫彂灞曡捣浜嗗崄鍒嗘繁杩滅殑褰卞搷銆侺ISP鎵€钑村惈鐨勪赴瀵岀殑鎬濇兂鍜屾繁鍒荤殑鎰忎箟涔熷惛寮曚簡璐熻矗璁捐Algol璇█鐨勫浗闄呭鍛樹細锛岄害鍗￠敗鍥犳鑰岃鍚告敹涓鸿濮斿憳浼氱殑鎴愬憳銆侫lgol涓悗鏉ラ噰绾充簡LISP鍏充簬閫掑綊鍜屾潯浠惰〃杈惧紡杩欎簺鎬濇兂銆?/font>

    楹﹀崱閿″湪20涓栫邯50骞翠唬鏈爺绌剁殑鍙︿竴涓棰樻槸濡備綍浣跨▼搴忚兘鎺ュ彈鍔濆憡浠庤€屾敼鍠勫叾鑷韩鐨勬€ц兘銆備负姝や粬鎻愬嚭杩囦竴涓悕涓篈dvice Taker鐨勭郴缁熺殑璁炬兂銆傛湁璧勬枡璇达紝杩欐槸涓栫晫涓婄涓€涓綋鐜扮煡璇嗚幏鍙栧伐鍏锋€濇兂鐨勭郴缁燂紝1968骞村缓鎴愩€傚疄闄呬笂锛岃繖涓郴缁熷苟鏈渶鍚庡畬鎴愶紝鍙槸瀹屾垚浜嗕竴閮ㄥ垎锛岀敤LISP璇█寤虹珛璧蜂簡涓€涓叿鏈夊父璇?common sense)鐨勮蒋浠讹紝鑳界悊瑙ｅ憡璇夊畠鐨勬槸浠€涔堬紝骞惰兘璇勪及鍏惰鍔ㄧ殑鍚庢灉銆備絾姝ｆ槸鍦ˋdvice Taker鐨勫紑鍙戣繃绋嬩腑锛屽惎鍙戦害鍗￠敗鎻愬嚭浜嗙敤“鍒嗘椂绯荤粺”浠ｆ浛“鎵瑰鐞嗙郴缁?rdquo;鐨勫缓璁紝浣胯绠楁満鐨勪娇鐢ㄦ柟寮忓紩鍙戜簡涓€鍦洪潻鍛姐€?/font>

    闄や簡浜哄伐鏅鸿兘鏂归潰鐨勭爺绌跺拰璐＄尞涔嬪锛岄害鍗￠敗涔熸槸鏈€鏃╁绋嬪簭閫昏緫杩涜鐮旂┒骞跺彇寰楁垚鏋滅殑瀛﹁€呬箣涓€銆?963骞翠粬鍙戣〃鐨勮鏂?ldquo;璁＄畻鐨勬暟瀛︾悊璁虹殑涓€涓熀纭€”涓€鏂?鏀跺綍浜嶱锛嶣raffort鍜孌锛嶩irschberg缂栬緫鐨勩€婅绠楁満绋嬪簭璁捐鍜屽舰寮忕郴缁熴€?mdash;—Computer Programming and Formal Systems锛孨orth Holland锛?3-70椤?闆嗕腑鍙嶆槧浜嗕粬杩欐柟闈㈢殑鎴愭灉銆傞害鍗￠敗鍦ㄨ繖绡囪鏂囦腑绯荤粺鍦拌杩颁簡绋嬪簭璁捐璇█璇箟褰㈠紡鍖栫殑閲嶈鎬э紝浠ュ強瀹冨悓绋嬪簭姝ｇ‘鎬с€佽瑷€鐨勬纭疄鐜扮瓑闂鐨勫叧绯伙紝骞舵彁鍑哄湪褰㈠紡璇箟鐮旂┒涓娇鐢ㄦ娊璞¤娉曞拰鐘舵€佸悜閲忕瓑鏂规硶锛屽紑鍒涗簡“绋嬪簭閫昏緫”(10gicsofprograms)鐮旂┒鐨勫厛娌炽€傜▼搴忛€昏緫灏辨槸涓€绉?ldquo;璇█”锛岀敤杩欑璇█鍙互鏃犱簩涔夊湴琛ㄨ揪绋嬪簭鐨勫悇绉嶆€ц川锛屽叾璇箟瑙勫畾浜嗚璇█涓悇绉嶈〃杈惧紡鐨勬剰涔夛紝鑰屽畠鐨勪竴缁勮鍒欏垯鐢ㄥ悓鎰忎箟鐩稿叧鐨勬柟寮忓幓鎿嶄綔杩欎簺琛ㄨ揪寮忎互璁＄畻璇ヨ瑷€涓殑鍚勭鏂█(assertation)鐨勭湡鍊笺€傜爺绌剁▼搴忕殑閫昏緫瀵逛簬甯姪浜轰滑浜嗚В杞欢鏄惁鍚堢悊鍗佸垎閲嶈锛屽畠鍙互鐢ㄤ簬绋嬪簭楠岃瘉(program verification)锛岃嚜鍔ㄧ▼搴忚璁★紝涓轰紭鍖栧拰瀹¤鑰岃繘琛岀殑绋嬪簭鍒嗘瀽绛夋柟闈€傞害鍗￠敗鍦ㄤ笂杩拌鏂囦腑鎻愬嚭鐨勬柟娉曟槸鐢ㄩ€掑綊鍑芥暟浣滀负绋嬪簭鐨勬ā鍨嬨€備粬浠ヤ袱涓摼琛?1ist)鐨?ldquo;闄勫姞”(append)鎿嶄綔涓轰緥璇存槑鍙互鐢ㄩ€掑綊鐨勬柟娉曞畾涔夎繖涓嚱鏁帮紝骞跺彲浠ョ敤褰㈠紡鍖栫殑鏂规硶璇佹槑閾捐〃鐨勯檮鍔犳搷浣滄槸婊¤冻缁撳悎寰嬬殑(associative law)锛屽嵆x@(y@z)浜?x@y)@z銆傞害鍗￠敗杩涜€岃瘉鏄庝簡鐢ㄤ竴绯诲垪閫掑綊瀹氫箟鐨勫嚱鏁板氨瀹屽叏鍙兘寤洪€犲ぇ鍨嬬殑杞欢绯荤粺锛屽苟鐢ㄥ綊绾虫硶璇佹槑杩欎簺绯荤粺鎵€鍏锋湁鐨勬€ц川銆傞害鍗￠敗鎵€鎻愬嚭鐨勬柟娉曟槸鏈夊叧绋嬪簭閫昏緫鐮旂┒涓涓€涓瘮杈冪郴缁熻€屾垚鐔熺殑鏂规硶锛屾浘琚箍娉涘湴閲囩敤銆?/font>

    20涓栫邯70骞翠唬浠ュ悗锛岄害鍗￠敗鍙堝紑濮嬬爺绌堕潪鍗曡皟閫昏緫銆傚湪缁忓吀閫昏緫涓紝鐢卞凡鐭ヤ簨瀹炴帹鍑虹殑缁撹锛屽喅涓嶄細鍦ㄥ凡鐭ヤ簨瀹炲鍔犳椂鍙嶈€屼抚澶卞叾鏈夋晥鎬э紝鍥犳鏄?ldquo;鍗曡皟鐨?rdquo;(monotonic)銆備絾鍦ㄤ汉绫绘€濈淮杩囩▼涓紝鐢变簬淇℃伅鐨勪笉瀹屽叏鍜岃璇嗙殑灞€闄愭€э紝甯稿父鏈夐殢鐫€浜嬬墿鐨勫彂灞曞彉鍖栵紝鍘熸湁缁撹琚惁瀹氬拰鍙栨秷鐨勬儏鍐碉紝杩欏氨瀵艰嚧浜嗘墍璋?ldquo;闈炲崟璋冮€昏緫”(non monotonic logic)銆傞潪鍗曡皟閫昏緫涓湁涓€绫绘槸鍩轰簬鏈€灏忓寲璇箟鐨勬渶灏忓寲闈炲崟璋冮€昏緫銆?980骞达紝楹﹀崱閿″湪涓€绡囪鏂囦腑鎻愬嚭浜?ldquo;闄愬埗閫昏緫”鎴栫О“闄愮晫閫昏緫”锛屾垚涓鸿繖绫婚潪鍗曡皟閫昏緫涓瘮杈冩垚鍔熺殑涓€涓綋绯?瑙丣锛嶮cCarthy锛欳ircumscription a form Of non monotonic reasoning·Artificial Intelligence锛孷01.13锛?980锛?7—39椤?銆傞檺鍒堕€昏緫鐨勫熀鏈€濇兂鏄細“闄愬埗”鏌愪釜璋撹瘝P涔熷氨鏄帓闄や互P鐨勫師鏈変簨瀹炰负鍩虹鎵€寤虹珛鐨勫ぇ閮ㄥ垎妯″瀷锛岃€屽彧淇濈暀鏈夊叧P鐨勬渶灏忔ā鍨嬨€傝繖涓庝汉绫绘€濊€冮棶棰樻椂鎬绘槸鍦ㄦ煇浜涙潯浠堕檺鍒朵笅鑰冭檻锛屼篃灏辨槸鍙€冭檻鎵€娑夊強鐨勪釜浣撴垨鍏崇郴锛岃€屽喅涓嶅幓娑夊強鍏朵粬涓綋鎴栧叧绯伙紝鏄瘮杈冪浉绗︾殑銆?986骞达紝楹﹀崱閿″湪AI鏉傚織涓婂氨闄愬埗閫昏緫鐨勫簲鐢ㄥ彂琛ㄤ簡杩涗竴姝ョ殑鐮旂┒璁烘枃锛?ldquo;闄愬埗閫昏緫鍦ㄥ父璇嗙煡璇嗗舰寮忓寲涓殑搴旂敤”(Applications Of Circumscription tO Formalizing Common Sense Knowledge锛孉I锛孷01锛?8锛?986锛?9—116椤?锛屽鍊″甯歌瘑鎺ㄧ悊鍜屽父璇嗙爺绌惰捣浜嗗崄鍒嗛噸瑕佺殑浣滅敤銆?/font>

    楹﹀崱閿＄殑涓昏钁椾綔鏈夛細

    銆婅嚜鍔ㄦ満鐮旂┒銆?Automata Studies锛孭rinceton Uni锛嶱r.锛?956锛屼笌棣欏啘鍚堢紪)

    銆婁俊鎭锛氱瀛︾編鍥戒汉涔嬩功銆?1nformation锛欰 Scientific American Book锛孎reeman锛?966)

    銆婂舰寮忓寲鐨勫父璇嗭細楹﹀崱閿¤鏂囬€夐泦銆?Formalizing Common Sense锛歅apersby John McCarthy锛孉blex Pub锛嶤o.锛?990锛岀敱V锛嶭ifschitz缂栬緫)

    闄や簡鑾峰緱鍥剧伒濂栦互澶栵紝楹﹀崱閿″湪1988骞磋幏寰楃敱鏃ユ湰INAMORI鍩洪噾浼氭墍璁剧珛鐨凨YOTO濂栵紝杩欎釜濂栦富瑕佸鍔卞湪楂樼鎶€鏂归潰浣滃嚭鏉板嚭璐＄尞鐨勭瀛﹀锛岄害鍗￠敗鏄繖涓鐨勭5浣嶈幏寰楄€呫€?990骞撮害鍗￠敗鑾峰緱缇庡浗鍏ㄥ浗绉戝濂栫珷(National Medal of Science)銆?/font>

    楹﹀崱閿＄殑鍥剧伒濂栨紨璇撮涓?ldquo;浜哄伐鏅鸿兘鐮旂┒鐨勭幇鐘?rdquo;(The Present State of Research on Artificial Intelligence)銆備絾涓嶇煡浠€涔堝師鍥狅紝杩欑瘒婕旇娌℃湁鍙戣〃銆傚湪銆婂墠20骞寸殑鍥剧伒濂栨紨璇撮泦銆?ACM Turing Award Lectures  The First 20 Years锛?966—1985锛孉CM h锛?涓紝鍒欎互“闄勫綍”(postscript)鐨勫舰寮忕害璇烽害鍗￠敗鍙﹀啓浜嗕竴绡?ldquo;浜哄伐鏅鸿兘鐨勪竴鑸師鐞?rdquo;(Generality in Artificial Intelligence)锛屽垔浜庤涔?57—268椤点€?/font>

    楹﹀崱閿＄幇浠嶅湪鏂潶绂忓ぇ瀛﹁绠楁満绉戝绯讳换鏁欙紝鍏剁數瀛愪俊绠变负锛?jmc@cS.stanford锛巈du