Реификация в представлении знаний — это процесс превращения предиката [1] или утверждения [2] в адресуемый объект. Реификация позволяет представлять утверждения так, чтобы на них можно было ссылаться или квалифицировать их другими утверждениями, т. е. мета-знание. [3]
Сообщение «Джон ростом шесть футов» является утверждением, включающим истину, которая обязывает говорящего к его фактичности, тогда как овеществленное утверждение «Мэри сообщает, что Джон ростом шесть футов» откладывает такое обязательство на Мэри. Таким образом, утверждения могут быть несовместимыми, не создавая противоречий в рассуждениях . Например, утверждения «Джон ростом шесть футов» и «Джон ростом пять футов» являются взаимоисключающими (и, следовательно, несовместимыми), но утверждения «Мэри сообщает, что Джон ростом шесть футов» и «Пол сообщает, что Джон ростом пять футов» не являются несовместимыми, поскольку оба они руководствуются убедительным обоснованием того, что либо Мэри, либо Пол (или оба) на самом деле неверны.
В лингвистике отчет, рассказ и высказывание признаются вербальными процессами, которые проецируют формулировку (или локуцию) . Если человек говорит, что «Пол сказал x» и «Мэри сказала y», этот человек утверждает только то, что рассказ имел место. В этом случае человек, сделавший эти два утверждения, не представлял человека непоследовательно. Кроме того, если два человека разговаривают друг с другом, скажем, Пол и Мэри, и Пол говорит Мэри: «Джон ростом пять футов», а Мэри отвергает утверждение Пола, говоря: «Нет, на самом деле он ростом шесть футов», социально сконструированная модель Джона не становится непоследовательной. Причина этого в том, что утверждения следует понимать как попытку убедить адресата в чем-то (Austin's How to do things with words), или как просьбу добавить какой-либо атрибут к модели Пола. Ответом на утверждение может быть подтверждение, и в этом случае модель изменяется, или это может быть отклонение утверждения, и в этом случае модель не изменяется. Наконец, приведенный выше пример, в котором говорится, что Джон «ростом в пять футов» или «ростом в шесть футов», несовместим только потому, что Джон может иметь только одно число футов. Если бы атрибут был собственностью, как в «у него есть собака» или «у него также есть кошка», несоответствия модели не произошло бы. Другими словами, проблема несоответствия модели связана с нашей моделью элемента домена (Джон), а не с приписыванием различных элементов диапазона (измерений, таких как «ростом в пять футов» или «ростом в шесть футов»).