- bottom-up reasoning
- рассуждения от фактов к цели (в СИИ) индуктивный вывод
Большой англо-русский и русско-английский словарь. 2001.
bottom-up reasoning
Смотреть что такое "bottom-up reasoning" в других словарях:
bottom — n., adj., & v. n. 1 a the lowest point or part (bottom of the stairs). b the part on which a thing rests (bottom of a saucepan). c the underneath part (scraped the bottom of the car). d the furthest or inmost part (bottom of the garden). 2 colloq … Useful english dictionary
MythBusters (2010 season) — Country of origin Australia United States No. of episodes 25 (includes 4 specials) Broadcast Original channel … Wikipedia
индуктивный вывод — вывод от фактов к цели — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы вывод от фактов к цели EN bottom up reasoning … Справочник технического переводчика
artificial intelligence — the capacity of a computer to perform operations analogous to learning and decision making in humans, as by an expert system, a program for CAD or CAM, or a program for the perception and recognition of shapes in computer vision systems. Abbr.:… … Universalium
History of artificial intelligence — The history of artificial intelligence begins in antiquity with myths, stories and rumors of artificial beings endowed with intelligence and consciousness by master craftsmen. In the middle of the 20th century, a handful of scientists began to… … Wikipedia
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
philosophy, Western — Introduction history of Western philosophy from its development among the ancient Greeks to the present. This article has three basic purposes: (1) to provide an overview of the history of philosophy in the West, (2) to relate… … Universalium
Description logic — (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first order predicate logic. DL is used in artificial intelligence for formal reasoning on … Wikipedia
Mereology — In philosophy and mathematical logic, mereology (from the Greek μέρος, root: μερε(σ) , part and the suffix logy study, discussion, science ) treats parts and the wholes they form. Whereas set theory is founded on the membership relation between a … Wikipedia
human behaviour — Introduction the potential and expressed capacity for physical, mental, and social activity during the phases of human life. Human beings, like other animal species, have a typical life course that consists of successive phases of… … Universalium
Ron Sun — is a cognitive scientist and currently Professor of Cognitive Science at Rensselaer Polytechnic Institute, and formerly the James C. Dowell Professor of Engineering and Professor of Computer Science at University of Missouri. He received his Ph.D … Wikipedia
