Partial Deduction in Predicate Calculus as a Tool for Artificial Intelligence Problem Complexity Decreasing

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференции

Аннотация

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 decreasing is presented in the paper.
Язык оригиналаанглийский
Название основной публикацииProceedings of the Seventh IEEE International Conference on Intelligent Computing and Information Systems, ICICIS 2015
ИздательInstitute of Electrical and Electronics Engineers Inc.
Страницы73-76
Число страниц4
ISBN (электронное издание)9781509019496
DOI
СостояниеОпубликовано - 2 фев 2016
Событие7th IEEE International Conference on Intelligent Computing and Information Systems, ICICIS 2015 - Cairo, Египет
Продолжительность: 12 дек 201514 дек 2015

Серия публикаций

Название2015 IEEE 7th International Conference on Intelligent Computing and Information Systems, ICICIS 2015

конференция

конференция7th IEEE International Conference on Intelligent Computing and Information Systems, ICICIS 2015
СтранаЕгипет
ГородCairo
Период12/12/1514/12/15

Предметные области Scopus

  • Искусственный интеллект
  • Прикладные компьютерные науки
  • Информационные системы
  • Информационные системы и управление

Fingerprint Подробные сведения о темах исследования «Partial Deduction in Predicate Calculus as a Tool for Artificial Intelligence Problem Complexity Decreasing». Вместе они формируют уникальный семантический отпечаток (fingerprint).

  • Цитировать

    Kosovskaya, T. M. (2016). Partial Deduction in Predicate Calculus as a Tool for Artificial Intelligence Problem Complexity Decreasing. В Proceedings of the Seventh IEEE International Conference on Intelligent Computing and Information Systems, ICICIS 2015 (стр. 73-76). [7397199] (2015 IEEE 7th International Conference on Intelligent Computing and Information Systems, ICICIS 2015). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/IntelCIS.2015.7397199