この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方)
出典検索?: "多値論理"
多値論理(たちろんり)とは、真理値の値を、いわゆる真偽値すなわち真と偽の2個だけでなく、3個あるいはそれ以上の多数の値とした論理体系で、非古典論理の一種である。 多値論理の背景のひとつに『真』『偽』以外に『不明』というのもあってよいのではないかという発想がある。そこから直接出てくるものは3値論理であるが、3個というのはどうにも収まりが悪く、4つの真理値を持つ体系も研究された。更にもっと多くの有限個、あるいは無限個の真理値を持つ体系などもある。無限個の真理値としては、その集合を、自然数全体と見ると自然なもの、実数全体と見ると自然なもの、0から1までの間の実数と見ると自然なもの、といったものがある。 真偽値全体の束であるリンデンバウム代数としての研究が行われてきた。なお、多値論理の一つであるウカシェヴィチの論理は、部分構造論理との関係で、最近よく研究されている。 ウカシェヴィチの論理では、真偽値として、0?1の値をとる。( 1 / n {\displaystyle 1/n} から ( n − 1 ) / n {\displaystyle (n-1)/n} の間をとる ( n + 1 ) {\displaystyle (n+1)} 値論理、有理数、実数の値をとる無限値論理等のバリエーションがある。) 論理演算子→については、φの真偽値をa、ψの真偽値をbとした場合、 ( ϕ → ψ ) {\displaystyle (\phi \rightarrow \psi )} の真偽値を max ( 1 − a + b , 1 ) {\displaystyle \max(1-a+b,1)} で定義する。 自然数nについて、 ( ϕ → [ n ] ψ ) {\displaystyle (\phi \rightarrow [n]\psi )} を ( ϕ → [ 1 ] ψ ) ⇔ ( ϕ → ψ ) {\displaystyle (\phi \rightarrow [1]\psi )\Leftrightarrow (\phi \rightarrow \psi )} ( ϕ → [ i + 1 ] ψ ) ⇔ ( ϕ → ( ϕ → [ i ] ψ ) ) {\displaystyle (\phi \rightarrow [i+1]\psi )\Leftrightarrow (\phi \rightarrow (\phi \rightarrow [i]\psi ))} によって定義した場合、古典論理や直観主義論理ではどのnでも、真偽値は変わらないが、ウカシェヴィチの論理では真偽値はnに依存し、その値は max ( ( 1 − a ) n + b , 1 ) {\displaystyle \max((1-a)n+b,1)} となる。 特に、φが0,1以外の真偽値をとる場合、あるmが存在して、nがm以上の場合に ( ϕ → [ n ] ψ ) {\displaystyle (\phi \rightarrow [n]\psi )} に真となる性質がある。 現在、一般に論理回路は二進法・二値論理を電子回路で実装したディジタル回路である(といったように良く言われるが、実のところ正確ではない。後述する)。これを、4値や8値にできれば、1本の信号線で、あるいはゲート1段でより多くの情報が扱えることから、高性能化の可能性として多値論理の導入が考えられる。そのため研究レベルでは盛んに研究されてはきたが[1]、しかし現状では、バイナリのコンピュータが十分に高性能であるため、そのようなハードウェアを作るよりもバイナリのコンピュータでシミュレーションしたほうが速くて安い、という状況にある。しかし一部実用化されるものも出てきていて、たとえば、最近のMLC(Multi Level Cell)のNAND型フラッシュメモリがある。また三進法コンピュータの事例にSetunがある。 ファジィ論理は真理値集合を0以上1以下の実数の集合とする多値論理で、(研究レベルであるが)ファジィコンピュータと称する中には、これを直接実装しているものもある。 なお「後述する」としたが、実際のコンピュータなどでは、電気信号としてHとLだけではなく、トライステートなどと呼ばれる「接続を断った状態」がある素子によるハイインピーダンスとよばれるもの(記号としてはZが使われることが多い)などがあり、複数の機器を接続するバスなどで多用されている[2]。さらに設計の際には「どんな値でも良い」(don't care)という値(記号としてはundefなどの意味でUが使われることが多い)など、実際のところ「ある種の多値論理のようなもの」が、実際にはさかんに活用されている。 またコンピュータシステムではしばしば、真理値として「真」と「偽」以外の値を含む系になっていることがある。 古典論理は真理値集合を完備ブール代数(cBa - complete Boole algebra)とするものであり、古典的には2値であるが、現代的な数理論理・形式論理の観点からは必ずしもその真偽値は2値でなくてもよい。また直観主義論理は真理値集合を完備ハイティング代数(cHa - complete Heyting algebra)とするもので、ある意味では多値論理の一種である(完備ブール代数は完備ハイティング代数の特別な場合である)。
様々な「多値」
概要
コンピュータとの関連
古典論理、直観主義論理との関連
関連項目
矛盾許容論理
2値論理
3値論理
4値論理
ブール論理
ファジィ論理
砂山のパラドックス
脚注[脚注の使い方]^ 例えば日本では、任意団体であるが、学術的な集まりとして多値論理研究会が以前から活動している。
^ そのような方法を使わず、N個の機器全ての間に相互接続を作ったりすると、一般に複雑になり過ぎる。
外部リンク
⇒IEEE CS Technical Committee on Multiple-Valued Logic
⇒多値論理研究会
Size:10 KB
出典: フリー百科事典『ウィキペディア(Wikipedia)』
担当:undef