Geodesic
Application of Ant algorithms to the solving of some artificial intelligence problems
Vestnik Sankt-Peterburgskogo universiteta. Prikladnaâ matematika, informatika, processy upravleniâ, no. 3 (2015), pp. 67-82 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

The problem of deducibility checking for a special form formula is under consideration. Many Artificial Intelligence problems may be reduced to such a form formulas. To solve this problem it is suggested to use a combination of the inverse Maslov method with Ant algorithms permitting concurrent processing during the derivation construction. Algorithm solving such a problem is constructed. This algorithm run bounds of step number are proved. An example of a model problem solving with the help of the described algorithm is described. Refs 7. Figs 2.
Keywords: Artificial Intelligence, predicate calculus, algorithmic complexity, Maslov’s inverse method, Ant tactics, parallel computation. 
@article{VSPUI_2015_3_a5,
     author = {N. D. Petukhova and T. M. Kosovskaya},
     title = {Application of {Ant} algorithms to the solving of some artificial intelligence problems},
     journal = {Vestnik Sankt-Peterburgskogo universiteta. Prikladna\^a matematika, informatika, processy upravleni\^a},
     pages = {67--82},
     year = {2015},
     number = {3},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VSPUI_2015_3_a5/}
}
TY  - JOUR
AU  - N. D. Petukhova
AU  - T. M. Kosovskaya
TI  - Application of Ant algorithms to the solving of some artificial intelligence problems
JO  - Vestnik Sankt-Peterburgskogo universiteta. Prikladnaâ matematika, informatika, processy upravleniâ
PY  - 2015
SP  - 67
EP  - 82
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/VSPUI_2015_3_a5/
LA  - ru
ID  - VSPUI_2015_3_a5
ER  - 
%0 Journal Article
%A N. D. Petukhova
%A T. M. Kosovskaya
%T Application of Ant algorithms to the solving of some artificial intelligence problems
%J Vestnik Sankt-Peterburgskogo universiteta. Prikladnaâ matematika, informatika, processy upravleniâ
%D 2015
%P 67-82
%N 3
%U http://geodesic.mathdoc.fr/item/VSPUI_2015_3_a5/
%G ru
%F VSPUI_2015_3_a5
N. D. Petukhova; T. M. Kosovskaya. Application of Ant algorithms to the solving of some artificial intelligence problems. Vestnik Sankt-Peterburgskogo universiteta. Prikladnaâ matematika, informatika, processy upravleniâ, no. 3 (2015), pp. 67-82. http://geodesic.mathdoc.fr/item/VSPUI_2015_3_a5/

[1] Kosovskaia T. M., “Some Artificial Intelligence problems permitting formalization by means of predicate calculus language and upper bounds of their solution steps”, SPIIRAS Proceedings, 14, 2010, 58–75 (In Russian)

[2] Kosovskaya T., Petukhova N., “The Inverse Method for Solving Artificial Intelligence Problems in the Frameworks of Logic-Objective Approach and Bounds of its Number of Steps”, Information Models and Analyses, 1 (2012), 84–93

[3] Petukhova N. D., Kosovskaia T. M., “Solving of logic-objective pattern recognition problems with the use Maslov's inverse method tactics”, Computer tools in education, 2014, no. 3, 9–20 (In Russian)

[4] Orevkov V. P., “The inverce method of derivation serch”: A. N. Adamenko, A. M. Kuchukov, Logical Programming and Visual Prolog, BHV, St. Petersburg, 2003, 952–965 (In Russian)

[5] Dorigo M., Birattari M., Stutzle T., Ant Colony Optimization. Artifcial Ants as a Computational Intelligence Technique, Techn. Report Series, No 23, IRIDIA, 2006, 1–2

[6] Kosovskaya T., Petukhova N., “The Inverse Maslov Method and Ant Tactics for Exhaustive Search Decreasing”, Information Models and Analyses, 2:1 (2013), 81–89

[7] Voevodin V. V., Parallel computations, BHV, St. Petersburg, 2002, 608 pp. (In Russian)