A-001 線形論理型言語を用いた人工化学のための推論の一手法(数理モデル化と問題解決(1),A分野:モデル・アルゴリズム・プログラミング)
スポンサーリンク
概要
- 論文の詳細を見る
人工化学系における分子の生成可能性を判定するために,線形論理に基づく論理型言語LLPを用いて推論を行うことを試みた.線形論理とは命題を資源に見立てる論理体系である.この論理における命題を我々の人工化学における分子と見なすことで推論を行う.本研究は,この人工化学における推論を行うためのLLPによる記述法を与えた.そしてその記述法を用い,いくつかの人工化学系に対して推論のための記述を与えて実行し,正しく推論が行えるとを確認した.
- FIT(電子情報通信学会・情報処理学会)運営委員会の論文
- 2011-09-07
著者
関連論文
- 5D-7 メールフィルタを用いたWebページレイティング(ネットワーク運用管理,一般セッション,ネットワーク)
- 人工化学による遺伝子制御ネットワークのモデル化
- 人工化学による遺伝子制御ネットワークのモデル化
- 衝突理論に基づく人工化学の拡張の一手法(セッション7)
- 衝突理論に基づく人工化学の拡張の一手法(セッション7)
- 衝突理論に基づく人工化学の拡張の一手法
- 衝突理論に基づく人工化学の拡張の一手法
- 人工化学による人工免疫システムの構築
- 膜人工化学に基づくネットワークモデルの構築
- 人工化学による人工免疫システムの構築
- 膜人工化学に基づくネットワークモデルの構築
- 人工化学のための自動推論器の構築
- 人工化学のための自動推論器の構築
- 人工化学における推論の一手法
- DNSのTXTレコードを利用してレイティング情報を受け渡すWWWフィルタリングシステム(●インターネット技術)
- オブジェクト指向スクリプト言語によるモバイルエージェントシステムの実装とその応用(「次世代Web技術とディジタルエンタープライズ」及び一般)
- A-001 線形論理型言語を用いた人工化学のための推論の一手法(数理モデル化と問題解決(1),A分野:モデル・アルゴリズム・プログラミング)