4値論理に基づくProlog : 真、偽、未知、矛盾を取り扱うProlog
スポンサーリンク
概要
- 論文の詳細を見る
Prologは述語論理に基づく論理型のプログラミング言語であり,そのプログラムの実行は導出原理による機械的証明手続きとして解釈できることがよく知られている.ところが,Prologでは,導出の効率のために述語論理の部分系であるホーン集合に限った導出しか実現されていない.よって,命題が偽であることの証明はできず,否定演算も通常の論理否定とは異なっている.通常これらの問題は閉世界仮説,すなわち,証明できないもの(未知,未定義)は偽であるとする仮説で理由付けられてはいるが,推論システムにとって本質的な情報である未知量を無視する考え方には疑問が残る.そこで本稿では,4値論理(真,偽,未知,矛盾)に基づくPrologを提案し,これまで偽と同一視することで排除されていた未知の情報を積極的に認めることを試みる.
- 一般社団法人情報処理学会の論文
- 1989-03-15
著者
関連論文
- ユーザの意図を考慮したマウスポインタ制御の提案
- 4-1 安全機能実現のための制御回路例における論理構造の一考察 : 国際規格ISO13849-1:2006から(セッション4「理論,一般」)
- 安全設計の基本概念(安全・安心を確保するための技術基盤の構築)
- 日本信頼性学会の未来に向けて : 学会誌の30巻発刊に当たって(「信頼性」Vol.30にあたり)
- 自立制御型ロボットの安全性定義と要素
- 自立制御型ロボットの安全性定義と要素(福祉情報工学,一般)
- 5-4 パワーアシストロボットの安全理論(安全性-2(事例), 日本信頼性学会 第18回秋季信頼性シンポジウム報告)
- 5-4 パワーアシストロボットの安全理論(セッション5「安全性-2(事例)」)
- 1. 総論 : 安全と技術と社会(安全に暮らしたい)
- 新法人に期待する
- リスクアセスメントと災害の未然防止
- 安全・安心(3)大型自動回転ドアの事故を振り返る
- Catch up 危機管理時代のリスクマネジメント(後編)機械安全とリスクアセスメントについて
- 安全技術の重要性と産業社会 (特集 2005年の安全衛生を展望する)
- TA-2-1 システムの安全性と安全目標(TA-2. 安全性-安全の目標レベル、評価尺度、そして実現技術-)
- 日本の新しいものづくりに向けて
- 機械の安全
- 機械の安全(安全性を向上させる技術)
- PD-3-4 ディペンダブルコンピューティングと安全学
- 2-206 ユーザー状況に対応したファジィ集合の生成
- 2-205 自律分散概念に基づく不正侵入検知システム
- 2-110 Web page 探索経路情報とその利用法
- 機械安全規格と欧州規格の動向 (特別企画 グローバル市場と標準)
- 機械安全と国際標準 (特別企画 機械安全の国内外の動向--国際標準化と我が国の動向)
- [1-3]リスク評価に関する論理数学的考察(3.各セッションの報告 日本信頼性学会 第9回研究発表会報告)
- 情報通信ネットワークの信頼性向上活動への提案(後編) : 情報システム信頼性調査研究委員会報告
- リスク評価に関する論理数学的考察(日本信頼性学会第9回研究発表会)
- 新聞記事による情報システムの障害事例の収集と分析
- エレベーターの安全確保のあり方について
- 21世紀における知のシステムのあり方 : そして知のシステム学会連合に向けて(第17回ファジィシステムシンポジウム)
- 機械設備の安全装置入門(10)ISO 12100(JIS B 9700)-機械類の安全性-について(4)本質的安全設計
- 昇降機の安全確保と事故調査のあり方について : あるエレベーター事故調査を経験して(特別講演II)
- もう許されない安全後進国・日本--技術とマネジメント (特集 21世紀モノづくりを取り巻く視点群)
- 異常脳波のカオスモデル
- 国際安全規格の現状と今後の方向性 (特集 設計者にも発想の転換が迫られる 国際安全規格の最新動向と機械設計)
- クリーネ代数の完全に独立な公理系について
- 次世代ロボットの安全性
- リスクアセスメント学事始
- 2-3 国際安全規格における安全と安全確保策の論理的関係に関する考察(セッション2「安全性・リスク(1)」)
- 建物付帯設備の安全と標準化 : 自動回転ドアの事故から何を学ぶか(建物付帯設備の安全性・信頼性)
- 4-3 電気的安全コンポーネントにおける安全原則の一考察 : ポテンシャル極大の原理の支援原理(セッション4 安全性(事例))(日本信頼性学会第17回秋季信頼性シンポジウム報告)
- 4-2 電気的安全コンポーネントにおける安全原則の一考察 : ポテンシャル極大の原理の提案(セッション4 安全性(事例))(日本信頼性学会第17回秋季信頼性シンポジウム報告)
- 4-3 電気的安全コンポーネントにおける安全原則の一考察 : ポテンシャル極大の概念の支援原理(セッション4 安全性(規格、理論),第17回秋季信頼性シンポジウム)
- 4-2 電気的安全コンポーネントにおける安全原則の一考察 : ポテンシャル極大の原理の提案(セッション4 安全性(規格、理論),第17回秋季信頼性シンポジウム)
- 本音でリレートーク : 2人のファジィとの出会い : 未来のために
- 今年は本学会の飛躍の年に
- 座談会 ISO12100の発行をめぐって
- 新年を迎えるに当たって
- 相対ファジィ集合
- 条件付ファジィ真理値と条件付確率の関係
- 安全マップ(安全曼荼羅)の提案(「情報・制御と安全性」)
- 確信度付区間真理値の性質
- ファジィ論理における台形真理値の性質について
- Catch up 危機管理時代のリスクマネジメント(前編)列車横転衝突・回転ドアの事故から見えるもの
- 機械設備の安全装置入門(最終回)ISO 12100(JIS B 9700)-機械類の安全性-について(6)使用上の情報
- 機械設備の安全装置入門(11)ISO 12100(JIS B 9700)-機械類の安全性-について(5)安全防護策
- 機械設備の安全装置入門(8)ISO 12100(JIS B 9700)-機械類の安全性-について(3)リスク低減のための方法論
- 機械設備の安全装置入門(8)ISO 12100(JIS B 9700)-機械類の安全性-について(2)リスクアセスメントと危険源の同定
- 機械設備の安全装置入門(7)ISO 12100(JIS B 9700)--機械類の安全性--について(1)設計のための基本概念、一般原則
- 非同期ファジイ論理回路の性質について 2
- 非同期ファジイ論理回路の性質について
- 論理式で表現可能なFuzzy-FlipFlopsとその性質について
- 言語近似を用いた推論法の提案と応用
- 安全 機械安全の最新動向 いよいよ安全版"黒船"襲来!
- ファジィインターバル論理に基づく2種類の Ambiguity を扱える測度と積分
- データフィールドへのマルチインターフェースに基づく広域自律分散計算機システム
- ファジィ論理に基づくファジィ測度の考察
- 定数係数を持ったファジィ論理関数の基本的性質(2) : 表現能力の限界について
- 定数係数を持ったファジィ論理関数の基本的性質(1) : 未知, 矛盾, 不明
- 定数係数を持ったファジィ論理関数に基づく知識表現の定義域の考察
- ファジィインターバル論理関数の標準形
- ファジィProlog'PROFIL'によるオンライン手書き文字認識
- ファジィインターバル論理におけるシャノン展開
- 4値論理に基づくProlog : 真、偽、未知、矛盾を取り扱うProlog
- 区間真理値の集合同士の代数的性質
- 二線式ファジィ論理の演算の冗長性
- AND統合に改良を加えたファジィ推論の提案
- 機械システムの安全性--国際安全規格と日本の課題
- AFSS2002に参加して
- JABEEのインパクト!! : JABEE試行審査での貴重な経験
- JABEEのインパクト!! : JABEE試行審査での貴重な経験(JABEE)
- 機械システムの安全性 : 包括安全基準とわが国の課題
- 機械システムの安全性 : 国際安全規格と日本の現状
- 宮本定明, クラスター分析入門, 森北出版株式会社, 1999年
- 公共施設での事故への対応 (特集 自治体における施設管理)
- 安全技術の現代的課題と社会的受容性
- 人に迫るコンピュータ (特集 PAGE2003) -- (PAGE2003/大転換するメディア環境)
- 21世紀の信頼性に関するグランドデザイン : 信頼性が取り扱う領域(第13回信頼性シンポジウム)
- 21 世紀の信頼性に関するグランドデザイン : 信頼性が取り扱う領域
- 情報融合の本質はファジィにある!
- 21世紀における「知」のシステムの在り方 : そして「知」のシステム学会連合に向けて
- PD-3-6 フォールトトレランスと安全学
- 産業における安全の価値とリスクアセスメント
- 事故原因究明と責任について (特集 社会の安全と信頼性)
- 技術論説 安全を守る (安全)
- 都市・建築と安全・安心 (特集 安全・安心のリニユーアル耐震技術--耐震強度偽装事件を再び起こさないために)
- 2P1-I15 「ロボLDK2007〜ロボットのいるくらしコンテスト〜」&「神奈川ロボットパーク」 : ユーザーを巻き込むことによってロボットのニーズを検証する手法(ホーム&オフィスロボット)
- 2A2-I12 ロボLDK2006 : ロボットのいるくらしコンテスト(Women in Robotics:共同参画社会のロボティクス)
- 教育の信頼性(寄稿意見)
- 信頼性は人の心をも包含する