文献

J-GLOBAL ID：201002283407606838   整理番号：10A0644171

非古典論理のクリプキ・モデルに基づく列・多重集合・集合への様相演算子の導入とその画像・音楽処理への応用

著者 (5件)： 村井哲也 (北大) ,  宮本定明 (筑波大) ,  生方誠希 (北大) ,  工藤康生 (室蘭工大) ,  赤間世紀 (C-リパブリック)
資料名： 人工知能学会全国大会論文集(CD-ROM)  (人工知能学会全国大会(CD-ROM))
巻： 24th  ページ： ROMBUNNO.1E1-2  発行年： 2010年 
JST資料番号： X0580B  ISSN： 1347-9881  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

シソーラス用語： *数学モデル ,  論理 ,  *様相論理 ,  演算子 ,  *画像処理 ,  *音楽 ,  *意味論 ,  集合 ,  可到達性 ,  グラフ
準シソーラス用語： *Kripkeモデル ,  *可能世界意味論 ,  多重集合 ,  直観論理 ,  非古典論理 ,  様相演算子

分類 (5件)： システム・制御理論一般  (IA02010H) ,  論理代数  (JB03000H) ,  図形・画像処理一般  (JE04010I) ,  楽器音響  (BB03070Y) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (5件)： 非古典論理 ,  多重集合 ,  集合 ,  音楽 ,  応用