主催しゅさい: 一般いっぱん社団しゃだん法人ほうじん 人工じんこう知能ちのう学会がっかい
会議かいぎ名めい: 2013年度ねんど人工じんこう知能ちのう学会がっかい全国ぜんこく大会たいかい(第だい27回かい)
回かい次じ: 27
開催かいさい地ち: 富山とやま県けん富山とやま市し 富山とやま国際こくさい会議かいぎ場じょう
開催かいさい日び: 2013/06/04 - 2013/06/07
奈良女子大学ならじょしだいがく研究けんきゅう院いん自然しぜん科学かがく系けい情報じょうほう科学かがく領域りょういき
奈良女子大学ならじょしだいがく大学院だいがくいん人間にんげん文化ぶんか研究けんきゅう科か
京都大学きょうとだいがく 数理すうり解析かいせき研究所けんきゅうじょ
近畿大学きんきだいがく理工学部りこうがくぶ
(EndNote、Reference Manager、ProCite、RefWorksとの互換ごかん性せいあり)
(BibDesk、LaTeXとの互換ごかん性せいあり)
著者ちょしゃらは、実じつ世界せかいにおける合理ごうり的てきエージェントの行為こうい選択せんたくに関かんする研究けんきゅうの一環いっかんとして、BDI logicを拡張かくちょうして、行為こういの結果けっか到達とうたつする状態じょうたいが連続れんぞく的てきな確かく率りつ分布ぶんぷをするような時とき相あい論理ろんり体系たいけいC-TOMATOesを論理ろんりモデルとして提案ていあんした。しかし、このような論理ろんりには演繹えんえき系けいを与あたえることは困難こんなんである。本ほん発表はっぴょうではその部分ぶぶん的てきな試こころみとして、確かく率りつ分布ぶんぷに関かんしては数学すうがく的てき計算けいさんを神託しんたくとして用もちいることによる演繹えんえき系けいの構築こうちくについて考察こうさつする。
すでにアカウントをお持もちの場合ばあい サインインはこちら