Art

J-GLOBAL ID：201802263363114729   Reference number：18A0603956

前向き推論エンジンを用いた自動非単調推論~デフォルト論理における事例研究

Author (3)： ITO TAKUYA (埼玉大 大学院理工学研究科) ,  GOTO YUICHI (埼玉大 大学院理工学研究科) ,  CHENG Jingde (埼玉大 大学院理工学研究科)
Material： 情報処理学会全国大会講演論文集
Volume： 80th  Issue： 2  Page： 2.91-2.92  Publication year： Mar. 13, 2018 
JST Material Number： S0731A  Document type： Proceedings
Article type： 短報  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *non-monotonic reasoning ,  *inference machine ,  *non-monotonic logic ,  algorithm ,  analysis ,  *default logic ,  algorithm analysis
Semi thesaurus term： *inference engine

JST classification (2)： Artificial intelligence  (JE08000Z) ,  Logic algebra  (JB03000H)

Reference (6)：

• G. Antoniou :A Tutorial on Default Logics, ACM Computing Surveys (13)4 pp. 337-359, 1999.
• J. Cheng, S. Nara, Y. Goto :FreeEnCal: A Forward Reasoning Engine with General-Purpose, LNCS/LNAI, Vol.4693, pp. 444-452, Springer-Verlag, 2007.
• H. Gao, Y. Goto, J. Cheng: A Systematic Methodology for Automated Theorem Finding, Theoretical Computer Science, (554), pp. 2-21, October 2014.
• R. Reiter :A Logic For Default Reasoning, Artificial intelligence (13)1, pp. 81-132, 1980.
• 佐藤健, :デジタル人工知能学辞典3-19 非単調推論, 人工知能学会, 2008年

Terms in the title (4)： 推論エンジン ,  非単調推論 ,  デフォルト論理 ,  研究