Reification (knowledge representation)

Введение

Реификация в представлении знаний - это процесс превращения предиката или утверждения в адресуемый объект. Реификация позволяет представлять утверждения таким образом, чтобы они могли быть упомянуты или квалифицированы другими утверждениями, т.е. метазнанием. Послание "Иоанн ростом в шесть футов" - это утверждение, включающее истину, которое обязывает говорящего к его фактичности, тогда как рельефированное утверждение "Мария сообщает, что Иоанн ростом в шесть футов" откладывает такую приверженность Марии. Таким образом, утверждения могут быть несовместимы без создания противоречий в рассуждениях. Например, утверждения "Иоанн ростом в шесть футов" и "Иоанн ростом в пять футов" взаимно исключают друг друга (и, следовательно, несовместимы), но утверждения "Мария сообщает, что Иоанн ростом в шесть футов" и "Павел сообщает, что Иоанн ростом в пять футов" не являются несовместимыми, поскольку они оба управляются убедительным обоснованием, что либо Мария, либо Павел (или оба) на самом деле неверны. В лингвистике сообщение, рассказ и высказывание признаются вербальными процессами, которые проектируют формулировку (или местоимение). Если человек говорит, что "Пол сказал х" и "Мария сказала y", этот человек заявил только, что рассказ имел место. В этом случае человек, сделавший эти два утверждения, не представлял человека непоследовательно. Кроме того, если два человека разговаривают друг с другом, скажем, Павел и Мария, и Павел говорит Марии: "Джон ростом пять футов", а Мария отвергает утверждение Павла, говоря: "Нет, он на самом деле шести футов", социальная модель Иоанна не становится непоследовательной. Причина этого в том, что заявления следует понимать как попытку убедить адресата в чем-то (Как делать вещи словами Остина), а также как просьбу добавить какой-то атрибут к модели Павла. Ответ на утверждение может быть подтверждением, в этом случае модель изменяется, или может быть отклонением утверждения, в этом случае модель не меняется. Наконец, приведенный выше пример, в котором говорится, что Иоанн был "пять футов высотой" или "шесть футов высотой", несовместим только потому, что Иоанн может быть высотой только одного метра. Если бы атрибут был обладанием, как в "у него есть собака" или "у него также есть кошка", несовместимости модели не произошло бы. Другими словами, вопрос о несоответствии модели имеет отношение к нашей модели элемента домена (Джон), а не к приписке различных элементов диапазона (измерения, такие как "пять футов высотой" или "шесть футов высотой").

Reification in knowledge representation is the process of turning a predicate or statement into an addressable object. Reification allows the representation of assertions so that they can be referred to or qualified by other assertions, i. e., meta knowledge. The message "John is six feet tall" is an assertion involving truth that commits the speaker to its factuality, whereas the reified statement "Mary reports that John is six feet tall" defers such commitment to Mary. In this way, the statements can be incompatible without creating contradictions in reasoning. For example, the statements "John is six feet tall" and "John is five feet tall" are mutually exclusive (and thus incompatible), but the statements "Mary reports that John is six feet tall" and "Paul reports that John is five feet tall" are not incompatible, as they are both governed by a conclusive rationale that either Mary or Paul is (or both are), in fact, incorrect. In linguistics, reporting, telling, and saying are recognized as verbal processes that project a wording (or locution). If a person says that "Paul told x" and "Mary told y", this person stated only that the telling took place. In this case, the person who made these two statements did not represent a person inconsistently. In addition, if two people are talking to each other, let's say Paul and Mary, and Paul tells Mary "John is five feet tall" and Mary rejects Paul's statement by saying "No, he is actually six feet tall", the socially constructed model of John does not become inconsistent. The reason for that is that statements are to be understood as an attempt to convince the addressee of something (Austin's How to do things with words), alternatively as a request to add some attribute to the model of Paul. The response to a statement can be an acknowledgement, in which case the model is changed, or it can be a statement rejection, in which case the model does not get changed. Finally, the example above for which John is said to be "five feet tall" or "six feet tall" is only incompatible because John can only be a single number of feet tall. If the attribute were a possession as in "he has a dog" or "he also has a cat", a model inconsistency would not happen. In other words, the issue of model inconsistency has to do with our model of the domain element (John) and not with the ascription of different range elements (measurements such as "five feet tall" or "six feet tall").