Reification (linguistics)
- Reification (linguistics)
Reification in Natural Language Processing refers to where a natural language statement is transformed so actions and events in it become quantifiable variables. For example "John chased the duck furiously" can be transformed into something like "(Exists e)(chasing(e) & past_tense(e) & actor(e,John) & furiously(e) & patient(e,duck))". Another example would be "Sally said John is mean", which could be expressed as something like "(Exists u,v)(saying(u) & past_tense(u) & actor(u,Sally) & that(u,v) & is(v) & actor(v,John) & mean(v))".
This is so that statements which seemingly cannot be expressed in classical first-order predicate calculus, due to their use of tense, modality, adverbial constructions, propositional arguments (e.g. "Sally said that X"), etc., can in fact be manipulated using only the tools of classical first-order predicate calculus. This is an advantage because predicate calculus is better understood and simpler than the more complex alternatives (higher-order logics, modal logics, temporal logics, etc.), and there exist better automated tools (e.g. automated theorem provers and model checkers) for manipulating it.
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
Natural language processing — (NLP) is a field of computer science and linguistics concerned with the interactions between computers and human (natural) languages; it began as a branch of artificial intelligence.[1] In theory, natural language processing is a very attractive… … Wikipedia
Character mask — Part of a series on Marxism … Wikipedia
Marxism (Philosophies of) — Philosophies of Marxism Lenin, Lukács, Gramsci, Althusser Michael Kelly INTRODUCTION Marxist philosophy can be seen as a struggle with Hegel or a struggle with capitalism, that is, as an intellectual or a political movement. Neither of these… … History of philosophy
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
Abstraction — This article is about the concept of abstraction in general. For other uses, see abstraction (disambiguation). Abstraction is a process by which higher concepts are derived from the usage and classification of literal ( real or concrete )… … Wikipedia
Metaphor — This article is about the figure of speech. For other uses, see Metaphor (disambiguation). A political cartoon from an 1894 Puck magazine by illustrator S.D. Ehrhart, shows a farm woman labeled Democratic Party sheltering from a tornado of… … Wikipedia
Grammaire cognitive — La grammaire cognitive (en anglais : Cognitive Grammar) constitue une approche cognitive du langage, développée depuis 1976 par Ronald Langacker. Celui ci en a présenté les principes dans son ouvrage en deux volumes, Foundations of Cognitive … Wikipédia en Français
Ambiguity — Sir John Tenniel s illustration of the Caterpillar for Lewis Carroll s Alice s Adventures in Wonderland is noted for its ambiguous central figure, whose head can be viewed as being a human male s face with a pointed nose and pointy chin or being… … Wikipedia
Hindu — A Hindu (Audio|hi Hindu.ogg|pronunciation, Devanagari: हिन्दू) is an adherent of the philosophies and scriptures of Hinduism, a set of religious, philosophical and cultural systems that originated in the Indian subcontinent. There are… … Wikipedia
