ИРЭ им. В.А. Котельникова РАН English Войти Подать статью
Журнал радиоэлектроники Электронный научный журнал · eISSN 1684-1719
2003, № 11 · ИНФОРМАТИКА И ТЕЛЕКОММУНИКАЦИИ

Об одном подходе к логическому программированию интеллектуальных агентов для поиска и распознавания информации в Интернет

А.А. Морозов1

1 ИРЭ им. В.А. Котельникова РАН, Москва, Россия
Полный текст EDN MSPPUT

Аннотация

В статье рассмотрена проблема разработки интеллектуальных агентов для поиска и распознавания информации в Интернет. Изложен оригинальный подход к объектно-ориентированному логическому программированию агентов Интернет. Рассмотрена проблема обеспечения корректности логического вывода в условиях постоянного изменения информации в Интернет. Описан оригинальный математический аппарат для формализации модифицируемых рассуждений в Интернет. Рассмотрена модель параллельных вычислений, разработанная для логического программирования агентов Интернет. Рассмотрены средства логического программирования агентов Интернет на основе разработанного математического аппарата.

Для цитирования

Морозов А.А. Об одном подходе к логическому программированию интеллектуальных агентов для поиска и распознавания информации в Интернет // Журнал радиоэлектроники. – 2003. – № 11.

