＊論文の全文を見る場合は、青色のLINKをクリックして下さい。

１．制御システム設計のための新しい４値論理の提案

　【分野】情報工学　論理学

    Kazuya Chida

　<abstract>

　現在の論理学では、１ビットで真（１），偽（０）の２つの情報を扱うが、その２値情報だけを用いて制御装置や計算機などを構成するには情報不足という制約・限界がある。この問題を解消するため、従来から３値，４値などの多値情報を扱う研究が進められているが、未だ開発の途上にある。思うに、制御装置などを構成する場合に適した情報とは、None，False，True，Conflictという４つの情報であり、これを扱う４値論理学がコンピュータ制御に適していると考える。そこで、本研究では、コンピュータ制御に適応した４値論理学とその制御装置への適用例を紹介する。具体的には、４値論理を[（0,0）,(0,1),(1,0),(1,1)]の２ビットで定義する。これをNone，False，True，Conflictと対応させる。そして、この４値論理を構成するモデル回路と真理値，及び制御装置への適用例を説明する。