文献

J-GLOBAL ID：201602279993047423   整理番号：16A0329701

命題論理の節集合の中の文字の分類【Powered by NICT】

Classification of the characters in the set of clauses of propositional logic

著者 (2件)： Deng Peng (School of Mathematics, Southwest Jiaotong Univ., Chengdu) ,  Xu Yang (School of Mathematics, Southwest Jiaotong Univ., Chengdu)
資料名： Zhineng Xitong Xuebao  (Zhineng Xitong Xuebao)
巻： 10  号： 5  ページ： 736-740  発行年： 2015年 
JST資料番号： C2755A  ISSN： 1673-4785  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 命題論理式から冗長節の検出と除去は人工知能(AI),広く研究されているが基本的課題である。命題論理の節の集合における分割のための概念は,命題論理の節の集合で文字の分類を研究するように,冗長な節と冗長性の概念と組合せた。文字は3カテゴリー:必要特性,有用形質,無益な特性に分類し,その定義をそれぞれ示した。3文字と非冗長等価サブセットの種類の特性について検討し,特性と非冗長等価サブセットのこれら3種類のいくつかの等価記述をそれぞれ与えた。命題論理の節の集合で文字のこれら3種類の判定法を得,節集合の充足可能性のおかげで,これら3種類の文字と節集合の充足可能性の等価条件を導出した。これらの結果は,命題論理の節の集合の文字の属性を判断するための多様な代替法を提供し,命題論理式を簡単化するための理論的基礎を構築した。Data from the ScienceChina, LCAS. Translated by JST【Powered by NICT】

シソーラス用語： 簡素化 ,  冗長性 ,  部分集合 ,  *命題論理 ,  人工知能

分類 (2件)： 人工知能  (JE08000Z) ,  パターン認識  (JE07000S)

タイトルに関連する用語 (5件)： 命題論理 ,  節 ,  集合 ,  文字 ,  分類