• ファジィ論理ファジィろんり、英: Fuzzy logic)は、1965年、カリフォルニア大学バークレー校のロトフィ・ザデーが生み出したファジィ集合から派生した多値論理の一種で、真理値が0から1までの範囲の値をとり、古典論理のように「真」と「偽」という2つの値に限定されないことが特徴である。ファジィ...
    29 KB (3,920 words) - 12:57, 12 December 2022
  • ファジィファズの形容詞形で、たとえば綿毛(冠毛)のような、境界がはっきりしないようす、周辺が不明瞭なことを意味し、多義的という意味はない。 一般に集合の体系には論理の体系が対応するが、ファジィ集合に対応するのはファジィ論理である。ファジィ集合やファジィ論理を利用した制御をファジィ...
    13 KB (2,125 words) - 12:06, 21 March 2022
  • ファジィ制御(ファジィせいぎょ、英語:fuzzy control) は、ファジィ集合 (fuzzy set) を利用して制御モデルや制御系を構成した制御である。ファジィ集合は、点がある集合に属するか属さないかのいずれかとなる通常の集合と異なり、中間の状態を許容した集合である。これにより、自然言語的(...
    4 KB (518 words) - 14:35, 9 June 2024
  • 真理値 (redirect from 論理)
    論理演算子などで組み合わせることができ、それをif文などの制御構造や、条件演算子などで使用できる。 ブール代数・ブール論理・ブール領域 論理式 真理値表 真理関数 ディジタル回路・正論理と負論理 3値論理 ファジィ論理 ブーリアン型 推論 恒真式(トートロジー)...
    2 KB (256 words) - 16:25, 13 April 2024
  • ファジィ論理は、論理制御の設計容易性を備えつつ、連続的に変化するシステムの制御をしようとするものである。基本的に、ファジィ論理システムでの測定結果は部分的な正しさを持つ。例えば、YES が 1 で、NO が 0 だったとき、ファジィでの測定値は 0 と 1 の間の何らかの値になる。...
    15 KB (2,470 words) - 13:42, 13 March 2021
  • ところにあると言える。学習や遺伝的アルゴリズムは、汎用性の高い最適化の手段を与える。 ファジィ制御は、ファジィ集合(Fuzzy Set)を制御モデルや制御系で使用する方法である。言語で表現された論理ファジィ論理)によって対象となるモデルや制御系を組み立てて行くためにコンピュータプログラムとの親和...
    15 KB (2,198 words) - 07:00, 28 December 2023
  • 論理体系は、古典論理、拡張論理、逸脱論理(英語版)に分類される。 古典論理は、伝統的論理学やアリストテレス論理学とは区別される。古典論理には、命題論理および一階述語論理が含まれる。古典論理は、多くの論理学者が支持する基本的な論理的直感に基づいているため、「古典」と呼ばれる。古典論理...
    144 KB (17,286 words) - 19:47, 30 June 2024
  • Level Cell)のNAND型フラッシュメモリがある。また三進法コンピュータの事例にSetunがある。 ファジィ論理は真理値集合を0以上1以下の実数の集合とする多値論理で、(研究レベルであるが)ファジィコンピュータと称する中には、これを直接実装しているものもある。...
    6 KB (976 words) - 10:00, 6 April 2024
  • のの制御対象のカオス性をアルゴリズムに組み込んで制御するカオス制御が実用化されることになる。従来の単純な論理に基づく制御と比較して柔軟な制御が可能になることから、遅くとも2000年頃にはファジィ制御,ニューロ制御,カオス制御などの曖昧さを許容する制御方式を総称してソフトコンピューティングと呼ぶよう...
    130 KB (16,554 words) - 19:48, 23 June 2024
  • Environment の略。 Stephen Regelous がVFX業界のために開発した。数千から数万の個別に動くエージェントを容易かつ迅速に生成できる。ファジィ論理を使って、各エージェントが周囲の状況にそれぞれ独立した反応を見せるようにできる。どう反応するかは外部からも制御でき、モーションキャプチャで動きを...
    4 KB (458 words) - 19:08, 6 November 2022
  • 「人間の立場」で情報を扱う情報処理技術』工学社〈I・O BOOKS〉、2008年3月。ISBN 978-4-7775-1345-1。OCLC 676239824。  戸田山和久『論理学をつくる』名古屋大学出版会、2000年10月。ISBN 978-4815803902。  ブール代数 論理式 2値論理 ブール論理 ファジィ論理...
    15 KB (1,709 words) - 06:17, 29 August 2023
  • 命題論理(めいだいろんり、()英: propositional logic)とは、数理論理学(記号論理学)の基礎的な一部門であり、命題全体を1つの記号に置き換えて単純化し、論理演算を表す記号(論理記号・論理演算子)を用いて、その命題(記号)間の結合パターンを表現・研究・把握することを目的とした分野...
    21 KB (3,129 words) - 14:49, 26 February 2024
  • 砂山のパラドックス (category 論理学的パラドックス)
    ファジィ論理であれば、論理状態の連続的な変化を扱える。例えば、「砂山である」/「ほぼ砂山である」/「一部砂山である」/「少し砂山である」/「砂山でない」といった状態にさらに中間の無数の状態があると、ファジィ集合では考えることができる。従って、ファジィ...
    13 KB (1,831 words) - 18:37, 5 January 2024
  • ティモシー・ウィリアムソン(Timothy Williamson、1955年8月6日 - )は、イギリスの哲学者。オックスフォード大学教授。認識論、哲学的論理学、形而上学、言語哲学を専門とし、ファジィ論理の研究で知られる。 スウェーデン・ウプサラ生まれ。オックスフォード大学ベリオール・カレッジ卒業。1980年、同カレッジより学位論文「The...
    5 KB (184 words) - 17:39, 5 October 2023
  • ファジングにおける予測不可能な入力データのこと。 Fuzzy(ファジィ) 曖昧性をしめす英単語。 FUZZY - 日本でスティールギターを制作している株式会社。 ファジィ理論 ファジィ集合 ファジィ論理 ファジィ制御 このページは曖昧さ回避のためのページです。一つの語句が複数の意味・職能を有する場合の水先案内のために、異なる用法を一覧...
    1 KB (208 words) - 08:01, 16 May 2024
  • に属すか属さないか)を 1 か 0 に変換したものをダミー変数 (dummy variable) という。 メンバーシップ関数は、集合の指示関数をファジィ集合へ拡張したものである。ファジィ論理における「真の度合い」(英語: degree of truth)を表す(真の度合いは確率と混同されるが、概念上別物である)。ある任意の集合...
    7 KB (1,165 words) - 16:19, 30 April 2022
  • ようとするもので、広島大学の長町三生教授が創始したといわれている。 心地よい・楽しいといった人間の嗜好やフィーリングを分析・反映する手法として、ファジィ論理やカオス・フラクタル理論などがある。 日本で始まり世界へ伝わった比較的新しい技術工学で、日本では日本感性工学会が1998年より組織されている。...
    4 KB (606 words) - 18:51, 9 June 2022
  • 数理論理学(すうりろんりがく、英 : mathematical logic)または現代論理学、記号論理学、数学基礎論、超数学は、数学の分野の一つであり、「数学の理論を展開する際にその骨格となる論理の構造を研究する分野」を指す。数理論理学(数学基礎論)と密接に関連している分野としては計算機科学〔コン...
    72 KB (7,671 words) - 07:50, 13 April 2024
  • 他に選択肢はないという主張は、両極端だけを選択肢とする誤った二分法の例である。その場合、選択肢はそう主張する人の提案だけにしぼられる。 二分法 ファジィ論理 排中律 パスカルの賭け ノーラン・チャート 多値論理 砂山のパラドックス 二元論 二項対立 ^ Ivor H. Evans, editor, Brewer's Dictionary...
    6 KB (945 words) - 10:08, 15 October 2023
  • 唯一の正しい論理があるのか、あるいは複数の論理が同じように正しいのか (排中律のような)論理的原理が正しいかどうかについて真正な不一致は可能なのか 何がある表現を論理定項にさせているのか 論理的帰結・量化・その他の論理的概念の本来の記述とは何か 論理学の範囲はどのくらいか(数学を包含するのか) 論理は規約の問題か...
    2 KB (180 words) - 15:46, 1 June 2024
  • が全く出現しない論理式は量化子のない論理式と呼ばれる。量化子のない論理式の前に存在量化がある論理式を存在論理式と呼ぶ。 原子論理式とは、論理結合子や量化子を含まない論理式、あるいは厳密な部分論理式を持たない論理式である。原子論理式の厳密な形式は、どんな形式体系のものかで変わってくる。例えば命題論理での原子論理...
    15 KB (1,736 words) - 03:54, 29 August 2023
  • 「ぁ ぃ ぅ ぇ ぉ ァ ィ ゥ ェ ォ」は固有名詞などで、長音の第2字として用いられることがある。例:チャイコフスキィ、ラッキィ池田、ファジィ論理、レガシィ。ただし、これらが外語の発音を表現するために長音と区別されたものでなかったかどうかは不明であり、必ずしも長音と同一視できるかどうかは不明である。...
    11 KB (1,469 words) - 04:21, 24 March 2024
  • Sixteenth Annual Symposium of the Pattern Recognition Association of South Africa, pp.160-165, 2006. データマイニング ファジィ論理 情報検索 Classifier showdown 分類アルゴリズムの実用的な比較...
    8 KB (1,182 words) - 01:29, 3 December 2019
  • ロトフィ・ザデー (category 20世紀の論理学者)
    でコロンビア大学で教え、1957年に教授に昇格した。1959年から1992年までカリフォルニア大学バークレー校教授。 1965年にファジィ集合を、1973年にファジィ論理を提唱した。 1952年頃、John R. Ragazziniと共に離散信号の分析に対して有用なZ変換の研究、発展に寄与したとして知られている。...
    5 KB (320 words) - 00:32, 26 December 2023
  • 計算知能の研究では、学習や適応や進化やファジィ論理(ラフ集合)といった要素を駆使して、ある意味で知的なプログラムを作成することを目指している。計算知能の研究では、統計的手法を拒絶するものではなく、しばしば相補的な考え方を提供することもある(例えば、ファジィ...
    4 KB (403 words) - 05:48, 20 March 2013
  • 古典論理の拡張としての非古典論理では、基本的に、古典論理のすべての定理がその論理体系でも定理となる。 様相論理 時相論理(時制論理) 線形時相論理 義務論理(規範論理) 古典論理の代替としての非古典論理は、基本的に、古典論理の定理のいくつかがその論理体系では定理でない。 直観論理 排中律を認めない。 多値論理...
    2 KB (265 words) - 15:32, 10 December 2022
  • 述語論理(じゅつごろんり、英: predicate logic)とは、数理論理学における記号的形式体系群を指す用語で、一階述語論理、二階述語論理、多ソート論理(英語版)、無限論理などが含まれる。これらの形式体系の特徴は、論理式に含まれる変数を量化できる点である。一般的な量化子として、 全称量化子 ∀...
    3 KB (366 words) - 15:40, 25 August 2023
  • 論理に基づいている。推論エンジンが使う論理としては、命題論理、一階または高階の述語論理、認識論理、様相論理、時相論理ファジィ論理などがある。命題論理以外の論理は複雑であり、数学者や論理学者や計算機科学者でないと扱いが難しい。命題論理は基本的な論理...
    30 KB (4,079 words) - 09:10, 10 November 2023
  • des Sollens)で初めて形式的な義務体系を提議した。第二次世界大戦後に創始された他の論理体系としてイランの数学者ロトフィ・ザデーが1965年に始めたファジィ論理がある。 数理論理学の年表 ^ a b Oxford Companion p. 498; Bochenski, Part...
    94 KB (14,202 words) - 13:26, 27 April 2023
  • 様相論理(ようそうろんり、英: modal logic)は、いわゆる古典論理の対象でない、様相(modal)と呼ばれる「〜は必然的に真」や「〜は可能である」といった必然性や可能性などを扱う論理である(様相論理は、部分の真理値からは全体の真理値が決定されない内包論理の一種と見ることができる)。...
    17 KB (2,897 words) - 04:53, 16 May 2024
  • 一階述語論理(いっかいじゅつごろんり、英: first-order predicate logic)とは、個体の量化のみを許す述語論理 (predicate logic) である。述語論理とは、数理論理学における論理の数学的モデルの一つであり、命題論理を拡張したものである。個体の量化に加えて述語や関...
    42 KB (6,605 words) - 12:51, 3 May 2024