文献

J-GLOBAL ID：201702224697267889   整理番号：17A1746776

一階論理推論システムにおける助数詞推論規則に関する研究【JST・京大機械翻訳】

Study of Inference Rules for Quantifiers in First-order Logic Inference System

著者 (2件)： Wang Wenlong (喀什大学計算机科学与技術学院,中国 喀什,844000) ,  Zhang Bofeng (上海大学計算机工程与科学学院,中国 上海,200041)
資料名： Hunan Shifan Daxue. Ziran Kexue Xuebao  (Hunan Shifan Daxue. Ziran Kexue Xuebao)
巻： 40  号： 3  ページ： 89-94  発行年： 2017年 
JST資料番号： T0633A  ISSN： 2096-5281  CODEN： HSDXEL  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 二つの一階論理自然推論システムにおける関連語の推論規則とその成立条件の比較分析を通して、形式が簡単で、直観的な関連量の推論規則と合理的、厳密な成立条件を提供し、これらの規則を使用する時、直観性を保ち、また厳格性を取り除いた。そして,確立した条件を正確に把握することができた。Data from Wanfang. Translated by JST【JST・京大機械翻訳】

シソーラス用語： *一階論理
準シソーラス用語： *推論規則 , 【Automatic Indexing@JST】

著者キーワード (5件)： first order logic ,  universal quantifier ,  existential quantifier ,  inference rules ,  establish condition

分類 (4件)： 計算理論  (JB02000A) ,  システム・制御理論一般  (IA02010H) ,  符号理論  (ND02030R) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： 一階論理 ,  推論 ,  推論規則 ,  研究