裴斯

Pease Scien Merged

裵斯(AdamPease)是美籍計算機科學家,專門研究形式推理Formalreasoning和本體_(信息科學)的知識(Ontology-InformationScience)。身為“建議廣泛合併知識本體”(SuggestedUpperMergedOntology|SUMO)[1]的技術編輯,裵斯致力推動將“廣泛知識本體”UpperOntology作為各種計算機信息處理系統的知識基礎。他在“知識本體”研究上頗具建樹,包括將SUMO與WordNet的詞條聯繫,建立並維護SUMO的編寫平台—“識碼(Sigma)知識工程開發區”。裵斯以他公司(ArticulateSoftware)名義贊助合辦的比賽包括:SUMO$100挑戰獎、“自動定理證明推論會議”(CASC)[2]的SUMO推理年獎、SUMO年獎等。裵斯在知識本體方面的相關著作publications頗多,他在SUMO的作品已被過千份刊物引用publications。

相關詞條

相關搜尋

熱門詞條

聯絡我們