Reification (knowledge representation)

From Wikipedia, the free encyclopedia

Reification in knowledge representation is sometimes used to represent facts that must then be manipulated in some way; for example, to compare logical assertions from different witnesses to determine their credibility. The message "John is six feet tall" is an assertion of truth that commits the sender to the fact, whereas the reified statement, "Mary reports that John is six feet tall" defers this 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 incompatible with each other; the statements "Mary reports that John is six feet tall" and "Paul reports that John is five feet tall" are not incompatible with each other, since they are both compatible with the assumption that at least one of them doesn't say the truth about Paul or Mary's report, or that Mary or Paul is mistaken or lying.