140HLI34000
他在 斯坦福大學(xué)的實驗室致力于使用形式化邏輯解決多種問題，包括知識表 示， 智能規(guī)劃和機(jī)器學(xué)習(xí). 致力于邏輯方法的還有愛丁堡大學(xué)，而促 成歐洲的其他地方開發(fā)編程語言PROLOG和邏輯編程科學(xué).“反邏輯”斯 坦福大學(xué)的研究者 (如馬文·閔斯基和西摩爾·派普特)發(fā)現(xiàn)要解決計 算機(jī)視覺和自然語言處理的困難問題，需要專門的方案-他們主張不存 在簡單和通用原理（如邏輯）能夠達(dá)到所有的智能行為。ROGER SCHAN K 描述他們的“反邏輯”方法為 "SCRUFFY" .常識知識庫 (如DOUG LEN AT的CYC)就是"SCRUFFY"AI的例子，因為他們必須人工一次編寫一個復(fù) 雜的概念。
140HLI34000
聯(lián)系人：郭先生
聯(lián)系電話：18971415643
座機(jī)：027-83238871
傳真：207-61537051
QQ：810334512
電網(wǎng)調(diào)度 電網(wǎng)調(diào)度自動化是一個總稱，由于各級調(diào)度中心的任務(wù)不同，調(diào)度自動 化系統(tǒng)的規(guī)模也不同，但無論哪一級調(diào)度自動化系統(tǒng)，都具有一種最基 本的功能，就是監(jiān)視控制和數(shù)據(jù)收集系統(tǒng)，又稱SCADA系統(tǒng)功能（Super visory Control And Data Acquisition）。 140HLI34000
施耐德 140CRP93100
施耐德 140CRP93200
施耐德 140DAI34000
施耐德 140DAI35300
施耐德 140DAI44000
施耐德 140DAI45300
施耐德 140DAI54000
施耐德 140DAI54300
施耐德 140DAI55300
施耐德 140DAI74000
施耐德 140DAI75300
施耐德 140DAM59000
施耐德 140DAM59000C
施耐德 140DAO84000
施耐德 140DAO84010
施耐德 140DAO84210
施耐德 140DAO84220
施耐德 140DAO85300
施耐德 140DDI15310
施耐德 140DDI35300
施耐德 140DDI35310
施耐德 140DDI36400
施耐德 140DDI67300
施耐德 140DDI84100
施耐德 140DDI85300
施耐德 140DDM39000
施耐德 140DDM69000
施耐德 140DDO15310
施耐德 140DDO35300
施耐德 140DDO35301
施耐德 140DDO35310
施耐德 140DDO36400
施耐德 140DDO84300
施耐德 140DDO88500
施耐德 140DII33000
施耐德 140DIO33000
施耐德 140DRA84000
施耐德 140DRC83000
施耐德 140DSI35300
施耐德 140DVO85300
施耐德 140EDK77100
施耐德 140EHC10500
施耐德 140EHC20200
施耐德 140EIA92100
施耐德 140ERT85410
施耐德 140ERT85410Z
施耐德 140ESI06210
施耐德 140HLI34000
施耐德 140MSB10100
施耐德 140MSC10100
施耐德 140NOA61100
施耐德 140NOA62200
施耐德 140NOC77100
施耐德 140NOC77101
施耐德 140NOE31100
施耐德 140NOE35100
施耐德 140NOE51100
施耐德 140NOE55100
施耐德 140NOE77100
施耐德 140NOE77101
施耐德 140NOE77110
施耐德 140NOE77111
