強相関性原理を満たす決定可能な相関論理体系について
スポンサーリンク
概要
- 論文の詳細を見る
本論文では, 相関論理体系LRの論理定理のうち, 強相関性原理を満たし, かつ決定可能な部分を明らかにするように相関論理体系Rcを拡張する手法について述べる。
- 一般社団法人情報処理学会の論文
- 1997-09-24
著者
関連論文
- D-023 情報セキュリティ工学データベースシステムISEDSのAPIの実現と応用(D分野:データベース)
- 情報セキュリティ工学データベースシステムISEDSの開発と応用(開発支援環境・自動化技術,ソフトウェア工学の理論と実践)
- 追加機能を含んだAda 95プログラムのためのタスキングデッドロック検出ツール
- 並列化による前向き演繹エンジンの高速化(シンポジウム)
- ソフトシステムバスの実現について--ユビキタスコンピューティングのための永続システムを目指して (2004年情報学シンポジウム講演論文集--ユニバーサルとユビキタス) -- (ポスターセッション)
- UMLによるプロテクションプロファイルのモデル化とその形式的検証(セキュリティ,フォーマルアプローチ論文)
- 自己計測機能を含む並行プログラムの開発における計測仕様書とその応用
- 汎用前向き帰結演算システムEnCalのインタフェースの開発
- Ada並行プログラムのためのタスク従属ネットとその自動生成
- 強相関性原理を満たす決定可能な相関論理体系について
- 先行推論による予測とその論理基礎(予測技術の信頼性)
- ISO/IEC 15408に基づく情報セキュリティ要求管理データベース
- ユビキタスコンピューティングのためのソフトシステムバス技術
- 先行予測反応システム
- 先行予測反応システム
- Autonomous Evolutionary Information Systems and Active Database Systems: What is the Difference between them ? (人工知能基礎論研究会(第46回) 知識ベースシステム研究会(第54回) 合同研究会 テーマ:「アクティブマイニング」および一般)
- Autonomous Evolutionary Information Systems and Active Database Systems: What is the Difference between them ? (人工知能基礎論研究会(第46回) 知識ベースシステム研究会(第54回) 合同研究会 テーマ:「アクティブマイニング」および一般)
- 5C-3 Ada 95 プログラムのためのシステム従属ネット生成ツール
- 相関論理における強相関性原理
- ネットワークを利用した無記名投票システムの開発
- 前向き自動帰結演算システムの効率化
- 認識プロセスの相関論理モデルにおける認識的縮約操作について
- occam 2プログラムのためのシステム従属ネット生成ツール
- 関数型プログラムの束縛評価グラフ生成ツール
- コンピュータ囲碁における格言の知識表現について
- Ada 2012プログラムのためのタスキングデッドロック検出ツール