Литература

  1. Горелик А.Л., Гуревич И.Б., Скрипкин В.А. Современное состояние проблемы распознавания. - М.: "Радио и связь", 1985.
  2. Thayse A., Gribomont P., Hulin G., Pirotte A., Roelants D., Snyers D., Vauclair M., Gochet P., Wolper P., Gregoire E., Delsarte Ph. Approche Logique de l'Intelligence Artificielle, vol. 2: De la Logique Modale a la Logique des bases de donnees. - Paris: Dunod, 1989. [Имеется перевод: Логический подход к искусственному интеллекту: От модальной логики к логике баз данных / Тейз А., Грибомон П., Юлен Г. и др. - М.: Мир, 1998.]
  3. Hewitt C. Viewing Control Structures as Patterns of Passing Messages // Artificial intelligence. - 1977. - V. 8. - No. 3. - PP. 323-364.
  4. Hewitt C. The Challenge of Open Systems // Byte. - 1985. - April. - PP. 223-233.
  5. Marca D.A., McGowan C.L. SADT Structured Analysis and Design Technique. - N.Y.: McGraw-Hill, 1988.
  6. Alexiev V. Mutable Object State for Object-Oriented Logic Programming: A Survey: Technical report TR93-15 / Dep. of Computing Science, University of Alberta. - Alberta, Canada, 1993. - 23 p. (<ftp://ftp.cs.ualberta.ca/pub/TechReports/1993/TR93-15.ps.Z>)
  7. Fernandes A.A., Paton N.W., Williams M.H., Bowles A. Approaches to deductive object-oriented databases // Information and Software Technology. - 1992. - V. 34. - No. 12. - PP. 787-803.
  8. Sadri F., Toni F. Computational Logic and Multiagent Systems: a Roadmap. - 1999. (<http://citeseer.nj.nec.com/sadri99computational.html>)
  9. Huang Z., Eliens A., van Ballegooij A., de Bra P. A Taxonomy of Web Agents // IEEE Proc. of the First Intern. Workshop on Web Agent Systems and Applications (WASA 2000). - 2000. (<http://wasp.cs.vu.nl/wasp/papers/wasa2000.ps>)
  10. Eiter T., Fink M., Sabbatini G., Tompits H. Using Methods of Declarative Logic Programming for Intelligent Information Agents // Theory and Practice of Logic Programming. - 2002. - Vol. 2. - No. 6. - PP. 645-709. (<http://arxiv.org/abs/cs.MA/0108008>)
  11. Davison A. A Survey of Logic Programming-based Object-Oriented Languages // P. Wegner, A. Yonezawa, G. Agha (editors), Research Directions in Concurrent Object Oriented Programming. - MIT Press, 1993. - PP. 42-106. (<http://www.cs.mu.oz.au/tr_db/mu_92_03.ps.gz>)
  12. Davison A. Logic Programming Languages for the Internet // A. Kakas, F. Sadri (editors), Invited Submission for Computational Logic: From Logic Programming into the Future. - Springer, 2001. (<http://fivedots.coe.psu.ac.th/~ad/papers/summBob.ps.gz>)
  13. Davison A., Loke S.W. A Concurrent Logic Programming Model of the Web: Technical Report 98/23 / Department of Computer Science, University of Melbourne. - Melbourne, Australia, 1998. (<http://www.cs.mu.oz.au/tr_submit/test/tr_db/mu_TR_1998_1-cp.ps.gz>)
  14. Loke S.W. Adding Logic Programming Behaviour to the World Wide Web: Ph.D. Thesis. - Department of Computer Science, The University of Melbourne, 1998. (<http://goanna.cs.rmit.edu.au/~swloke/writings/phd-loke.pdf>)
  15. Kowalski R., Sadri F. From Logic Programming to Multi-agent systems / Department of Computing, Imperial College. - London, 1999. (<http://www-lp.doc.ic.ac.uk/UserPages/staff/rak/papers/lpmas.pdf.gz>)
  16. Costantini S. Towards Active Logic Programming // Proc. of COCL'99 workshop. - Paris, 1999. (<http://citeseer.nj.nec.com/318212.html>)
  17. Pontelli E., Gupta G. W-ACE: A Logic Language for Intelligent Internet Programming / Department of Computer Science, New Mexico State University. - Las Cruces, US, 1997. (<http://www.cs.nmsu.edu/lldap/download/web.ps.Z>)
  18. Smolka G. The Oz Programming Model // In J. van Leeuwen (ed), Computer Science Today. LNCS 1000. - Springer, 1995. - PP. 324-343. (<http://www.mozart-oz.org/papers/abstracts/volume1000.html>)
  19. Tarau P. Jinni: Intelligent Mobile Agent Programming at the Intersection of Java and Prolog // Proc. of PAAM'99. - London, 1999. (<http://citeseer.nj.nec.com/tarau99jinni.html>)
  20. Tarau P. Fluents: A Refactoring of Prolog for Uniform Reflection and Interoperation with External Objects / Department of Computer Science, University of North Texas. - Denton, Texas, USA, 2000. (<http://logic.csci.unt.edu/tarau/research/2000/fluents_cl2000.ps.gz>)
  21. Eliens A., de Vink E.P. Asynchronous rendez-vous in distributed logic programming // J.W. de Bakker, W.P. de Roever, G. Rozenberg (editors), Semantics: Foundations and Applications. - Springer, 1993. - PP. 174-203. (<http://citeseer.nj.nec.com/50346.html>)
  22. Mosconi M., Porta M. A Visual Approach to Internet Applications Development // Proc. of the 8-th Intern. Conf. on Human-Computer Interaction (HCI'99). - Munich, Germany, 1999. - Vol. 1. - PP. 600-604. (<http://vision.unipv.it/research/papers/99p-webappl/webappl.pdf>)
  23. Kistler T., Marais H. WebL - a programming language for the Web // Proc. of WWW7. - Elsevier, 1998. - PP. 259-270. (http://gatekeeper.research.compaq.com/ pub/DEC/SRC/technical-notes/SRC-1997-029-html/ <http://gatekeeper.research.compaq.com/pub/DEC/SRC/technical-notes/SRC-1997-029-html/>)
  24. Cardelli L., Davies R. Service Combinators for Web Computing // Software Engineering. - 1999. - Vol. 25. - No. 3. - PP. 309-316. (<http://citeseer.nj.nec.com/cardelli97service.html>)
  25. Hong T.W., Clark K.L. Concurrent programming on the web with Webstream: Technical Report / Department of Computing. Imperial College. - 2000. (<http://www-lp.doc.ic.ac.uk/~klc/webstream.html>)
  26. Zhang Y., Keshav S. WebScript - A Scripting Language for the Web: Technical Report / Cornell CS Technical Report TR99-1742. - 1999. (<http://www.research.att.com/~yzhang/papers/webscript-tr99.pdf>)
  27. Barish G., Knoblock C.A. Speculative Execution for Information Gathering Plans // Proc. of the 6-th Intern. Conf. on AI Planning and Scheduling (AIPS-2002). - Toulouse, France, 2002. (<http://www.isi.edu/info-agents/papers/barish02-aips.pdf>)
  28. Pontelli E., Gupta G. W-ACE: A Logic Language for Intelligent Internet Programming / Department of Computer Science, New Mexico State University. - Las Cruces, US, 1997. (<http://www.cs.nmsu.edu/lldap/download/web.ps.Z>)
  29. Malenfant J., Lapalme G., Vaucher J. ObjVProlog-D: distributed object-oriented programming in logic // Object Oriented Systems. - 1996. - Vol. 3. - No. 2. - PP. 61-86. (<http://compscinet.dcs.kcl.ac.uk/OO/PDFPapers/oo030202.pdf>)
  30. Alferes J.J., Pereira L.M., Logic Programming Updating - a guided approach // In A. Kakas and F. Sadri (editors), Computational Logic: From Logic Programming into the Future - Essays in honour of Robert Kowalski. - Springer, 2002. - Vol. 2. - PP. 382-412. (<http://citeseer.nj.nec.com/alferes02logic.html>)
  31. Dix J., Furbach U., Niemelae I. Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations // In A. Voronkov and Robinson (editors) Handbook of Automated Reasoning.- Elsevier, 2001. - Vol. 2. - Chapter 18. - PP. 1121-1234. (<http://www.cs.man.ac.uk/~jdix/Papers/01_Handbook_AR.ps.gz>)
  32. Inoue K., Kawaguchi S., Haneda H. Controlling Speculative Computation in Multi-Agent Environments // Proc. of the Second Intern. Workshop on Computational Logic in Multi-Agent Systems (CLIMA-01). - 2001. - PP. 9-18. (<http://citeseer.nj.nec.com/inoue01controlling.html>)
  33. Satoh K., Yamamoto K. Speculative computation with multi-agent belief revision // Proc. of the first intern. joint conf. on Autonomous agents and multiagent systems (Bologna, Italy). - ACM Press, 2002. - PP. 897-904. (<http://agents.umbc.edu/papers/satoh.pdf>)
  34. Морозов А.А. Акторный Пролог // Программирование. - 1994. - No. 5. - С. 66-78.
  35. Морозов А.А., Обухов Ю.В., Олейников А.Я. Логическое программирование открытых систем // Логика, методология, философия науки: Тез. докл. XI межд. конф. - Обнинск, 1995. - С. 153-156. (<http://www.cplire.ru/Lab144/obninsk.html>)
  36. Морозов А.А., Обухов Ю.В. Акторный Пролог. Определение языка программирования. - Москва, 1996. - Препринт ИРЭ РАН 2(613). - 57 с. (Новая версия определения языка опубликована на нашем сайте <http://www.cplire.ru/Lab144/index.html>)
  37. Морозов А.А., Обухов Ю.В. Семантический анализ функциональных диаграмм информационных систем средствами объектно-ориентированного логического программирования // Развитие и применение открытых систем: Тез. докл. IV межд. конф. - Нижний Новгород, 1997. - С. 61-64. (<http://www.cplire.ru/Lab144/rapros97.html>)
  38. Морозов А.А. Логический анализ функциональных диаграмм в процессе интерактивного проектирования информационных систем: Дис.... канд. физ.-мат. наук. - Москва, 1998. - 199 с. (<http://www.cplire.ru/Lab144/auto.html>)
  39. Morozov A.A. Actor Prolog: an Object-Oriented Language with the Classical Declarative Semantics // Proc. of IDL'99 workshop. - Paris, 1999. (<http://www.cplire.ru/Lab144/paris.pdf>)
  40. Morozov A.A., Obukhov Yu.V., Gulyaev Yu.V. On the Problem of Using Logic Object-Oriented Programming in the World Wide Web // Proc. of the Special Russian Session "The Internet Developments in Russia". First IEEE/Popov Workshop on Internet Technologies and Services. - Moscow, 1999. - PP. 54-59. (<http://www.cplire.ru/Lab144/internet.pdf>)
  41. Морозов А.А., Обухов Ю.В. О проблеме логического программирования интеллектуальных агентов Интернет // Дискретные модели в теории управляющих систем: Труды IV межд. конф. - М.: "МАКС Пресс", 2000. - С. 78-83.
  42. Морозов А.А., Обухов Ю.В. О задаче логического распознавания в динамической среде Internet // Распознавание образов и анализ изображений: новые информационные технологии: Тез. докл. V межд. конф. - Самара, 2000. - С. 745-749.
  43. Morozov A.A., Obukhov Yu.V. On the Problem of Logical Recognition in the Dynamic Internet Environment // Pattern Recognition and Image Analysis. - 2001. - Vol. 11. - No. 2. - PP. 454-457. (<http://www.cplire.ru/Lab144/pria5.pdf>)
  44. Morozov A.A., Obukhov Yu.V. An Approach to Logic Programming of Intelligent Agents for Searching and Recognizing Information on the Internet // Pattern Recognition and Image Analysis. - 2001. - Vol. 11. - No. 3. - PP. 570-582. (<http://www.cplire.ru/Lab144/pria570m.pdf>)
  45. Morozov A.A. On Semantic Link Between Logic, Object-Oriented, Functional, and Constraint Programming // Proc. of MultiCPL workshop. - Ithaca, USA, 2002. (<http://www.cplire.ru/Lab144/multicpl.pdf>)
  46. Морозов А.А., Обухов Ю.В. Разработка математического аппарата логического программирования интеллектуальных агентов Интернета // Искусственный интеллект. - 2002. - N4. - С. 580-587. (<http://www.cplire.ru/Lab144/ai2002.pdf>)
  47. Morozov A.A., Obukhov Yu.V. Development of the Methods and Tools for Mathematically Correct Logic Programming of Internet Agents // Pattern Recognition and Image Analysis. - 2003. - Vol. 13. - No. 2. - PP. 225-227. (<http://www.cplire.ru/Lab144/pria225.pdf>)
  48. Морозов А.А. Логическая объектно-ориентированная модель асинхронных параллельных вычислений // Искусственный интеллект. - 2003. - N4. - С. 12-17.
  49. Морозов А.А. Введение в Акторный Пролог. - М.: ИРЭ РАН, 2002. (<http://www.cplire.ru/Lab144/start/r_index.html>)