クリーネ代数の完全に独立な公理系について
スポンサーリンク
概要
- 論文の詳細を見る
一般に,代数系で成立する多くの等式の中には,他の等式の組合せから導かれるものもあり,その場合は互いに独立ではないことになる.最低限どの等式を仮定すれば,すなわち,どの等式を公理系として採用すれば,その代数系で成立する他のすべての等式を導くことができるかが問題となる.代数の公理系の各公理が独立なとき,すなわち,各公理が他の公理の組み合わせから導けないとき,その代数の公理系を完全に独立な公理系と呼ぶ.本論文では,特に人工知能の分野において、あいまいで不確かな状態を表現するために重要な役割を果たしているクリーネ代数を対象として,最初に未定係数法を用いて,公理系における各公理の独立性を調べることにより,どの公理がより本質的な役割を侍っているかを調べる.更に,この結果に基づき,各公理の公理系における役割を明らかにし,その上で32種類の完全に独立なクリーネ代数の公理系を示す.
- 日本知能情報ファジィ学会の論文
- 2004-04-15
著者
-
二宮 智子
玉川大学経営学部
-
向殿 政男
明治大学理工学部情報科学科
-
向殿 政男
明治大 理工
-
向殿 政男
明治大学理工学部
-
向殿 政男
明治大学理工学部・情報科学科
-
向殿 政男
明治大学 理工学部 情報科学科 理工学部
-
向殿 政男
明治大学理工学部情報科学化
-
二宮 智子
玉川大学経営学部・国際経営学科
-
二宮 智子
玉川大学
関連論文
- 正しい用語による統計教育
- ユーザの意図を考慮したマウスポインタ制御の提案
- Fuzzy論理関数及び正則3値論理関数の数の限界式の改良
- 『ファジィとソフトコンピューティングハンドブック』の出版について(日本ファジィ学会設立10周年記念事業)
- GPにおける部分木を考慮した適応度算出
- 5-1 システムの安全性ランクの合成について
- GPでの部分木決定の一考察
- 4-1 安全機能実現のための制御回路例における論理構造の一考察 : 国際規格ISO13849-1:2006から(セッション4「理論,一般」)
- 安全設計の基本概念(安全・安心を確保するための技術基盤の構築)
- 日本信頼性学会の未来に向けて : 学会誌の30巻発刊に当たって(「信頼性」Vol.30にあたり)
- 自立制御型ロボットの安全性定義と要素
- 自立制御型ロボットの安全性定義と要素(福祉情報工学,一般)
- 5-4 パワーアシストロボットの安全理論(安全性-2(事例), 日本信頼性学会 第18回秋季信頼性シンポジウム報告)
- 5-4 パワーアシストロボットの安全理論(セッション5「安全性-2(事例)」)
- 1. 総論 : 安全と技術と社会(安全に暮らしたい)
- 新法人に期待する
- リスクアセスメントと災害の未然防止
- TA-2-1 システムの安全性と安全目標(TA-2. 安全性-安全の目標レベル、評価尺度、そして実現技術-)
- 日本の新しいものづくりに向けて
- 機械の安全(安全性を向上させる技術)
- PD-3-4 ディペンダブルコンピューティングと安全学
- 2-206 ユーザー状況に対応したファジィ集合の生成
- 2-205 自律分散概念に基づく不正侵入検知システム
- 2-110 Web page 探索経路情報とその利用法
- [1-3]リスク評価に関する論理数学的考察(3.各セッションの報告 日本信頼性学会 第9回研究発表会報告)
- 情報通信ネットワークの信頼性向上活動への提案(後編) : 情報システム信頼性調査研究委員会報告
- リスク評価に関する論理数学的考察(日本信頼性学会第9回研究発表会)
- 遺伝的プログラミングを用いた分散協調問題の一解法
- FUZZY論理と区間確率の演算に関する考察
- 4変数以下のBoole加法形式,fuzzy論理関数及び正則3値論理関数の数
- アジア・オセアニア諸国における初等中等統計教育カリキュラムの比較研究(統計教育)
- 昇降機の安全確保と事故調査のあり方について : あるエレベーター事故調査を経験して(特別講演II)
- スギ花粉飛散量を予測し花粉症対策を立てる : グラフ電卓を使い日常生活の問題を解決する (中2)
- ニュージーランドにおける統計教育の実際
- 連想推論とオントロジーを用いたBGM自動選曲
- 多値クリーネ関数の論理式表現
- 正則多値論理関数(多値論理及びその応用(4))
- アメリカ統計学会・PREK-12統計教育カリキュラムのフレームワーク : -達成目標・教育事例・評価-(2)
- 統計教育カリキュラムの国際比較 : イギリス・オーストラリア・ニュージーランドの統計教育
- 統計教育カリキュラムの国際比較 : ニュージーランドの統計教育
- ウェーブレット変換を用いた画像生成
- 少データ点による曲面生成
- ファジィエキスパートシステムによる地質図自動作成システム
- 力学モデルに基づく最適曲面の自動構成システム
- B-3値論理に基づく非同期ディジタルシステムの設計について
- ファジィアブダクションにおける説明の存在条件と近似解法
- 合成命題を前件に持つ含意を用いたファジィアブダクション : ファジィ論理積連立方程式の解法
- ルカシュビッツの無限値論理をベースにしたファジィアブダクションについて
- 機械プレス制御における安全確保の論理と方法
- 順序処理を用いたフェールソフトなフェールセーフ論理システム
- クリーネ代数の完全に独立な公理系について
- 代数の公理系を満す有限モデルの導出アルゴリズムとその性質
- 代数の公理系を満す有限モデルの導出アルゴリズムとその性質
- 次世代ロボットの安全性
- リスクアセスメント学事始
- 2-3 国際安全規格における安全と安全確保策の論理的関係に関する考察(セッション2「安全性・リスク(1)」)
- 建物付帯設備の安全と標準化 : 自動回転ドアの事故から何を学ぶか(建物付帯設備の安全性・信頼性)
- 4-3 電気的安全コンポーネントにおける安全原則の一考察 : ポテンシャル極大の原理の支援原理(セッション4 安全性(事例))(日本信頼性学会第17回秋季信頼性シンポジウム報告)
- 4-2 電気的安全コンポーネントにおける安全原則の一考察 : ポテンシャル極大の原理の提案(セッション4 安全性(事例))(日本信頼性学会第17回秋季信頼性シンポジウム報告)
- 4-3 電気的安全コンポーネントにおける安全原則の一考察 : ポテンシャル極大の概念の支援原理(セッション4 安全性(規格、理論),第17回秋季信頼性シンポジウム)
- 4-2 電気的安全コンポーネントにおける安全原則の一考察 : ポテンシャル極大の原理の提案(セッション4 安全性(規格、理論),第17回秋季信頼性シンポジウム)
- 本音でリレートーク : 2人のファジィとの出会い : 未来のために
- 今年は本学会の飛躍の年に
- 新年を迎えるに当たって
- 安全マップ(安全曼荼羅)の提案(「情報・制御と安全性」)
- 確信度付区間真理値の性質
- ファジィ論理における台形真理値の性質について
- ファジィ推論を用いたマウスポインタの提案
- 論理積項を利用した高速文献検索法とそのファジィ検索への応用
- インターネットを利用した遠隔授業支援システム
- ネットワークの信頼性と品質に関するファジィ理論的考察(第7回信頼性研究発表会)
- 不明確な状態を考慮したネットワーク信頼度の近似評価 (第15回ファジィシステムシンポジウム--やりまっせ!新世紀のたおやか技術 日本ファジィ学会設立10周年記念大会) -- (ネットワーク解析)
- 非同期ファジイ論理回路の性質について 2
- 非同期ファジイ論理回路の性質について
- 論理式で表現可能なファジィフリップフロップとその性質について
- 工業用ロボットの計算機制御(2部 上肢)
- 言語近似を用いた推論法の提案と応用
- 台形メンバーシップ関数の言語近似と言語近似を用いた推論法の提案
- ヒューマンインタフェース設計支援のためのアフォーダンス表現
- ファジィインターバル論理に基づく2種類の Ambiguity を扱える測度と積分
- データフィールドへのマルチインターフェースに基づく広域自律分散計算機システム
- ファジィ論理に基づくファジィ測度の考察
- 元の数13の有限クリーネ代数のハッセ図
- 統計基礎教育カリキュラムの国際比較 : 中国の指導要領と学習内容
- 統計基礎教育カリキュラムの国際比較 : 中国の指導要領と学習内容
- 3B2-L4 シンガポールの初等・中等数学における統計教育カリキュラム(これからの日本の統計教育の方向性を探る:枠組みと方策の提案,自主企画課題研究,転換期の科学教育)
- アメリカ統計学会・PREK-12統計教育カリキュラムのフレームワーク : -達成目標・教育事例・評価-(1)
- 統計教育カリキュラムの国際比較 : シンガポールの数学教育における統計教育
- 世界の初等・中等統計教育カリキュラムII : シンガポールの習熟度別クラスの導入と達成目標・内容(アクションに繋がる統計教育カリキュラム〜国際比較にみる達成目標と評価のガイドライン〜)
- 統計教育スタディーグループ 活動報告
- サイバーキャンパスコンソーシアムと電子シラバスの構築
- 統計教育スタディーグループ 活動紹介
- 卒業研究における統計活用 : 中等教育学科での実践
- 学部数学教育の中での統計的内容
- 統計教育の成果について
- 大学文系学部(特に経営学部)が求める数学教育
- 実証研究を目指した統計教育
- 文系学部における情報活用を目指す統計教育
- 情報教育と統計教育の接点と効果
- 情報教育としての統計教育