Pacific national university Main page Bulletin of Pacific national university

UDC 510.6+519.767+519.688

© M. Yu. Chernyshov, 2013

CONSTRUCTING AN INTELLIGENT ANALYTICAL SYSTEM: PART 1. FOUNDATIONS OF THE COMPARISON PRINCIPLE FOR OPERATOR FORMULAS AS FUNCTIONAL MODELS OF ELEMENTARY SENSES

A mathematic-logical description of the comparison principle for operator predicative formulas, which represent properties, functions and relations of objects and abstract entities, is given. Solution to the problem related to elaboration of the comparison principle is a stage in elaboration of the analytical core, i.e. a comparison technology for intelligent systems presuming diverse intentions (intelligent GIS-systems; intelligent systems which provide for registration, image recognition and investigation of microscopic videoimages) capable of sense analysis.

Keywords: operator predicative formulas, comparison principle, comparison method, comparison system, intelligent systems.

References:

  1. Chernyshov M. Yu. Verbalnye sredsyva vyrazheniya mysley-skrepov kak mediatorov smyslovoy integrativnosti teksta / M. Yu. Chernyshov. – M.: Nauka I pravo, 2010. 168 s.
  2. Chernyshov M. Yu. Problema identifikatsiyi verbalno vyrazhennikh mysley-skrepov kak mediatorov smyslovoy integrativnosti tekstov / M. Yu. Chernyshov. M.: Nauka I pravo, 2010. 152 s.
  3. Chernyshov M. Yu.  Osnovy metoda analiza smysla teksta s pomoshyu verbalno vyrazhennikh mysley-skrepov / M. Yu. Chernyshov // Vestnik Buriatskogo gos. un-ta. Seria “Romano-Gramanskaya Philologia”. – 2009. – Vyp. 11. – S.154–157.
  4. Chernyshov M. Yu. Mysli-skrepy kak mediatory smyslovoy integrativnosti teksta. Podhod k analizu smyslovoy svyaznosti teksta s pomoshyu mysley-skrepov / M. Yu. Chernyshov // Voprosy Philologii. – 2012. – № 1.
  5. Chernyshov M.Yu. Osnovy vychislitelnoy technologii, prednaznachennoy dlya issledovaniya programnikh system i osnovannoy na printsipakh logiko-smyslovogo analiza / M. Yu. Chernyshov, N. V. Abasov // Vestnik TOGU: Razdel “Informatika, vychiclitelnaya technika, upravleniye”. – 2012. – № 2 (25). – S. 27–36.
  6. Chernyshov M. Yu. Systema soderzhatelnogo analiza tekstov program, prednaznachennaya dlya obuccheniya programmistov analyticheskim priyemam / M. Yu. Chernyshov, N. V. Abasov // Analyticheskaya mechanika, ustoychivost i upravleniye. Trudy X Mezhdunarodnoy Chetaevskoy konferentsii. – T. 4. Kompyuternye technologii (Kazan, 12–16 June 2012). – Kazan: Izd-vo Kazan gos. tech. un-ta, 2012. – S. 303–312.
  7. Chernyshov M. Yu. Metod kolichestvennogo analyza objectov na videoizobrazheniyakh, rasschitanny na ispolzovaniye v GIS-technologiah i analize mikroskopicheskikh videoizobrazheniy / M. Yu. Chernyshov, V. N. Nurminsky, N. V. Abasov, E. N. Osipchuk // Vestnik Buriatskogo gos. un-ta. Seria “Matematika. Informatika”. – 2012. – Vyp. 9. – S. 76–80.
  8. Maltsev A. I. Modelniye sootvetstvia / A. I. Maltsev // Izv. AN USSR. Seria “Mathematika”. – 1959. – T. 23. – № 3. – S. 313–336.
  9. Owen S. Analogy for Automated Reasoning / S. Owen. N.Y.: Acad. Press, 1990. 770 p.
  10. Plaisted D. A. Theorem proving with abstraction / D. A. Plaisted // Artificial Intelligence. – 1981. – Vol. 16. – P. 47–108.
  11. Boy de la Tour Th. Building proofs by analogy via the Curry-Howard isomorphism / Th. Boy de la Tour, Ch. Kreitz // Proc. LPAR. – 1992. – P. 202–213.
  12. Melis E. A model of analogy-driven proof-plan construction / E. Melis // Proc. of IJCAI. – 1995. – P. 182–189.
  13. Deforneaux G. Theorem proving with abstraction / G. Deforneaux, C. Bourely, N. Peltier // J. of Automated Reasoning. – 1998. – Vol. 20. – Nos. 1, 2. – P. 27–45.
  14. Kleshov A. S. Model analogii mezhdu mathematicheskimi dokazatelstvami / A. S. Kleshov // Problemy upravleniya. – 2007. – № 1. – S. 20–24.
  15. Glushkov V. M. Machina dokazyvayet / V. M. Glushkov. M.: Znaniye, 1981.
  16. Gavrilova T. L. Vnutrennyaya model mathematicheskoy praktiki dlya system avtomaticheskogo konstruirovaniya dokazatelstv theorem / T. L. Gavrilova, A. S. Kleshov // Problemy upravleniya. – 2006. – № 4. – Chast 1. – S. 32–35; № 5. – Chast 2. – S. 68–73; № 6. – Chast 3. – S. 68–71.
  17. Lenat D. B. On automated scientific theory formation: A case study using the AM program / D. B. Lenat // Machine Intelligence. – 1981. – No. 9. – P. 31–43.
  18. Vassilyev S. N. Machine synthesis of mathematical theorems / S. N. Vassilyev // J. of Logic Programming. – 1990. – Vol. 9. – Nos. 2, 3. – P. 235–266.
  19. Vassilyev S. N. Princip sravneniya // V. M. Matrosov, L. Yu. Anapolskii, S. N. Vassilyev. Method sravneniya v mathematicheskoy teorii system / Отв. ред. V. M. Matrosov. Novosibirsk: Nauka, 1980. S. 374–450.
  20. Matrosov V. M. Method sravneniya v mathematicheskoy teorii system / V. M. Matrosov, L. Yu. Anapolskii, S. N. Vassilyev / Pod red. V. M. Matrosova. Novosibirsk: Nauka, 1980. 480 с.
  21. Vassilyev S. N. Method sravneniya v анализе систем III / S. N. Vassilyev // Дифференциальные уравнения. – 1982. – Т. XVIII. – № 2. – Минск: Наука и техника, 1982. – С. 197–205.
  22. Vassilyev S. N. Method sravneniya v анализе систем IV / S. N. Vassilyev // Дифференциальные уравнения. – 1982. – Т. XVIII. – № 6. – Минск: Наука и техника, 1982. – С. 938–947.

Download Download article (366.4 Kb)

Сontents Сontents