Автоматическая генерация логического знания

Обложка

Цитировать

Полный текст

Аннотация

В статье рассмотрены вопросы, которые возникают при попытке генерации автоматическим образом логического знания в системах искусственного интеллекта, в первую очередь, в системах машинного доказательства теорем. Сформулированы три необходимых требования к подобному генератору и рассмотрено, как их можно выполнить.

Об авторах

А Раутиайнен

Российский университет дружбы народов

Кафедра информационных технологий; Российский университет дружбы народов

Список литературы

  2. Solving Checkers / J. Schaeffer, Y. Bjornsson, N. Burch et al // International Joint Conference on Artificial Intelligence (IJCAI). - 2005. - Pp. 292-297.
  3. Bouzy B., Cazenave T. Computer Go: An AI Oriented Survey // Artificial Intelligence. - Vol. 132, No 1. - 2001.
  4. Korf R. Finding Optimal Solutions to Rubik's Cube Using Pattern Databases // Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI-97). - Providence, RI: July 2005.
  5. Eich H. P., Ohmann C., Lang K. Decision Support in Acute Abdominal Pain Using an Expert System Fordifferent Knowledge Bases // Tenth IEEE Symposium on Computer-Based Medical Systems, 1997. Proceedings. - 11-13 June 1997.
  6. Toward Automating Airspace Management / G. Taylor, B. Stensrud, S. Eitelman et al // Computational Intelligence for Security and Defense Applications (CISDA). - Honolulu, HI: IEEE Press, 2007.
  7. Validation of an Automated System Model Generator / A. J. Gonzalez, H. R. Myler, F. D. McKenzie et al // IEEE Transactions on Knowledge and Data Engineering. - Vol. 6, No 4. - August 1994.
  8. Стефанюк В. Л. Локальная организация систем - модели и приложения. - M.: Мир, 2004.
  9. Barstow D. R. A Knowledge-Based System for Automatic Program Construction // IJCAI. - 1977. - Pp. 382-388.
  10. Pastre D. A Humanlike Approach for Automatic Theorem Proving // AISB/GI (ECAI). - 1978. - Pp. 248-252.
  11. Pastre D. Knowledge-Based Theorem Proving // GI Jahrestagung. - 1980. - P. 429.
  12. Cohen D. N. Knowledge Based Theorem Proving and Learning. - Ann Arbor: UMI, 1981.
  13. Denzinger J., Schulz S. Recording and Analyzing Knowledge-Based Distributed Deduction Processes // Journal of Symbolic Computation. - Vol. 21. - 1996. -Pp. 523-541.
  14. Denzinger J., Kronenburg M., Schulz S. DISCOUNT. A Distributed and Learning Equational Prover // Journal of Automated Reasoning. - Vol. 18, No 2. - August 1994. - Pp. 189-198.
  15. Lee S. J. An Autonomous Multistrategy Theorem Proving System Using Knowledge-Based Techniques // Journal of Intelligent Information Systems. - Vol. 3, No 1. - August 1994.
  16. Gordon M. From LCF to HOL: a Short History. - Cambridge University, 1996.
  17. Wentzel M. M. Isabelle/Isar - a Versatile Environment for Human-Readable Formal Proof Documents. - Munchen: Institut for Informatik der Technischen, Universitet Munchen, 2001.
  18. Pastre D. Muscadet2.3 : A Knowledge-based Theorem Prover based on Natural Deduction // International Joint Conference on Automated Reasoning IJCAR (Conference on Automated Deduction CADE-JC). - 2001. - Pp. 685-689.
  19. Pagnol J.-P. Modelisation and Automation of Reasoning in Geometry. The ARGOS System: a Learning Companion for High-School Pupils // Proceedings of the 6th International Conference, ITS 2002. - Springer Verlag, 2002.
  20. Раутиаинен А. Алгоритм нумерации объединения конечных множеств без пересечении // XLII Всероссийская конференция по проблемам математики, информатики, физики и химии 17-21 апреля 2006 года: Труды конференции. Секция «Программные исследования». - М.: РУДН, 2006. - С. 122-130.
  21. Paulson L. C. The Isabelle Reference Manual. - Cambridge, United Kingdom:Computer Laboratory, University of Cambridge, 2003.

© Раутиайнен А., 2008

Creative Commons License
Эта статья доступна по лицензии Creative Commons Attribution 4.0 International License.

Данный сайт использует cookie-файлы

Продолжая использовать наш сайт, вы даете согласие на обработку файлов cookie, которые обеспечивают правильную работу сайта.

О куки-файлах