In knowledge formalization a special interest has a question, which is opposite to the strong problem of knowledge representation, that is, whether an informal concept can «understand the knowledge» of a computer. Such formulation of the question is usually called a «second computer argument». This paper studies the logical structure of the argument.
При формализации знания особый интерес имеет вопрос, обратный строгой проблеме представления знания, а именно, может ли неформальная концепция знания «понять знание» компьютера. Такая постановка вопроса в литературе получила название «второго аргумента компьютера». В данной работе исследована логическая структура этого аргумента.