An ontology of intellectual activity tasks

An overview of publications presenting classifications of tasks solved by intellectual systems, descriptions of these tasks and formal specifications of these tasks are given. Actuality of the classification based on general principles and terminology well-determined by mathematical apparatus is shown. The mathematical apparatus that allows to introduce mathematical abstractions for all the notions used in task specifications is suggested. A multilevel classification of tasks in which the basic classification of tasks is expressed rather abstractedly is proposed. Further, on the lower levels of abstractions, special properties of domains are introduced and formally represented, and refined specification of tasks and new inherent tasks are suggested.