文献

J-GLOBAL ID：202102237740354144   整理番号：21A1194348

知的システムのための論理ベース技術:最新技術と展望【JST・京大機械翻訳】

Logic-Based Technologies for Intelligent Systems: State of the Art and Perspectives

著者 (4件)： Calegari Roberta (Alma AI-Alma Mater Research Institute for Human-Centered Artificial Intelligence, Alma Mater Studiorum-Universita di Bologna, 40121 Bologna, Italy) ,  Ciatto Giovanni (Dipartimento di Informatica-Scienza e Ingegneria (DISI), Alma Mater Studiorum-Universita di Bologna, 47522 Cesena, Italy) ,  Denti Enrico (Dipartimento di Informatica-Scienza e Ingegneria (DISI), Alma Mater Studiorum-Universita di Bologna, 40136 Bologna, Italy) ,  Omicini Andrea (Dipartimento di Informatica-Scienza e Ingegneria (DISI), Alma Mater Studiorum-Universita di Bologna, 47522 Cesena, Italy)
資料名： Information (Web)  (Information (Web))
巻： 11  号： 3  ページ： 167  発行年： 2020年 
JST資料番号： U7203A  ISSN： 2078-2489  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： スイス (CHE)  言語： 英語 (EN)

抄録/ポイント： 人工知能(AI)に対する現代のサブシンボリックアプローチの混乱的発展と共に,古典的AIに対する記号的アプローチは,より多くの研究者がAIをより分かりやすく,説明でき,従って信頼できるようにする可能性を利用するため,運動量を再び獲得する。論理ベースのアプローチが記号AIのコアに置かれるので,その技術の現状を要約することは,これまで提案された技術の傾向,利点,重要な特徴,ギャップ,および限界を同定するために,現在,有望な研究展望を同定するだけでなく,これまでより重要である。このラインに沿って,本論文は,それらの進化をスケッチし,それらの主な応用分野を指摘することにより,論理ベースのアプローチと技術の概要を提供する。論理ベースの技術の利用の将来展望を,将来において論理ベースのアプローチを採用する可能性が高いものと同様に,論理ベースのアプローチをすでに活用する領域を考慮して,より多くの注意に値するそれらの研究分野を同定するために,同様に議論した。Copyright 2021 The Author(s) All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 運動量 ,  人工知能 ,  *カオス
準シソーラス用語： *インテリジェントシステム , 【Automatic Indexing@JST】

著者キーワード (3件)： 記号AI ,  論理ベース技術 ,  知的システム

分類 (1件)： 人工知能  (JE08000Z)

引用文献 (199件)：

• Gunning, D. Explainable Artificial Intelligence (XAI); Funding Program DARPA-BAA-16-53; Defense Advanced Research Projects Agency (DARPA): Arlington, VA, USA, 2016.
• Gallier, J.H. Logic for Computer Science: Foundations of Automatic Theorem Proving; Harper & Row Publishers, Inc.: New York, NY, USA, 1985.
• Boyer, R.S.; Moore, J.S. A Computational Logic; Academic Press Professional, Inc.: Cambridge, MA, USA, 1988.
• Levesque, H.J. A logic of implicit and explicit belief. In Proceedings of the 4th AAAI Conference on Artificial Intelligence (AAAI ’84); Number 5 in AAAI’84, Palo Alto, CA, USA, 6-10 August 1984; AAAI Press: Austin, TX, USA, 1984; pp. 198-202.
• Omicini, A.; Denti, E.; Natali, A. Agent Coordination and Control through Logic Theories. In Topics in Artificial Intelligence, Proceedings of the 4th Congress of the Italian Association for Artificial Intelligence (AI*IA’95), Florence, Italy, 11-13 October 1995; Gori, M., Soda, G., Eds.; LNAI; Springer: Berlin/Heidelberg, Germany, 1995; Volume 992, pp. 439-450.

タイトルに関連する用語 (3件)： 知的システム ,  論理 ,  展望