1. Science
  2. Publications
  3. Information Processing Systems
  4. 2(100)'2012
  5. About the problem of solvability in the formal intellectual systems

About the problem of solvability in the formal intellectual systems

Y.V. Parzhin
Annotations languages:

The paper deals with the set of information systems which are capable to solve heuristic tasks on the basis of formal theory which was called modal and vector theory of formal intellectual systems (FIS). The paper also justifies the approach to FIS resolving algorithm development, defines the main properties of system data, proves the theorems which lay the foundation of the theory and formulates the principle of representative variety in FIS development.
Keywords: artificial intelligence, formal intellectual system, modal and vector theory