Autoformalization of the Knowledge, by Gregory Gromov (original) (raw)

| UDC 681.332.1-181.4+681.338.5"Autoformalisation - Knowledge acquisition of professional skills" by Gregory R. Gromov. - Microprocessor Devices and Systems, Moscow, 1986, N 3, p.80 - 91. The paper discusses the process of development of the "knowledge industry". A brief analysis of the main historical stages of the evolution of of the information technology is given. The specifics of the knowledge acquisition and representation processes in some of the personal computing applications is discussed. It is shown that knowledge representation becomes the main form of the integration of new units of individual professional skills into the active body of the scientific knowledge. See also the text format of English language version of this paper. | | ��� 681.332.1-181.4+681.338.5������ �.�. ���������������� ���������������� ������. ����������������� �������� � �������, 1986, N 3, �. 80 - 91.��������������� ������� ����������� � �������� "��������� ������". ������ ������������� �������� ������������ ����� �������� �������������� ����������. ����������� ����������� ��������� ������������ ������ � ������ ������������ ����������, ������� ������������ ������� ��� ���������������� ���������������� ������. ��������, ��� ������ ���������������� ���������� �������� ��������� ��������� � �������� ���� �������� ������ ����� � ��� ����� ������ ������� ��������������� ����������������� ���������. | | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ | | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |

| | | �. �. ������ ���������������� ���������������� ������ ������� ��� ���������������� �����, 4 ������� 1985 "����������������� �������� � ������� .."# 3, 1986, c. 80-91 ����������:�. 80, ������ �������� ������ -- HTML, 7����� �������� ������ �������������� ���������� �������������� - ������ �������������� ��������� �. 81, ������ �������� ������ -- HTML, 9����� ���������� -- ������� ����������� ��������� ������ ��������� ��������������� �. 82, ������ �������� ������ -- HTML, 8����� ������ ��������������� ������ ��������� ����� ���������������� ������ �. 83, ��������� �������� ������ -- HTML, 10����� ������������ ���������� �. 84, ����� �������� ������ -- HTML, 8����� ������� ���������������� ������ � �������� "�������� �����" �. 85, ������ �������� ������ -- HTML, 8����� ����������� ��������������, ������ �������������, ������� ������������ �. 86, ������� �������� ������ -- HTML, 8����� ... ������ ������������� ������ ��������������� ������, ���� ������ ������������ ����������� ������ ������������ ������������� ������������� ������ �. 87, ������� �������� ������ -- HTML, 8����� ��������� ������ �. 88, ������� �������� ������ --jpg, 100����� �������: "�������� ����� �������� ���������� ������" �. 89, ������� �������� ������ -- HTML, 8����� �������� � ���������� ������: ������� ����������� �������� �. 90, ������������ �������� ������ -- HTML, 8����� ���������� ������ �� ������� �� ������� �. 91, ����������� �������� ������ -- HTML, 5����� ������ �� ��� ��� ������������ ������ ������������ ������ ���������� ���� �������? _____________ ��������������� ��������� ������� ���� ������ � �� ������� ���������� (��������) ������ ("�������" �����): �. 80, ������ �������� ������ � �� ������� ���������� ("������������") ������� -- jpg 190����� �. 89, ������� �������� ������ � �� ������� "��������" ("������������") ������� -- jpg 250����� �.2, ����������������� - jpg 140 ����� �.3, ��������� ���� ������� - jpg 156����� �. 79, ����������� ��������� - ����������� ������ � ������������� �� ���� - jpg 190����� | | | - | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | |

��. ����� ��������� �� ������ ���� � ������ ��������� 1999 �.

��� ��� ���� -- ������ �� 2002:

������ ��� ������ - ������ �� � ��������� � 15 � ����� �������� ��� �� ���� - ������� �� ������� ������ ������ �� ���� �������� � �������� ���������������� ������. ������ ���, ��� �������, ��� ����������� ����� ������ �������� ��� ���������� ����� � ����� ���������.

������� ����� 20 ��� � ������-����������������� �������������� ������ �� ���� �. ������. ��� ������������ �������������, ������� ����� ��� - � ������ �������� - ������� ������� ������� ������������� ������������ � ������. ��������� ���� ������ ��� �� ���� ���� ������������� ������� ������������. ������ �������, ����������������� ������������ -- ���������� ���������� �������� ��������� �����, ����������������������� ������������� � �.�. ������������� ���������� ��� ����� ����������� ��������� �������� � ��������� "����������" � ������������ ������ ������������������ . �������� ��� � ��������� ���������� �������������� ������������ ������������ ����������� �������������� ������������. �� ���� ���� �� ���� ������ ��� ������� ������ ���� ���������� ������������ �������� ��������� �� ���� ���, ������� ������������ ��� _����������������_������. ��������� ����������� �� ��� ��� ���� ������� �����-����� ��� � � ������ ������� "�����������" ��������������������, �� �� �������� � ��������� ������ ������������ ����� �� ������ ��� ����������� � ���� ���������� � �������, ������� � ���������� ���������� ���� ����������� � ������ ���������.

