DOI

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.
Original languageEnglish
Title of host publicationProceedings of the Seventh IEEE International Conference on Intelligent Computing and Information Systems, ICICIS 2015
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages73-76
Number of pages4
ISBN (Electronic)9781509019496
DOIs
StatePublished - 2 Feb 2016
Event7th IEEE International Conference on Intelligent Computing and Information Systems, ICICIS 2015 - Cairo, Egypt
Duration: 12 Dec 2015 → 14 Dec 2015

Publication series

Name2015 IEEE 7th International Conference on Intelligent Computing and Information Systems, ICICIS 2015

Conference

Conference7th IEEE International Conference on Intelligent Computing and Information Systems, ICICIS 2015
Country/TerritoryEgypt
CityCairo
Period12/12/15 → 14/12/15

    Research areas

  • Artificial Intelligence, level description of a class, pattern recognition, predicate calculus

    Scopus subject areas

  • Artificial Intelligence
  • Computer Science Applications
  • Information Systems
  • Information Systems and Management

ID: 4774597