DocumentCode :
3740297
Title :
Partial deduction in predicate calculus as a tool for artificial intelligence problem complexity decreasing
Author :
Tatiana M. Kosovskaya
Author_Institution :
St. Petersburg State University SpbSU, St. Petersburg Institute on Informatics and Automation of Russian Academy of Science SPIIRAS, RUSSIA
fYear :
2015
Firstpage :
73
Lastpage :
76
Abstract :
Many artificial intelligence problems are NP-complete ones. To decrease the needed time of such a problem solving a method of extraction of sub-formulas characterizing the common features of objects under consideration is suggested. This method is based on the offered by the author notion of partial deduction. Repeated application of this procedure allows to form a level description of an object and of classes of objects. A model example of such a level description and the degree of steps number increasing is presented in the paper.
Publisher :
ieee
Conference_Titel :
Intelligent Computing and Information Systems (ICICIS), 2015 IEEE Seventh International Conference on
Print_ISBN :
978-1-5090-1949-6
Type :
conf
DOI :
10.1109/IntelCIS.2015.7397199
Filename :
7397199
Link To Document :
بازگشت