Reification (knowledge representation)

Reification (knowledge representation)

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 speaker 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 either Mary or Paul (or the speaker) is incorrect.

ee also

*Reification (fallacy)


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Reification — may refer to: *Reification (computer science), making a data model for a previously abstract concept*Reification (fallacy), fallacy of treating an abstraction as if it were a real thing*Reification in Gestalt psychology, where an object is… …   Wikipedia

  • Cyc — For other uses, see CYC (disambiguation). Cyc Developer(s) Cycorp Written in Lisp, CycL Type Ontology and Inference engine Cyc is an artificial intelligence project that attempts to assemble …   Wikipedia

  • Resource Description Framework — Infobox file format name = Resource Description Framework icon = logo = extension = .rdf mime = application/rdf+xml type code = uniform type = magic = owner = [http://www.w3.org/ World Wide Web Consortium] genre = semantic web container for =… …   Wikipedia

  • Character mask — Part of a series on Marxism …   Wikipedia

  • Duality (CoPs) — This article is about Dualities in Communities of practice . For other uses of Duality, see Duality (disambiguation). In the context of a Community of practice the notion of a duality is used to capture the idea of the tension between two… …   Wikipedia

  • Critical theory — Horkheimer, Adorno, Habermas David Rasmussen HEGEL, MARX AND THE IDEA OF A CRITICAL THEORY Critical theory1 is a metaphor for a certain kind of theoretical orientation which owes its origin to Hegel and Marx, its systematization to Horkheimer and …   History of philosophy

  • Infini — Le symbole infini Le mot « infini » ( e, s ; du latin finitus, « limité »), est un adjectif servant à qualifier quelque chose qui n a pas de limite en nombre ou en taille. Sommaire …   Wikipédia en Français

  • Religion (Philosophies of) — Philosophies of religion Marcel, Jaspers, Levinas William Desmond Gabriel Marcel (1889–1973), Karl Jaspers (1883–1969) and Emmanuel Levinas (1906–) seem like a mere aggregate of thinkers. Jaspers, a German thinker who coined the phrase Existenz… …   History of philosophy

  • List of philosophy topics (R-Z) — RRaRabad Rabbinic law Rabbinic theology Francois Rabelais François Rabelais race racetrack paradox racism Gustav Radbruch Janet Radcliffe Richards Sarvepalli Radhakrishnan radical Aristotelianism radical behaviourism radical feminism radical… …   Wikipedia

  • Anthropology and Archaeology — ▪ 2009 Introduction Anthropology       Among the key developments in 2008 in the field of physical anthropology was the discovery by a large interdisciplinary team of Spanish and American scientists in northern Spain of a partial mandible (lower… …   Universalium

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”