機械知能を設計するための基本技術としてのブール多値論理の小数符号化

DOI Web Site 参考文献13件

書誌事項

タイトル別名
  • Fractional Coding of Boolean Multivalued Logic as a Fundamental Technique for Designing Machine Intelligence
  • キカイ チノウ オ セッケイ スル タメ ノ キホン ギジュツ ト シテ ノ ブール タチ ロンリ ノ ショウスウ フゴウカ

この論文をさがす

抄録

Multivalued logic is important as a fundamental technique in designing machine intelligence. Particularly Boolean multivalued logic such that the whole set of logic formulas forms a Boolean algebra inherits those theorems, laws, etc. which are obtained in traditional Boolean binary logic. In this article, only logic such that logic formulas take more-than-two truth values is called multivalued logic, and any logic such that weights or costs are added to logic formulas of Boolean binary logic is not classified into multivalued logic. This article defines Boolean multivalued logic by coding binary fractions being greater than or equal to 0 and less than 1 directly as truth values. To handle readily Bayesian theory rationalizing collection of knowledges via observation, this article also introduces an arithmetic operation called “conditioning” in addition to usual logic operations. A key to advancing machine intelligence built in a certain kind of robots required an ability of thinking is extracting causality between objects by introducing such a robust logic that can process inferences consistently. This article shows with some instances the way of optimizing truth values of atoms when what truth values some logic formulas should take are given as knowledges, and the way of calculating the truth values of unknown logic formulas as inferences. It also mentions possibility of introducing natural language for realization of phonic conversation between users and machine intelligence.

収録刊行物

参考文献 (13)*注記

もっと見る

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