Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.cplire.ru/Lab144/ai2002.pdf Дата изменения: Mon Sep 24 14:53:35 2007 Дата индексирования: Mon Oct 1 20:06:01 2012 Кодировка: Поисковые слова: наблюдения метеорных потоков

. .
morozov@mail.cplire.ru

. . . .
obukhov@mail.cplire.ru

. , , , . , . , . Abstract. In apparatus for and analyzin completeness conditions of mathematical programming , , , , ( ). : 1. (, ), , . 2. , , , , . . , , (.. ), (, ) ( ) [1,2]. this article we considered the problem of development of mathematical logic programming of intelligent agents for searching, recognizing, collecting g information in the Internet. The problem of providing soundness and of logical inference in the dynamic environment of Internet, under the permanent update and revision of information is discussed. We proposed a new apparatus based on the principle of repeated proving subgoals for logic of the Internet agents.


[1,3]. , , , , , [7,9]. , , (, , F-Logic .) [1,3,7]. , , (), (.. ). , . 1. : 1. , . 2. . 3. , ( ) . , ( ) , , .

. 1. , . , ( « ») [4-9], (. . 1):


1. A1­An V1­Vm. 2. , . 3. , , . , . , . . , , , . , - ( ) [4,5,6,9], (W1­Wk). , 1 A4 W2 W3. 2. , , . (« »), - (. 2).

. 2. - , . R1­Rx. , , , A-B-C. , R2, R3, R5, A-B-C, ,


, , - . , () - R2, R3, R5, . , . , , , , , . , R1­Rx () . , , : 1. , - . 2. , . , (1) , (2) , , , . , ( ) (1). 3. ( not), , , - . , , , , . . - ( ) - . , , , () . , . . [5], .


SADT , SADT SADT [5]. , .

. 3. . , , (. 3). (P1­Pq) . [9]: 1. ( ). 2. ( CV1­CVr). , : 1. «» (IDM). 2. «» (SDM). . , , , , «», . «» , . ( ),


. [4,9]. , , - . , , , , , . [9] - . , , . , : 1. ( , ) . , . 2. , , , , - . 3. . , . . , , , , . , , . 4. , , . , , . , , . .


- ( , , . [4]). , , : 1. HTTP FTP . 2. , SADT SADT [9]. 3. . , . . . - . 5. , . () , , (LogicWeb, Minerva, DLP), ( Oz .) (W-ACE, Lygon). , . - , . , , . , , ( ) , . , , . ,


, , . - , ( ), . () . - . . ( 0001-00560). 1. Sadri F., Toni F. Computational Logic and Multiagent Systems: a Roadmap. ­ 1999. (http://citeseer.nj.nec.com/sadri99computational.html) 2. Huang Z., EliКns A., van Ballegooij A., de Bra P. A Taxonomy of Web Agents // Proc. of DEXA Workshop. ­ 2000. ­ pp. 765-769. (http://citeseer.nj.nec.com/408821.html) 3. 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 Verlag, 2001. (http://fivedots.coe.psu.ac.th/~ad/papers/summBob.ps.gz) 4. .., .. . . ­ , 1996. ­ 2(613). ­ 57 . ( http://www.cplire.ru/Lab144/index.html) 5. .. : - . ­ ., 1998. ­ 199 . (http://www.cplire.ru/Lab144/auto.html) 6. 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) 7. 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) 8. 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) 9. 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)