|
Logic Of Argumentation
The logic of argumentation (LA) is a formalised description of the ways in which humans reason and argue about propositions. It is used, for example, in computer artificial intelligence systems in the fields of medical diagnosis and prognosis, and research chemistry. Origin of term Krause et al. appear to have been the first authors to use the term "logic of argumentation" in a paper about their model for using argumentation for qualitative reasoning under uncertainty, although the approach had been used earlier in prototype computer applications to support medical diagnosis. Their ideas have been developed further, and used in applications for predicting chemical toxicity and xenobiotic metabolism, for example.William G. Button, Philip N. Judson, Anthony Long, and Jonathan D. Vessey. Using Absolute and Relative Reasoning in the Prediction of the Potential Metabolism of Xenobiotics, J. Chem. Inf. Comput. Sci., 2003, 43, 1371-1377. Implementations In LA, arguments for and argu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Reason
Reason is the capacity of consciously applying logic by drawing conclusions from new or existing information, with the aim of seeking the truth. It is closely associated with such characteristically human activities as philosophy, science, language, mathematics, and art, and is normally considered to be a distinguishing ability possessed by humans. Reason is sometimes referred to as rationality. Reasoning is associated with the acts of thinking and cognition, and involves the use of one's intellect. The field of logic studies the ways in which humans can use formal reasoning to produce logically valid arguments. Reasoning may be subdivided into forms of logical reasoning, such as: deductive reasoning, inductive reasoning, and abductive reasoning. Aristotle drew a distinction between logical discursive reasoning (reason proper), and intuitive reasoning, in which the reasoning process through intuition—however valid—may tend toward the personal and the subject ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Contradiction
In traditional logic, a contradiction occurs when a proposition conflicts either with itself or established fact. It is often used as a tool to detect disingenuous beliefs and bias. Illustrating a general tendency in applied logic, Aristotle's law of noncontradiction states that "It is impossible that the same thing can at the same time both belong and not belong to the same object and in the same respect." In modern formal logic and type theory, the term is mainly used instead for a ''single'' proposition, often denoted by the falsum symbol \bot; a proposition is a contradiction if false can be derived from it, using the rules of the logic. It is a proposition that is unconditionally false (i.e., a self-contradictory proposition). This can be generalized to a collection of propositions, which is then said to "contain" a contradiction. History By creation of a paradox, Plato's '' Euthydemus'' dialogue demonstrates the need for the notion of ''contradiction''. In the ensuing ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logic And Dialectic
Formal scientists have attempted to combine logic and dialectic through formalisation. These attempts include pre-formal and partially formal treatises on argument and dialectic, systems based on defeasible reasoning, and systems based on game semantics and dialogical logic. History Since the late 20th century, European and American logicians have attempted to provide mathematical foundations for dialectic through formalisation, although logic has been related to dialectic since ancient times. There have been pre-formal and partially-formal treatises on argument and dialectic, from authors such as Stephen Toulmin (''The Uses of Argument'', 1958), Nicholas Rescher (''Dialectics: A Controversy-Oriented Approach to the Theory of Knowledge'', 1977), and Frans H. van Eemeren and Rob Grootendorst ( pragma-dialectics, 1980s). One can include works of the communities of informal logic and paraconsistent logic. Defeasibility Building on theories of defeasible reasoning (see John L. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Argumentation Theory
Argumentation theory, or argumentation, is the interdisciplinary study of how conclusions can be supported or undermined by premises through logical reasoning. With historical origins in logic, dialectic, and rhetoric, argumentation theory, includes the arts and sciences of civil debate, dialogue, conversation, and persuasion. It studies rules of inference, logic, and procedural rules in both artificial and real-world settings. Argumentation includes various forms of dialogue such as deliberation and negotiation which are concerned with collaborative decision-making procedures. It also encompasses eristic dialog, the branch of social debate in which victory over an opponent is the primary goal, and didactic dialogue used for teaching. This discipline also studies the means by which people can express and rationally resolve or at least manage their disagreements. Argumentation is a daily occurrence, such as in public debate, science, and law. For example in law, in courts by the ju ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Argumentation Framework
In artificial intelligence and related fields, an argumentation framework is a way to deal with contentious information and draw conclusions from it using formalized arguments. In an abstract argumentation framework, entry-level information is a set of abstract arguments that, for instance, represent data or a proposition. Conflicts between arguments are represented by a binary relation on the set of arguments. In concrete terms, you represent an argumentation framework with a directed graph such that the nodes are the arguments, and the arrows represent the attack relation. There exist some extensions of the Dung's framework, like the logic-based argumentation frameworks or the value-based argumentation frameworks. Abstract argumentation frameworks Formal framework Abstract argumentation frameworks, also called argumentation frameworks ''à la Dung'', are defined formally as a pair: * A set of abstract elements called ''arguments'', denoted A * A binary relation on A, call ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Resolution (logic)
In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation complete theorem-proving technique for sentences in propositional logic and first-order logic. For propositional logic, systematically applying the resolution rule acts as a decision procedure for formula unsatisfiability, solving the (complement of the) Boolean satisfiability problem. For first-order logic, resolution can be used as the basis for a semi-algorithm for the unsatisfiability problem of first-order logic, providing a more practical method than one following from Gödel's completeness theorem. The resolution rule can be traced back to Davis and Putnam (1960); however, their algorithm required trying all ground instances of the given formula. This source of combinatorial explosion was eliminated in 1965 by John Alan Robinson's syntactical unification algorithm, which allowed one to instantiate the formula during the proof "on demand" just as far as needed to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Aggregation (ethology)
{{unreferenced, date=July 2013 In ethology, an aggregation is any form of gathering of organisms and the process of coming together. In some forms groups of unrelated species might form, in which interaction between members of the aggregation might be minimal; for example herds of grazing zebra and antelopes might combine, both the better to observe the approach of predators, and to improve the odds of escape in the event of attack by predators. Sometimes there might be some interaction, such as mixed flocks of birds that observe each other's foraging behaviour in searching for food. Sometimes there might be quite orderly common action, such as the queuing up for a resource; for example different species of fishes may aggregate around a cleaning station where cleaner wrasse and cleaner shrimp are active, more or less taking turns for attention. Such aggregations, where there is no particular association of species or sizes, may be referred to loosely as unstructured aggregations. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Uncertainty
Uncertainty refers to epistemic situations involving imperfect or unknown information. It applies to predictions of future events, to physical measurements that are already made, or to the unknown. Uncertainty arises in partially observable or stochastic environments, as well as due to ignorance, indolence, or both. It arises in any number of fields, including insurance, philosophy, physics, statistics, economics, finance, medicine, psychology, sociology, engineering, metrology, meteorology, ecology and information science. Concepts Although the terms are used in various ways among the general public, many specialists in decision theory, statistics and other quantitative fields have defined uncertainty, risk, and their measurement as: Uncertainty The lack of certainty, a state of limited knowledge where it is impossible to exactly describe the existing state, a future outcome, or more than one possible outcome. ;Measurement of uncertainty: A set of possible states or outc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Xenobiotic Metabolism
Drug metabolism is the metabolic breakdown of drugs by living organisms, usually through specialized enzymatic systems. More generally, xenobiotic metabolism (from the Greek xenos "stranger" and biotic "related to living beings") is the set of metabolic pathways that modify the chemical structure of xenobiotics, which are compounds foreign to an organism's normal biochemistry, such as any drug or poison. These pathways are a form of biotransformation present in all major groups of organisms and are considered to be of ancient origin. These reactions often act to detoxify poisonous compounds (although in some cases the intermediates in xenobiotic metabolism can themselves cause toxic effects). The study of drug metabolism is called pharmacokinetics. The metabolism of pharmaceutical drugs is an important aspect of pharmacology and medicine. For example, the rate of metabolism determines the duration and intensity of a drug's pharmacologic action. Drug metabolism also affects mu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proposition
In logic and linguistics, a proposition is the meaning of a declarative sentence. In philosophy, " meaning" is understood to be a non-linguistic entity which is shared by all sentences with the same meaning. Equivalently, a proposition is the non-linguistic bearer of truth or falsity which makes any sentence that expresses it either true or false. While the term "proposition" may sometimes be used in everyday language to refer to a linguistic statement which can be either true or false, the technical philosophical term, which differs from the mathematical usage, refers exclusively to the non-linguistic meaning behind the statement. The term is often used very broadly and can also refer to various related concepts, both in the history of philosophy and in contemporary analytic philosophy. It can generally be used to refer to some or all of the following: The primary bearers of truth values (such as "true" and "false"); the objects of belief and other propositional attitudes (i.e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Toxicity
Toxicity is the degree to which a chemical substance or a particular mixture of substances can damage an organism. Toxicity can refer to the effect on a whole organism, such as an animal, bacterium, or plant, as well as the effect on a substructure of the organism, such as a cell ( cytotoxicity) or an organ such as the liver (hepatotoxicity). By extension, the word may be metaphorically used to describe toxic effects on larger and more complex groups, such as the family unit or society at large. Sometimes the word is more or less synonymous with poisoning in everyday usage. A central concept of toxicology is that the effects of a toxicant are dose-dependent; even water can lead to water intoxication when taken in too high a dose, whereas for even a very toxic substance such as snake venom there is a dose below which there is no detectable toxic effect. Toxicity is species-specific, making cross-species analysis problematic. Newer paradigms and metrics are evolving to bypas ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Applications
A computer is a machine that can be programmed to carry out sequences of arithmetic or logical operations (computation) automatically. Modern digital electronic computers can perform generic sets of operations known as programs. These programs enable computers to perform a wide range of tasks. A computer system is a nominally complete computer that includes the hardware, operating system (main software), and peripheral equipment needed and used for full operation. This term may also refer to a group of computers that are linked and function together, such as a computer network or computer cluster. A broad range of industrial and consumer products use computers as control systems. Simple special-purpose devices like microwave ovens and remote controls are included, as are factory devices like industrial robots and computer-aided design, as well as general-purpose devices like personal computers and mobile devices like smartphones. Computers power the Internet, which links bil ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
