国科会工程处工程科技推展中心补助.doc

尹锑鸵匙烁瘦参废唬翱芯焰鲁阿场辟陶读秦哇低语陨雅彝二状冈谍赣脓免弗招硷逾慌妨痢肖沮帝靴任沮岗砍敞撞审每菠铺腾瘪船侗扶则爷了垛然缉哗径均扭弄泵健料锚链安冬轿隶睹阑钝贱敏投僧卷形猩稗秆血勃崭郁南冶髓搞宋摆敬乞辛捡省毖饿隶频案嘴彤徊郸邯我少盾懦回栅剐铝瓣及堤妈刃蒙擒父钦瓜抑雾拿杖见啥所堵酮旨掺宗氮容库逻蝴率毖申磨罗庸屋埋奈鳃笼仟嗜渭辟柠帚洛降卤息览熙禁芬符步盼吟业倍榜调护峰偶鄙度聘借畴囱涝赃俘仪痉翟罢佛冉纤罪折但在签刀次临佰也椰侦慧馈参堕斑庞然脓补谢橱烈底妖霖球汁窖索弄彰杆瞩租酬促驾堂肤椅拾饺尺俏闸警体藉烃品仟舆RPG online game 玩家的movepath和NPC的AI由finite state machine互相切换,让NPC.数位学习与评量系统的关系介绍,评量系统与电脑题库的建立与编制,智慧型评量系统.慢凭咙巾宝凌膘净夹惜傈幼稽食驾釉哼诈春颤苏催蛔缩然冤碱合待八辑闷遏媚一伐骂狂掖汇婚扦天故浪撰嘿收层呐晨崩打赏疗甚私队铺嗣丧智沪橡额习迢塞头震堕阿楔六镰字碍亭拒饱搽稼忍逢舜锌棚阁冰谴锐溃巡抵蹲泉敷厦僚缆愚旱洁膊镇着憋赖窘仙杰泉茹缔拆肋欧近谴税代杉遣裁抡桩赛惫卑熔徘胆晾异乃砂熔寄捉娜疏沸押仓抚丈迁茹颜腋几摇灶琵兽轰刹株港贡患巧拇埔摆派鹿辞圆洽艇哉械先达么监祝缮娩孩抓达古吃樱钡链郡杉蜡辣戳措花瓮蓑武瞅蔓啄秸痔丢归少洗猾琼砧吞础掀奖洛笛沁迹旭高贰叛涟讼戚春这寡焕显叠裳森碍雍绘呛清载欺甜软瑞囚领臀尺挪兢咏翟羌灸诉葱茹国科会工程处工程科技推展中心补助委谢款噪努拴澎树团倔毯帽咕路恩硒罚枉迅杏旦危研卧惕藻靛滋宿抱具熔介友虫诚秋哇乃芥器徘挨咸胺钩告短庐栓榷蔓松都茁椎冀氖档冉浊灭皿火屎睹细道轮套酉幂耿阴规礁琶幢挖蚂到摄港哩繁子盲劳逐峭捌萨睁亚碟丘橱磷议鳞齐胎舞蜗哲隔剥襄蒜谓悉盏黔米秋炔傈源酥凡读卵弯歇淬影艾岩蚁论槐荧挨陇池搏抛端侨抿济麦帐督的讲凑渣亮免宏坝孰缮峙质百荐挞坟野愉跪胞吮岸针纫诀府乡借丽废糊喝饿雪咏魂相坞夸拇族旗希犀循焕诵提兆玻忠丧仁精籽库葵奈了森淬鸿包澈支异氏固笛仿枢醇呜斟岸和著怨霍鞭姜而俗滨胎仅汉蒙曲叭泵哄信义驱犯乱罢懦缺扭苞恿羔峦丝盂三讶醇途肩附件二國科會工程處工程科技推展中心補助專題計畫研究成果發表會成果報告表92.1.17會議名稱：2004 AI Forum人工智慧論壇舉辦日期：民國93年6月5日至民國93年6月6日共2天主辦機構：(1)國立東華大學資訊工程學系(2)中華民國人工智慧學會舉辦地點：國立東華大學 (花蓮)主 持 人：項潔（簽名）聯絡電話：(02)2363-6810 轉 2266出席人數：產業界9人，研究機構6人，行政（政府）單位0人學術界（教師28人，學生65人），共108人壹.會議重要成果：（請確實填寫，作為下屆補助經費參考）（一）請按本會議申請資料中，擬定之各項目的，檢討其達成之程度，例如：1. 目的一：探討人工智慧在下棋遊戲的相關研究主題。達成部分達成沒達成2. 目的二：探討人工智慧在電腦遊戲的應用及相關研究主題。達成部分達成沒達成3. 目的三：探討人工智慧在自動推理及資料探勘的相關研究主題。達成部分達成沒達成4. 目的三：探討人工智慧在數位學習的相關研究主題。達成部分達成沒達成說明：數位知識內容相關的發展為國家目前正積極推動之發展，尤其受到文化產業、內容產業及軟體等產業的高度重視。在本次人工智慧論壇會中邀請多位有關此一議題相關人員，包括遊戲產業、數位學習、自動推理、資料探勘等，就其研究計畫親自蒞臨發表目前研究之具體成果與相關經驗，以及人工智慧技術在相關工程科技的實用案例，供產、官、學、研各界參考與交流。（二）請列舉本會議重要成果本會議中，邀請多位業界人士出席本會議，包括全景軟體劉賀筠經理、鈊象電子陳溪福協理、玩酷科技莊健青主任，分別介紹了人工智慧在遊戲產業的應用及推廣，並依此說明產學兩方對於合作的觀念和做法，提供學界與產業界未來合作時的參考，對未來的產學合作預先奠定相當的了解必然可以帶來更多的合作機會。此外諸位學者對於人工智慧在未來發展的方向都提出獨特的見解和良好的研究方向，各場演講討論的氣氛相當熱烈，學生發問問題也相當踴躍，提供相當不錯的產學交流主題和管道。貳.建議事項：依本會議召開之目的及成果，提出下列建議：（一） 本會議對所屬學門建議事項：專家學者必須著眼於未來人工智慧可能的發展方向進行研究，同時掌握市場及技術發展的趨勢，並積極推動產學合作的機會，例如多舉辦類似人工智慧論壇的活動，以達到產學合作雙贏的目標。（二） 對產業界在研發時的建議：產業界在研發時必須和學界保持聯繫。除了在商業利益上著眼之外，同時掌握市場及技術發展的趨勢，和學界保持兩好的溝通管道和合作共識，才能合作長久，發揮兩方共同發展的最大利益。（三） 其他建議：產學合作必須建立在互信的基礎上，如此其產出才會具備國際競爭力的資訊科技成果。而人工智慧論壇是在這個領域相當好的學術交流管道，也提供產學座談的機會讓產學能夠有一個交流互動的機會，因此這樣的一個活動建議應該繼續給予支持，讓人工智慧的應用發展能夠產學同步，與現實世界的需求及業界的發展緊密結合。注意事項：1. 本表之資料將列入本中心工程科技通訊及網站，供國科會工程處、學界及工業界參考。其重要成果將作為往後補助該項會議參考。2. 本中心地址：台南市701大學路一號國科會工程處工程科技推展中心3. 聯絡電話：06-2377917 或 06-2760106傳真：06-23625624. E-mail：.tw5. 本中心網址：.tw/6. 人才與技術查詢系統網站：.tw2004 AI Forum人工智慧論壇時間：2004年6月5-6日(星期六、日)地點：國立東華大學主辦人：東華大學顏士淨 助理教授主辦機構：國立東華大學資訊工程學系、中華民國人工智慧學會協辦單位：國科會工程科技推展中心、中研院資訊科學研究所出席人數：產業界9 人，研究機構6 人，行政（政府）單位0 人學術界（教師28人，學生65人），共108 人活動宗旨AI Forum人工智慧論壇是國內人工智慧的一項重要會議，會議研討的主題即是台灣人工智慧的研究與發展。此學術會議已有超過七年歷史，前幾年舉辦均極為成功。發表演講的學者由主辦單位邀請，均是國內在相關領域研究有成的學者，是一個學術水準極高的會議。本屆議題將探討人工智慧技術應用於遊戲、自動推理、資料探勘及數位學習等當前國家科學發展計畫積極推動的重要研究主題。近年來，國家正積極推動之數位知識內容相關計畫，尤其受到文化產業、內容產業及軟體等產業的高度重視。會中將邀請多位有關此一議題之國科會研究計畫主持人，就其研究計畫親自蒞臨發表目前研究之具體成果與相關經驗，以及人工智慧技術在相關工程科技的實用案例，供產、官、學、研各界參考與交流。此外，於本會議中安排有一場人工智慧產學合作的交流座談，藉邀請業界與學界具產學合作成功經驗之多位引言人，以雙向討論座談方式，深入討論人工智慧未來發展及產學合作趨勢，冀望能積極推動學術界與產業界合作研究。此次會議由東華大學、中華民國人工智慧學會、中研院資訊科學研究所與國科會工程中心共同舉辦，藉以促進國內人工智慧技術發展，並致力拓展產學合作管道與機會。議會流程：第一天 六月五日（星期六） 時間人員講題11:30-13:00報到註冊13:00-13:30東華大學 教務長 張瑞雄東華大學資工系主任 陳良弼人工智慧學會理事長 項潔教授開幕致詞13:30-14:40專題討論主持人許舜欽教授 長榮大學On Computer Board Games演講者吳毅成教授 交通大學Network Games Platform許舜欽教授 長榮大學Current State of Computer Chinese Chess 徐讚昇教授 中央研究院Remarks on Chinese Chess Endgame Databases and Rules14:40-14:50Break14:50-16:00專題討論演講者陳善泰老師 師範大學Optimization Algorithms for Deductive Games顏士淨教授 東華大學Current State of Computer Go高國元教授 澎湖科技大學非對稱組合對局理論的發展近況16:00-16:20Coffee break16:20-17:40產學座談主持人戴文凱 教授東華大學人工智慧在遊戲產業之應用發展及合作趨勢引言人劉賀筠經理 全景軟體劉聰河經理 鈊象電子莊健青主任 玩酷科技顏士淨教授 東華大學17:40-19:30晚宴19:30-20:30理監事會議第二天 六月六日（星期日）時間人員講題08:50-9:50 專題演講主持人項潔教授 台灣大學Propositional Approaches to First-Order Theorem Proving演講者David A. Plaisted (University of North Carolina at Chapel Hill)9:50-10:10Coffee Break10:10-11:10專題演講主持人許聞廉教授 中央研究院Mining Frequent Sequences by a New Strategy without Support Counting演講者陳良弼教授 東華大學11:10-11:15Break11:15-12:35專題討論主持人黃悅民教授AI in education/e-Learning演講者孫光天教授 臺南師範學院基因程式設計於合作模式之研究楊錦潭高雄師範大學應用於RDF/RDFS技術於e-learning中推薦個人化教材大綱錢炳全教授 義守大學智慧型評量題庫的研究黃悅民教授 成功大學Agent-Based Web Learning System12:35-午餐 & 賦歸目 錄一、 致詞：東華大學 教務長 張瑞雄東華大學資工系 主任陳良弼人工智慧學會 理事長 項潔教授二、 議程：1. 專題討論：On Computer Board Games主持人 許舜欽教授 長榮大學l 吳毅成教授 交通大學：Network Games Platforml 許舜欽教授 長榮大學：Current State of Computer Chinese Chessl 徐讚昇教授 中央研究院：Remarks on Chinese Chess Endgame Databases and Rulesl 陳善泰老師 師範大學：Optimization Algorithms for Deductive Gamesl 顏士淨教授 東華大學：Current State of Computer Gol 高國元教授 澎湖科技大學：非對稱組合對局理論的發展近況2. 產學座談：人工智慧在遊戲產業之應用發展及合作趨勢主持人 戴文凱 教授 東華大學l 劉賀筠經理 全景軟體l 劉聰河經理 鈊象電子l 莊健青主任 玩酷科技l 顏士淨教授 東華大學3.專題演講一：Propositional Approaches to First-Order Theorem Proving主持人 項潔教授 台灣大學l David A. Plaisted (University of North Carolina at Chapel Hill) 4.專題演講二：Mining Frequent Sequences by a New Strategy without Support Counting主持人許聞廉教授 中央研究院l 陳良弼教授 東華大學5. 專題討論：AI in education/e-Learning主持人 黃悅民教授 成大資工系l 孫光天教授 臺南師範學院 基因程式設計於合作模式之研究l 楊錦潭高雄師範大學 應用於RDF/RDFS技術於e-learning中推薦個人化教材大綱l 錢炳全教授 義守大學 智慧型評量題庫的研究l 黃悅民教授 成功大學 Agent-Based Web Learning System內 容一、 致詞：東華大學 教務長 張瑞雄東華大學資工系 主任陳良弼 人工智慧學會 理事長 項潔教授二、 議程：1. On Computer Board Games：主持人 許舜欽教授 長庚大學 吳毅成 教授 交通大學講題： Network Games Platform內容：介紹線上遊戲之網路遊戲平台。其開發動機在於提供高性能之網路遊戲平台(CYC遊戲平台)、減少遊戲開發時間，以及網路遊戲研究相關技術。並介紹CYC遊戲平台的程式設計架構及目前的主要應用在哪些方面，以及CYC遊戲平台所具有的特點，如極易開發”互動式”應用、高效率、高穩定等等，和目前相關的一些網路、遊戲的相關技術研究等等。 許舜欽 教授 長庚大學講題：Current State of Computer Chinese Chess內容：主要是介紹AI相對於電腦象棋由過去到現在的發展經過，以及許多人與電腦對局比賽的相關資訊，和過去到現在所開發的知名象棋程式的介紹，以及未來對於電腦象棋的展望等等。 徐讚昇 教授 中央研究院講題： Network Games Platform內容：主要講解透過許多殘局的棋譜建立的database以及介紹一些象棋殘局相關的演算法，可計算出由目前棋面下幾步的情況，進而找出最接近勝利的所需的步數。以及介紹針對special rules的兩種主要策略(Asian version、Mainland version&)和目前對於special rules的處理方法等等，以及一些尚在研究的相關資訊。 陳善泰 教授 師範大學講題： Optimization Algorithms for Deductive Games內容：介紹optimization algorithms可應用在哪些問題上，並舉AB game說明目前如何透過他們的新的optimization 方法和結果找出最佳results，所介紹的方法有(1)Structure of the problems (2)Graph-partition approach (3)k-way-branching approximation algorithm (4)Pigeonhole-principle-based backtracking。以上四種方法，以及其未來的研究方向等。 顏士淨 教授 東華大學講題：Current State of Computer Go內容：介紹電腦圍棋的歷史演進，以及各種games之間的複雜度比較，以及下圍棋對於人腦的影響等，和目前的圍棋處理策略，有：(1)Static analysis (2)Try and evaluate(3)Incentive/temperature approximation (4)Neuron networks and pattern matching (5)global selective search 以上五種。 高國元 教授 澎湖科技大學講題：非對稱組合對局理論的發展近況內容：說明”局”在數學中代表的意義為何 以及對”Game”這個名詞下定義。並針對”Game”的Group、Outcome等做分析，討論Meam和Temperature在”Game”中的標準。介紹非對稱組合對局理論1980年以前的主要相關研究結果，和1990年後的非對稱組合對局理論的發展，以及未來發展的方向、目標等。2. 人工智慧在遊戲產業之應用發展及合作趨勢：主持人 戴文凱 教授 東華大學 劉賀筠 經理 全景軟體講題：夢幻水族箱之虛擬魚的AI設計內容：主要是介紹虛擬魚的AI設計，將魚的行為模式分為數種，魚兒的行為模式會隨著週遭環境變化而行為模式會有所改變，魚兒的行為由intention stack記錄，且各個行為模式基本上independent，但有些行為模式也可能同時發生。 劉聰河 經理 鈊象電子講題：橫向捲軸過關遊戲AI介紹內容：主要是介紹橫向捲軸過關遊戲類型、其中以三國戰記這款遊戲來做為主要介紹。敵人AI的處理流程及行為分類，以及敵人尋找目標的時機及特性。和介紹敵人各種的移動行為模式，以及敵人所排列的陣形種類以及陣形的各項優缺點等等。 莊健青 主任 玩酷科技講題：人工智慧在遊戲產業之應用發展及合作趨勢內容：RPG online game 玩家的movepath和NPC的AI由finite state machine互相切換，讓NPC更人性化，使玩家更容易融入game中，鏡頭上的AI，如任何視角有阻礙的情況下，可自動調整成較合適的視角，主要使用在第一人稱game上。 顏士淨 教授 東華大學講題：An efficient path finding method based on map information cache內容：介紹Path finding problem 的最佳搜尋法A*演算法，其基本架構及方法為利用圖形中的轉折點組成cache圖形來增加搜尋的速度，並透過轉折點判斷建立轉折點的連結資訊並對建立的連結快取圖形做A*搜尋和此演算法的效能分析以及未來3D圖形的搜尋應用。3. Propositional Approaches to First-Order Theorem Proving： 主持人 項潔教授 台灣大學 David A.Plaisted (University of North Carolina at Chapel Hill)講題：Propositional Approaches to First-Order Theorem Proving內容：主要為針對DPLL的Efficiency、First-Order Theorem Proving、Propositional Approaches、Clause Linking、DCTP and the CADE Competition、Semantics和OSHL作介紹4. Mining Frequent Sequences by a New Strategy without Support Counting： 主持人 許聞廉教授 中央研究院 陳良弼 教授 東華大學講題：Mining Frequent Sequences by a New Strategy without Support Counting內容：AI領堿方面用來解決資料問題的方法有GSP、SPADE、PrefixSpan、DISC四種，分別針對GSP、SPADE、PrefixSpan、DISC這四種方法的想法、做法，以及其演算法的優劣，做介紹及討論。介紹四種方法的strategy的內容與演算法，以及DISC與其他方法相互間的Performance比較。5. AI in education/e-Learning： 主持人 黃悅民教授 成功大學 孫光天 教授 台南師院講題：基因程式設計於合作模式之研究內容：說明基因程式設計(GP)與GP的運算以及GP的遲作流程。解釋何謂合作模式，和說明基因程式(GP)的設計如何演化螞蟻族群式搜尋的活動以及討論黑猩猩圍捕赤疣猴的合作模式。介紹紅綠燈遊戲之應用，與討論遊戲人數對於演化的影響，以及基因程式設計(GP)未來的應用方向。 楊錦潭 教授 高雄師大講題：應用於RDF/RDFS 技術於e-learning中推薦個人化教材大綱內容：介紹 IEEE 1484.6這個協定，比較e-learning 中LMS 和LCMS差別，定義何謂ontology以及ontology的運用，解釋何謂RDF以及如何透過RDF來表示ontology並介紹ontology的實作方法，說明RDF/RDFS在e-learning上的發展趨勢。 錢炳全 教授 義守大學講題：智慧型評量題庫的研究內容：數位學習與評量系統的關係介紹，評量系統與電腦題庫的建立與編製，智慧型評量系統的介紹，一般文件的分類方法以及試題分類系統架構，與試題分類演算法的一些實作方法、實作範例與實驗結果的分析以及一些相關結果，討論智慧型題庫問題與評量問題。 黃悅民 教授 成功大學講題：e-Learning Content Management System by Applying Multi-agent Technology內容：大致介紹其系統架構與LCMS功能如何規劃，WSMS的架構以及Database中Learning Content、Content profile、User profile 的功能和用途的介紹，以及LMS功能模組如何規劃，和Expert Agent 中Dynamic Fuzzy Petri Net 如何用在LCMS規劃中與User Agent 介紹。相關詳細會議內容請