I.B. Fominykh

intelligence systems (HAIS) are considered. One of classes HAIS - the conceptual - image systems based on synergy interaction of image and symbol-logic mechanisms of decision-making is discussed. Thus a image component it is realized on the basis of neural networks-fuzzy logic models, projected with use of the information approach, and a symbol-logic component - with the help of the device nonmonotonic temporal logics. Nonmonotonic logic models on a basis of active logic are offered, base principles which realization is represented necessary by development of models of reasonings of the intellectual agent functioning in conditions of a rigid time resource are considered. Realization of principles is based on active logic and its updatings. Some elements of engineering of images, including variants of nonclassical measures for representation of the images builded as function of usual and fuzzy sets are offered.

 

1. Tarasov V. B. Ot nechetkikh mnozhestv k mjagkim ocenkam i sinergeticheskomu iskusstvennomu intellektu // Sb. dokladov Mezhdunar. konf. po mjagkim vychislenijam i izmerenijam (SCM-2005). SPb: SPbGEHTU. 2005. S. 32 - 41.
2. Perlis D., Purang K., Purushothaman D., Andersen C., Traum D. Modeling time and meta-reasoning in dialog via active logic // Working Notes of AAAI Fall Symposium on Psychological Models of Communication. 2005. R. 84 - 93.
3. Vinkov M. M. Aktivnaja logika s tochki zrenija fundirovannojj semantiki logicheskikh programm s prioritetami. // Sb. trudov IKH nac. konf. po iskusstvennomu intellektu s mezhdunar. uchastiem. KII-2004. M.: Fizmatlit. 2004. T. 1. S. 78 - 87.
4. Vinkov M. M., Fominykh I. B.Modelirovanie rassuzhdenijj intellektualnogo agenta, reshajushhego zadachi v uslovijakh zhjostkikh vremennykh ogranichenijj: bazovye principy. // Sb. trudov XIIInac. konf. po iskusstvennomu intellektu KII-2012. Belgorod: Izd. BGTU. 2012. T. 1. S. 59 - 66.
5. Bezhenishvili M. N. Logika modalnostejj znanija i mnenija / Predisl. V.K. Finna. M.: KomKniga. 2007. 288 s.
6. Elgot-Drapkin J. Step Logic: Reasoning situated in time. PhD thesis. Department of computer science, University of Maryland, Colledge-Park, Maryland. 1988. 128 p.
7. PurangK., PurushothamanD., TraumD., AndersenC., TraumD., Perlis D.Practical Reasoning and Plan Executing with Active Logic. 1999. Proceedings of the IJCAI\'99 Workshop on Practical Reasoning and Rationality. R. 243 - 256.
8. Vinkov M. M. Vremja, kak vneshnjaja sushhnost pri modelirovanii rassuzhdenijj racionalnogo agenta s ogranichennymi resursami // Trudy XI nac. konf. po iskusstvennomu intellektu s mezhdunar. uchastiem «KII-2008». M.: Fizmatlit. 2008. S. 312 - 319.
9. Golicyn G. A., Petrov V. M. Informacija - povedenie ? tvorchestvo. M.: Nauka. 1991. 224 s.
10. Golicyn G. A., Fominykh I. B. Nejjronnye seti i ehkspertnye sistemy: perspektivy integracii // Novosti iskusstvennogo intellekta. M.: 1996. № 4. S. 121 - 145.
11. Fominykh I. B. Integracija nejjronnykh i simvolno-logicheskikh modelejj v intellektualnykh tekhnologijakh. // Sb. nauch. trudov VII nac. konf. s mezhdunar. uchastiem «Iskusstvennyjj intellekt - 2000». Pereslavl-Zalesskijj: 2000. T. 2. S. 588 - 596.
12. Tarasov V. B. Neklassicheskie mery - osnova razvitija sinergeticheskikh informacionnykh tekhnologijj // Vychislitelnaja matematika, differencialnye uravnenija, informacionnye tekhnologii. Materialy Mezhdunar. konf. (Ulan-Udeh-Bajjkal, avgust2009 g.). Ulan-Udeh: Izd-voVSGTU. 2009. S. 349 - 362.
13. Sugeno M. Fuzzy Measures and Fuzzy Integrals: a Surwey // Fuzzy Automata and Decision Processes / Ed. by M. M. Gupta, G. Saridis, B. R. Gaines. Amsterdam: North-Holland Publishing Company. 1977. R. 89 - 102.
14. Luca de D., Termini S. A Definition of Non-Probabilistic Entropy in the Setting of Fuzzy Sets Theory // Information and Control. 1972. V. 20. R.301 - 312.