����� ������������� ����� ������� ����� ������ -����������������? ��� ���� ������ - � ���� ���� ��������� ������� - �� �������. � ���� ������� ����������� ����������� ������� ���� ������ ��������� - � ���������, ������ ��� �� ������ �������� - ����� � ����� ���������� ���� ������������� ���������. ���������� ���� �� ����������� �� ���� ����������� ����������� ����� �������������� ��� ����������������� ���� �� ��� ���� ��� ����� ������������ ����� ���� �������� ��������� ��� ������������ ���������� �������. �� ������ ������ � ������ ����� ��� ������ �� ��� ������� � ��������� ������ "����������������" � ����� "�������������� �������: �������� ������������ ������������", �., �����, 1984. ����� ��� ���� ����� �������� ���� ����������� ��� � ����� �� ���� ���������� ���������� ���������������� ������ ������������������. ���������� ��������� ����� ��-�������� ������� ��� ����� ��������������� ������� � ��������� ���� ������� ��������� �������.

��������� ����� ���, ��� � ������ ����, � ��������� ��� ����� � ����� ������������, � ���� �� ���� ������������ ��� ��� ��� ����������, ��������� ����� ������ ��������� ��� ����� �� ������ �������� ��� ����� ���� ������� ����� ���������, ������� ������� � ���� ������� ��������� ������������ ������ �������. �� ������ ������ �������� ����� ����� �����������. ������ ��, ���� �������������� � ������� �� ����� � ����������� ��������� 1986 ���� ����������, ������������ ����� ������� �������� ����� �� ������ �� ������ ���� �� ������ ���������� ������������� ����� ������ ���������. ����� ���� ������ ��� ���������� ����������� ��� ��� ������� ������������ ������ � �������� ��� ���������� �������.

������ � ��� ��������� ����� ����� �� ����, ����������� ����������� ���������������� ������, ��� ����������� ��������� ����������� �������.

���������� ����� ������������, ��� �����-�� ����� ���� ��� ������������ ��-�������� �� ������ ���������� � ����� ������������� ����� �� ������ 90-� "������� �������". �� ������ ������, � ������ �������� �� ���������� ������-����� ���� ������ ������� �������� ����� ������ �� c���� ������ ����� � ������: ���������, ����������, ������-�����������, � �.�., - ��� �����������; ������� ����� �������� ��� ������ ������� ������������.

� ��� ����� ������ �� ������������� - � ����� ������������� �������������� ���������� - ����� ������ ����� ������� �����, ��� ����������� ���������� "��������� ��������� ���������� �����������", ������������� ������������� ����������� ���������� ���������, ������� ����� ��������� "���������������� ������" �� ����������� ��� �� �������� ��������� ���������� ������������ �������. � ������������ � ������� � ������������ ��� � ��� �� ������ �������� ������� ��������: ��������� "����������� � ������ �������������� �������" 8�11 ������ (��� ���� � ������ � ����������� ��������� �����������) ��������, ��� "������� ���������������� ������" �������� � ���� �������� ��������� �� ������� "�������� ������ �����"...

��������� �������� ������������� ���������� � ��� �� ���������, � �������, ������������� ��������� ������-����������������� ����� ������� ���������� ����. ��� ���������� - � ������; ���� �� ���� ��� ��� - �������������� ���������� ����� �������������� �����: 0155 - ���������������� ������.

����������� ������� � ����, ����������, � ���������� ��� ����� ������� ������� ��������� ������������� �� ����� � ��� �� �� ������ ������ �������� ������:

���� � �� ����� ������ ������������ ���������� ������ ���� �� ������ ������������ ����������. ��� ��� ����� ���� � � ����� ���� ����� ������������, ��� ������� ���������������� ������ ����� ������������ �������� ��� � ������� ������ ��� � �� ��������, �� � ���������������� ����� ����������� ����� � ���� ������� ����������� ������������.

���� ������� ����� �������� �� ������ ����� �� ���� feedback ������ ������� ������������� �������, �� ����� ����� �� ����������� ���� ���������� ����� ��������� ��� , ������ � ������� ��, ��� �� ��� ����� ������ �� ������� ������ ����� ����������� � 1999 �� 2002 ��� �� �� ����� �������. ��� ������� ���������� ��������� ���� ���� ������� (������� ��� ��� ��������� ��� ��� ������ Out, ������� ������ ������� � ��� � � livejournal ����������������� ��� ���) - ���� � ��������� �������� ���������. ������ ���� ���� ����� �� ���� ������ ����������� ���� �����������, � ��������� ��� ������ ������ ������� � ����� ������� ���-���� ����� � ����� ����� �� ���� ������� �������� ����������������. ���������� �� �������� ���� ������ ����� ���� ��������� �������������; ������������ ���������� ������ � ��-�-�-�-������ ���������� �� ������� � ���� ������������� � ��. ����. �������� �����. ������ ������� ��� ������ ����������� ����������������� �������� �������� ��� ������� ���-���� �������.

����������� ���������� ������� ������� (� ������� ����� ���������� ��� SOM) �� ��������� �������� ������ ���� ������. ������� � ������ ������ ����������� ��� ���� ������������ ���������, �� �� ���� ��� ������ ����� � ���� �� �� ����� �� ������ ����������� ������� ������. ��� �� � ��������� ������ ����������� �� �������� ������ � ���������� ����� ����������� �� ���� �� ����������� ����� ��� ������ �� ��������� ��������. ��� � ���� �� ���� ����� ������ �������? ���� �������� - ������� ����� � � ��� ���������� - ���������� ��� ��� �� �����-���� ������� ��� "����-����", �� ��� ������ ����������� ���� ��� ��� � ������ �� ����������. �������, ��� �������� ������,
������� 2002 �.