鈴木 寿

ソフトウェア情報センター (SOFTIC) プログラム著作物登録 Ｐ第10779-1号 https://www.softic.or.jp/touroku/list/list2017sh.pdf 【概要】例えば論理式は n ビット列、真理値はビット 1 の個数を n で割った値とし、論理演算はブール二元論理演算をビットごとに適用したものとするとき、n = 4 かつ論理式 x と y の真理値が共に 0.5 なる前提下で、(x, y) の候補として (1100, 1100) や (1100, 1010) や (1100, 0011) などが得られるので、含意 x→y は 1111（真理値 1）や 1011（真理値 0.75）や 0011（真理値 0.5）などとなり、含意の真理値は一意には定まりません。このように、知識（すなわち、真理値が既知である複数の論理式）に対し論理演算を適用して推論をおこなう際に真理値が一意には定まらないような論理系は、一般的なコンピューター上の多次元ブール論理系として構築でき、このことはコンピューターが合理的に個性を持ち得ることを示唆します。 【著作物の内容】固定小数点の二進数をとる原子論理式、および、論理式自身にビットごとのブール演算を適用して論理式が構成される多次元ブール多値論理系において、論理式ｘが目標真理値ｒをとるべきことを意図する知識ｘ＝ｒがいくつか与えられたとき、知識を構成する各論理式について、目標真理値ｒと、原子論理式の論理値に基づくｘの真理値との差ｘ－ｒ（間隙とよぶ）の自乗の、全知識に関する平均（平均自乗間隙）は、なるべく小さいほうが望ましく、平均自乗間隙をなるべく小さくするように原子論理式の論理値を準最適化することを最も主たる目的とする。この目的に関連するいくつかの機能および演示を実現する一連のＣ言語関数群、ならびに前記関数群を試験するためのＣ言語関数群からなるプログラムである。曖昧推論の上位代替な汎用手法となりうる、多段階推論の一貫性が保証された多値論理系の推論コアとして活用できる。