Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Кіріспе
Білімді бейнелеудегі реефикация - бұл предикат немесе мәлімдемені адрестелетін объектіге айналдыру процесі. Реификация мәлімдемелерді басқа мәлімдемелермен, яғни мета біліммен, сілтеме жасауға немесе біліктілікке ие болуға мүмкіндік береді. "Жоханның бойы алты фут" деген хабар - бұл сөйлеушінің шындыққа деген сенімін білдіретін, ал "Марияның айтуынша, Джонның бойы алты фут" деген мәлімдеме - бұл Мәриямға деген сенімін білдіреді. Осылайша, мәлімдемелер дәлелдеуде қарама-қайшылықтар тудырмай, үйлесімсіз болуы мүмкін. Мысалы, "Жоханның биіктігі алты фут" және "Жоханның биіктігі бес фут" деген сөздер бір-бірін білдірмейді (және осылайша үйлеспейді), бірақ "Марияның айтуынша, Джонның биіктігі алты фут" және "Полдың айтуынша, Джонның биіктігі бес фут" деген сөздер үйлеспейді, өйткені екеуі де Марияның немесе Пауылдың (немесе екеуінің де) дұрыс емес екендігі туралы қорытынды негіздемемен басқарылады. Тіл біліміне сәйкес, баяндау, айту және айту сөз тіркесімін (немесе сөз тіркесімін) көрсететін сөздік процестер ретінде танылады. Егер біреу "Пол х айтты" және "Мария у айтты" десе, бұл адам тек айтылғанның орын алғанын айтты. Бұл жағдайда, осы екі мәлімдемені жасаған адам бір адамды тұрақсыз түрде білдірген жоқ. Сонымен қатар, егер екі адам бір-бірімен сөйлесіп отырса, мысалы, Пауыл мен Мәриям, ал Пауыл Мәриямға "Жоханның бойы бес фут" десе, Мәриям Пауылдың сөзін "Жоқ, ол шын мәнінде алты фут" деп қабылдамаса, онда Жоханның әлеуметтік тұрғыдан жасалған үлгісі сәйкессіз болмайды. Мұның себебі - мәлімдемелер адресатқа бір нәрсені сендіруге тырысу ретінде түсінілуі керек (Остиннің "Сөзбен қалай әрекет ету керек"), немесе Пауылдың үлгісіне қандай да бір атрибут қосу туралы өтініш ретінде. Айғаққа жауап беру мойындау болуы мүмкін, бұл жағдайда модель өзгертіледі, немесе ол айғақтардың қабылдамау болуы мүмкін, бұл жағдайда модель өзгертілмейді. Жоханның биіктігі "бес фут" немесе "алты фут" деп айтылған жоғарыдағы мысал тек қана сәйкес келмейді, өйткені Жоханның биіктігі бір санда ғана болуы мүмкін. Егер атрибут "оның иті бар" немесе "оның мысығы да бар" сияқты иелік болса, модельдік сәйкессіздік болмайды. Басқаша айтқанда, модельдің сәйкессіздік мәселесі біздің домен элементі (Джон) моделімізбен байланысты, ал әртүрлі диапазон элементтерінің (бұл "бес фут биіктік" немесе "алты фут биіктік" сияқты өлшемдер) жатқызумен байланысты емес.
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").