|
Subsumption (other)
Subsumption may refer to: * A minor premise in symbolic logic (see syllogism) * The Liskov substitution principle in object-oriented programming * Subtyping in programming language theory * Subsumption architecture in robotics * A subsumption relation in category theory, semantic networks and linguistics, also known as a "hyponym-hypernym relationship" (Is-a) * Formal and real capitalist subsumption describes different processes whereby capital comes to dominate an economic process. Coined in Karl Marx's Capital, Volume I ''Capital. A Critique of Political Economy. Volume I: The Process of Production of Capital'' (german: Das Kapital. Kritik der politischen Ökonomie Erster Band. Buch I: Der Produktionsprocess des Kapitals) is the first of three treatises that ma ... * Theta-subsumption, a decidable entailment relation between clauses {{disambig ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Syllogism
A syllogism ( grc-gre, συλλογισμός, ''syllogismos'', 'conclusion, inference') is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two propositions that are asserted or assumed to be true. In its earliest form (defined by Aristotle in his 350 BCE book '' Prior Analytics''), a syllogism arises when two true premises (propositions or statements) validly imply a conclusion, or the main point that the argument aims to get across. For example, knowing that all men are mortal (major premise) and that Socrates is a man (minor premise), we may validly conclude that Socrates is mortal. Syllogistic arguments are usually represented in a three-line form: All men are mortal. Socrates is a man. Therefore, Socrates is mortal.In antiquity, two rival syllogistic theories existed: Aristotelian syllogism and Stoic syllogism. From the Middle Ages onwards, ''categorical syllogism'' and ''syllogism'' were usually used interchangeably. This a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Liskov Substitution Principle
The Liskov substitution principle (LSP) is a particular definition of a subtyping relation, called strong behavioral subtyping, that was initially introduced by Barbara Liskov in a 1988 conference keynote address titled ''Data abstraction and hierarchy''. It is based on the concept of "substitutability" a principle in object-oriented programming stating that an object (such as a class) may be replaced by a sub-object (such as a class that extends the first class) without breaking the program. It is a semantic rather than merely syntactic relation, because it intends to guarantee semantic interoperability of types in a hierarchy, object types in particular. Barbara Liskov and Jeannette Wing described the principle succinctly in a 1994 paper as follows: ''Subtype Requirement'': Let be a property provable about objects of type . Then should be true for objects of type where is a subtype of . Symbolically: :S <: T \to (\forall xT) \phi(x) \to (\forall yS) \phi(y) That ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Subtyping
In programming language theory, subtyping (also subtype polymorphism or inclusion polymorphism) is a form of type polymorphism in which a subtype is a datatype that is related to another datatype (the supertype) by some notion of substitutability, meaning that program elements, typically subroutines or functions, written to operate on elements of the supertype can also operate on elements of the subtype. If S is a subtype of T, the subtyping relation (written as , , or ) means that any term of type S can ''safely be used'' in ''any context'' where a term of type T is expected. The precise semantics of subtyping here crucially depends on the particulars of how ''"safely be used"'' and ''"any context"'' are defined by a given type formalism or programming language. The type system of a programming language essentially defines its own subtyping relation, which may well be trivial, should the language support no (or very little) conversion mechanisms. Due to the su ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Subsumption Architecture
Subsumption architecture is a reactive robotic architecture heavily associated with behavior-based robotics which was very popular in the 1980s and 90s. The term was introduced by Rodney Brooks and colleagues in 1986.Brooks, R. A., "A Robust Programming Scheme for a Mobile Robot", Proceedings of NATO Advanced Research Workshop on Languages for Sensor-Based Control in Robotics, Castelvecchio Pascoli, Italy, September 1986. Subsumption has been widely influential in autonomous robotics and elsewhere in real-time AI. Overview Subsumption architecture is a control architecture that was proposed in opposition to traditional AI, or GOFAI. Instead of guiding behavior by symbolic mental representations of the world, subsumption architecture couples sensory information to action selection in an intimate and bottom-up fashion. It does this by decomposing the complete behavior into sub-behaviors. These sub-behaviors are organized into a hierarchy of layers. Each layer implements a part ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hierarchy
A hierarchy (from Greek: , from , 'president of sacred rites') is an arrangement of items (objects, names, values, categories, etc.) that are represented as being "above", "below", or "at the same level as" one another. Hierarchy is an important concept in a wide variety of fields, such as architecture, philosophy, design, mathematics, computer science, organizational theory, systems theory, systematic biology, and the social sciences (especially political philosophy). A hierarchy can link entities either directly or indirectly, and either vertically or diagonally. The only direct links in a hierarchy, insofar as they are hierarchical, are to one's immediate superior or to one of one's subordinates, although a system that is largely hierarchical can also incorporate alternative hierarchies. Hierarchical links can extend "vertically" upwards or downwards via multiple links in the same direction, following a path. All parts of the hierarchy that are not linked vertically to one ano ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Das Kapital
''Das Kapital'', also known as ''Capital: A Critique of Political Economy'' or sometimes simply ''Capital'' (german: Das Kapital. Kritik der politischen Ökonomie, link=no, ; 1867–1883), is a foundational theoretical text in Historical materialism, materialist philosophy, critique of political economy and politics by Karl Marx. Marx aimed to reveal the economic patterns underpinning the capitalist mode of production (Marxist theory), capitalist mode of production in contrast to Classical economics, classical political economists such as Adam Smith, Jean-Baptiste Say, David Ricardo and John Stuart Mill. While Marx did not live to publish the planned second, third and fourth parts, the second and third volumes were completed from his notes and published after his death by his colleague Friedrich Engels; the fourth volume was completed and published after Engels's death by Marxist philosoper Karl Kautsky. ''Das Kapital'' is the most cited book published before 1950 in the social ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
