Lukasiewiczの含意を用いたファジィ論理プログラミングに関する考察
スポンサーリンク
概要
- 論文の詳細を見る
ファジィPrologは一階ファジィ述語論理に基づく, 論理型のプログラミング言語であり, その数学的基礎をファジィ論理プログラミングと呼ぶ.本論文では, 過去の研究で用いられていた節形式による論理式表現ではなく, 論理プログラミングの基礎を築いたKowalskiの含意演算を用いた論理式表現を用いている.本稿は, まず, 過去のファジィ論理プログラミングの研究の流れを概観する.次に, ファジィ論理における推論を考察し, その結論として, Lukasiewiczの含意が推論に適した含意演算であることを示している.最後に, Lukasiewiczの含意を用いたファジィ論理プログラミングを定義し, その中心的役割を果たす, 手続き的推論法である導出規則の完全性と健全性について明らかにしている.
- 日本知能情報ファジィ学会の論文
- 1996-10-15
著者
関連論文
- ユーザの意図を考慮したマウスポインタ制御の提案
- 5-1 システムの安全性ランクの合成について
- 4-1 安全機能実現のための制御回路例における論理構造の一考察 : 国際規格ISO13849-1:2006から(セッション4「理論,一般」)
- 安全設計の基本概念(安全・安心を確保するための技術基盤の構築)
- 日本信頼性学会の未来に向けて : 学会誌の30巻発刊に当たって(「信頼性」Vol.30にあたり)
- 自立制御型ロボットの安全性定義と要素
- 自立制御型ロボットの安全性定義と要素(福祉情報工学,一般)
- 5-4 パワーアシストロボットの安全理論(セッション5「安全性-2(事例)」)
- 1. 総論 : 安全と技術と社会(安全に暮らしたい)
- 新法人に期待する
- リスクアセスメントと災害の未然防止
- TA-2-1 システムの安全性と安全目標(TA-2. 安全性-安全の目標レベル、評価尺度、そして実現技術-)
- 日本の新しいものづくりに向けて
- 機械の安全(安全性を向上させる技術)
- PD-3-4 ディペンダブルコンピューティングと安全学
- 2-205 自律分散概念に基づく不正侵入検知システム
- 2-110 Web page 探索経路情報とその利用法
- リスク評価に関する論理数学的考察(日本信頼性学会第9回研究発表会)
- エレベーターの安全確保のあり方について
- 遺伝的プログラミングを用いた分散協調問題の一解法
- FUZZY論理と区間確率の演算に関する考察
- 昇降機の安全確保と事故調査のあり方について : あるエレベーター事故調査を経験して(特別講演II)
- 多値クリーネ関数の論理式表現
- ウェーブレット変換を用いた画像生成
- 少データ点による曲面生成
- B-3値論理に基づく非同期ディジタルシステムの設計について
- ファジィアブダクションにおける説明の存在条件と近似解法
- 合成命題を前件に持つ含意を用いたファジィアブダクション : ファジィ論理積連立方程式の解法
- ルカシュビッツの無限値論理をベースにしたファジィアブダクションについて
- 機械プレス制御における安全確保の論理と方法
- クリーネ代数の完全に独立な公理系について
- 次世代ロボットの安全性
- リスクアセスメント学事始
- 2-3 国際安全規格における安全と安全確保策の論理的関係に関する考察(セッション2「安全性・リスク(1)」)
- 建物付帯設備の安全と標準化 : 自動回転ドアの事故から何を学ぶか(建物付帯設備の安全性・信頼性)
- 4-3 電気的安全コンポーネントにおける安全原則の一考察 : ポテンシャル極大の原理の支援原理(セッション4 安全性(事例))(日本信頼性学会第17回秋季信頼性シンポジウム報告)
- 4-2 電気的安全コンポーネントにおける安全原則の一考察 : ポテンシャル極大の原理の提案(セッション4 安全性(事例))(日本信頼性学会第17回秋季信頼性シンポジウム報告)
- 4-3 電気的安全コンポーネントにおける安全原則の一考察 : ポテンシャル極大の概念の支援原理(セッション4 安全性(規格、理論),第17回秋季信頼性シンポジウム)
- 4-2 電気的安全コンポーネントにおける安全原則の一考察 : ポテンシャル極大の原理の提案(セッション4 安全性(規格、理論),第17回秋季信頼性シンポジウム)
- 本音でリレートーク : 2人のファジィとの出会い : 未来のために
- 今年は本学会の飛躍の年に
- 座談会 ISO12100の発行をめぐって
- 新年を迎えるに当たって
- 相対ファジィ集合
- 条件付ファジィ真理値と条件付確率の関係
- 安全マップ(安全曼荼羅)の提案(「情報・制御と安全性」)
- 確信度付区間真理値の性質
- ファジィ論理における台形真理値の性質について
- 論理積項を利用した高速文献検索法とそのファジィ検索への応用
- インターネットを利用した遠隔授業支援システム
- ネットワークの信頼性と品質に関するファジィ理論的考察(第7回信頼性研究発表会)
- 論理式で表現可能なファジィフリップフロップとその性質について
- Fuzzy論理文を用いて近似表現を行うニューラルネットワーク
- 不完全指定ファジー論理関数の簡単化
- ファジー論理におけるNelsonの定理
- 定数係数をもったファジー論理関数について
- 節展開法のクリーネ論理関数族への拡張と最簡形について
- ファジィ推論を用いたマウスポインタの改良
- ファジー論理関数の当てはめ問題 : 論理式による知識獲得
- ファジー論理関数の同定問題 : 部分関数がファジー論理関数で表されるための必要十分条件
- ファジィ論理プログラムの線形導出
- ファジィ・インターバル論理の提案
- エントロピー正則化法によるファジィクラスタリング
- AFSS2002に参加して
- JABEEのインパクト!! : JABEE試行審査での貴重な経験(JABEE)
- 機械システムの安全性 : 包括安全基準とわが国の課題
- 機械システムの安全性 : 国際安全規格と日本の現状
- 宮本定明, クラスター分析入門, 森北出版株式会社, 1999年
- 公共施設での事故への対応 (特集 自治体における施設管理)
- 安全技術の現代的課題と社会的受容性
- ファジィルールを用いたディジタルフィルタの開発と生体信号処理への応用
- 情報融合の本質はファジィにある!
- 21世紀における「知」のシステムの在り方 : そして「知」のシステム学会連合に向けて
- PD-3-6 フォールトトレランスと安全学
- 産業における安全の価値とリスクアセスメント
- 2P1-I15 「ロボLDK2007〜ロボットのいるくらしコンテスト〜」&「神奈川ロボットパーク」 : ユーザーを巻き込むことによってロボットのニーズを検証する手法(ホーム&オフィスロボット)
- ファジィ論理の区間真理値におけるクリーネ代数
- 区間真理値の代数的構造
- ファジィc-平均法とエントロピー正則化法におけるファジィ分類関数
- 三値論理を用いたシステム診断に関する一考察
- 安全の資格認定制度(安全の教育・訓練)
- ものづくり安全とその基本
- ファジィ理論の曖昧な法概念への適用の試み : ドイツ刑法第142条第2項を例にして
- 安全性に関する将来展望(2011年度第1回フォーラムより〜信頼性・安全性に関する特別セミナー〜)
- 事故データからみる道路交通の安全度水準についての考察
- Lukasiewiczの含意を用いたファジィ論理プログラミングに関する考察
- 清掃ロボットにおける安全技術とコンポーネント
- 清掃ロボットのエレベータ搭乗システムにおける安全対策
- 安全とファジィ : どこまでやったら安全か
- 本質安全という概念について(安全安心社会の実現〜現在の取り組みと将来への道標〜)
- 情報の量に着目した論理の代数的構造とその応用
- 消費者安全を安全学から見る(安全で持続可能な社会をめざして,第28回研究大会共通論題シンポジウム)
- ファジィ推論における直接法と間接法に関する考察
- Upper and Lower Bounds on the Number of Disjunctive Forms (Clone Theory and Discrete Mathematics・Algebra and Logic Related to Computer Science)
- こんにゃく入りゼリーのリスク低減方策について : 消費者庁事故情報分析タスクフォースでの検討経過(食品の安全を主として)