モデル生成型定理証明による量空間の管理
スポンサーリンク
概要
- 論文の詳細を見る
我々は,ATMSを用いたモデル生成型定理証明システムを試作した.これは,モデル生成型定理証明システムSATCHMOの証明方式をATMSを用いることによって実現したものである.本稿では,この応用例として,パラメータ間の順序関係の推定に適用する.パラメータ間に存在する順序関係について,その全てが明示的に与えられる場合は少なく,一般的には,それらは部分的にしか与えられない場合が多い.従って,それら部分的な情報からある特定のパラメータ間の順序関係や全体的なパラメータ間の順序関係,あるいはそれら与えられた順序関係の無矛盾性を求めることが必要となる.そのために,ここでは,推移律や様々な推論規則を与え,それらに対してモデル生成型定理証明を適用する.そして,その結果から,明示的には与えられなかったパラメータ間の順序関係や,与えられた順序関係の無矛盾性を求める.
- 一般社団法人情報処理学会の論文
- 1992-02-24
著者
関連論文
- ソフトウェア科学会第5回大会
- 2ZJ-7 肌質変化を考慮した3Dメイクアップシミュレーションの提案と実装(人間行動,障害等支援,学生セッション,コンピュータと人間社会)
- TinyMRL : センサネットワークへのマルチエージェント言語の導入によるセキュアな相互協調システム(分散協調とエージェント)
- 楕円曲線暗号を利用したSPKIによるネットワーク機器用認証システムの設計
- 動的なセキュリティポリシのためのRBACシステムの設計(ネットワークセキュリティ)
- 分散環境におけるプロセス間通信の為の論理型言語GMAL
- 並列論理プログラミングに基づくマルチエージェント言語MRL(マルチエージェント)
- SA-7-5 ソーシャルサービスロボットシステムの設計
- 物理的な協調の交渉のためのマルチエージェントシステム
- 3T-7 情報機器制御のためのWeb-topユーザーインターフェース
- 5N-1 Javaによるイベント認証を用いた機器制御プロトコル
- オフィスのスマート化プロジェクト : その3 : PHSを用いた機器制御
- 制約概念を用いたユーザインタフェース作成支援について
- 座談会 「人工知能研究の現状と問題点」
- 免疫科学者と計算機科学者の対話
- KLICプログラミングコンテスト--並列処理技術への挑戦
- CGS と品質別電気料金を含むエネルギー市場のモデル化 - 完全競争型とスタッケルベルグ型最適行動の比較 -
- 特集「認知科学」の新潮流について
- 言語理解・意味理解の先駆者田中穂積先生の想い出(7)
- 意味処理を導入した機械翻訳について : 融合方式 (機械翻訳)
- 機械翻訳システム開発における諸問題
- 知識ベースにおけるデフォルト推論システムへの接近
- 階層的定性シミュレーションによる因果ネットワークの生成
- 定性推論を組み込んだ医療診断システム
- 1T-5 WebScoreを利用したWebサイト評価及び改善に関する研究(Webデザイン,学生セッション,データベースとメディア)
- 空きCPU時間を活用した地図の再描画手法の提案
- CGS導入による電力市場の競争関係のマルチエージェントモデルによる解析
- CGS及び太陽光発電を含む電力市場における電力の品質を考慮した地域分散型エネルギーシステムの最適計画
- 都市構造・交通システム・環境負荷を考慮した最適都市交通計画モデル
- マルチエージェントモデルに基づくエネルギー供給シミュレーション
- CGSを含む電力市場における品質別電気料金のスタッケルベルグ型最適計画
- 構造的遺伝アルゴリズムを用いたコージェネレーションシステム導入計画
- CGS導入計画に対する近似解法の提案
- 分散型エネルギーシステム配置計画に対するGAの適用
- 遺伝アルゴリズムを用いた分散型エネルギーシステム導入計画
- GAを用いたエネルギーシステム計画
- GAによるエネルギーシステム配置計画
- 固定チームナーシングのための進化型計算による勤務スケジューリング手法の提案(セッション2)
- プッシュ配線を利用した教材管理システムの設計
- モデル生成型定理証明による量空間の管理
- 真偽維持概念と定理証明に関する考察
- ATMSを利用した並列制約充足
- ATMSの並列化に関する一提案
- データ依存関系に基づく無矛盾性管理の並列処理方式
- 6P-8 ナーススケジューリングにおけるスケジュール改善手法の提案(数理モデルの応用,学生セッション,ソフトウェア科学・工学)
- 5P-2 KQMLによる分散制御システムの構築
- 2N-3 オフィス機器間の分散制御用クラスライブラリの開発
- 5M-7 オフィス環境制御用Java-Neuron C トランスレータの作成
- シームレスな分散制御ネットワーク上での自律移動ロボットの構築(その2) : 知的制御ネットワークの構築
- シームレスな分散制御ネットワーク上での自律移動ロボットの構築(その1) : ロボットの知的制御
- 安全・安心を確保するためのセキュリティの技術 (特集 セキュリティ)
- 4ZB-3 特定データの保護を目的としたファイルアクセス監視システムの設計と実装(セキュリティ(4),学生セッション,セキュリティ)
- 6Y-2 アドホックネットワークを利用したWebアプリケーション「TRIPS」の提案と実装(ネットワーク応用,学生セッション,ネットワーク)
- 2U-8 エキスパートシステムのための知識ベース編集システムの設計と実装(ゲーム・知識ベース,学生セッション,人工知能と認知科学)
- 4S-7 Web情報を活用する蔵書管理システム : パーソナライズへの適用(SNS,ブログ,ソーシャルWeb,学生セッション,データベースとメディア)
- 化粧品のエキスパートシステム--コンピュータによる化粧品選択の専門家 (特集/化粧品のテクノロジー)
- SSHパスワードユーザ認証の脆弱性とその考察(ネットワークセキュリティ,再考 分散システム/インターネットの運用・管理)
- SSHパスワードユーザ認証の脆弱性とその考察
- WearableEye : ウェアラブルコンピュータによる情報化環境把握のための視覚化システムの開発(モバイルコンピューティング)
- SPAMメール対策システムの提案と実装(情報セキュリティ応用)
- 免疫系によるネットワークセキュリティ
- ユーザ認証付きDHCP(UA-DHCP)の提案と実装(電子社会に向けたコンピュータセキュリティ技術)
- 束縛のタイミングを考慮した認証プロトコルについて
- 制約指向ロボット言語の設計
- 制約充足機構を用いた作業プランナの設計
- 4S-2 インターネットを利用した金融オプション取引エージェント
- 3M-1 MPEG2トランスポートストリームデコーダの実行時間の予測
- Javaによる金融意思決定支援システム(その2) : 実装と評価
- Javaによる金融意思決定支援システム(その1) : システム設計
- 制約論理プログラミングに基づく三次元グラフィックス描画用言語
- 方向付き制約伝播
- 5P-3 移動エージェントに基づくナビゲーションシステムの設計
- 分散環境における金融意思決定支援システムの設計
- Inverting Resolutionの概念を用いた経済定性モデルの学習
- 経済予測のための定性推論
- エキスパートシステムの現在と未来
- 帰納論理プログラミングを用いたグラフィックデザイン知識の獲得
- 帰納論理プログラミングを用いたグラフィックデザイン知識の獲得
- 遠隔教育システムにおける教師エージェントの設計
- 4X-4 遠隔教育システムにおける個人適応型システムの設計(学校・教室システム,一般講演,コンピュータと人間社会)
- 医療知識工学 : 医療コンサルテーションシステムをめざして
- 帰納論理プログラミングを用いた文書デザイン知識の獲得
- ILPシステムと属性-値学習システムとの比較検討
- 帰納論理システムを用いたフロアプランの自動生成
- 帰納学習を用いた数値データからの知識獲得
- 帰納学習システムの比較検討と応用可能性
- 移動ロボットのためのナビゲーションシステム : その3 : 強化学習を用いた大局的な経路生成
- 移動ロボットのためのナビゲーションシステム : その2 : センサー情報の統合による場所の認識
- 移動ロボットのためのナビゲーションシステム : その1 : 分割予測報酬を取り入れた強化学習
- 静かなエージェントから動的なエージェントへ : その3:強化学習による自律エージェントの実現
- 静かなエージェントから動的なエージェントへ : その2:移動ロボットにおけるエージェントのための強化学習
- 静かなエージェントから動的エージェントへ : その1:移動ロボットからのアプローチ
- 帰納学習によるしわ画像の分類規則の生成
- 帰納学習を用いた画像分類システムの開発
- 自動配置システムの為の空間配置問題の分類とその解法について
- 空間制約充足問題の定式化とその解法
- 知識ベースを取り入れた制約指向フロアプランニングシステムの設計
- 制約指向フロアプランニングシステムの設計
- セキュリティ教育のシラバスおよびコンテンツ
- マルチエージェント環境における強化学習パラメータの調整