- rule of inference
-
правило (логического) вывода
Англо-русский словарь технических терминов. 2005.
rule of inference
Смотреть что такое "rule of inference" в других словарях:
Rule of inference — In logic, a rule of inference (also called a transformation rule) is a function from sets of formulae to formulae. The argument is called the premise set (or simply premises ) and the value the conclusion . They can also be viewed as relations… … Wikipedia
rule of inference — Lewis Carroll raised the Zeno like problem of how a proof ever gets started. Suppose I have as premises (1) p and (2) p →q . Can I infer q ? Only, it seems, if I am sure of (3) (p & p →q ) →q . Can I then infer q ? Only, it seems, if I am sure… … Philosophy dictionary
Inference — is the act or process of deriving a conclusion based solely on what one already knows. Inference is studied within several different fields. * Human inference (i.e. how humans draw conclusions) is traditionally studied within the field of… … Wikipedia
Rule — A rule is:* Rewrite rule, in generative grammar and computer science * Standardization, a formal and widely accepted statement, fact, definition, or qualification * Operation, a determinate rule ( method ) for performing a mathematical operation… … Wikipedia
inference — The process of moving from (possibly provisional) acceptance of some propositions, to acceptance of others. The goal of logic and of classical epistemology is to codify kinds of inference, and to provide principles for separating good from bad… … Philosophy dictionary
inference — in·fer·ence / in fə rəns/ n 1: the act or process of inferring; specif: the act of passing from one proposition, statement, or judgment considered as true to another whose truth is believed to follow logically from that of the former 2: something … Law dictionary
rules of inference — rule of inference … Philosophy dictionary
Inference engine — In computer science, and specifically the branches of knowledge engineering and artificial intelligence, an inference engine is a computer program that tries to derive answers from a knowledge base. It is the brain that expert systems use to… … Wikipedia
Rule Interchange Format — Le Rule Interchange Format (RIF ) est une recommandation du W3C. RIF fait partie de la feuille de route du web sémantique, avec principalement SPARQL, RDF et OWL. Bien que prévu initialement par beaucoup comme une couche de règles logiques pour… … Wikipédia en Français
inference on inference, rule of — Means that one presumption or inference may not be based upon another. McManimen v. Public Service Co. of Northern Illinois, 317 Ill.App. 649, 47 N.E.2d 385 … Black's law dictionary
inference on inference, rule of — Means that one presumption or inference may not be based upon another. McManimen v. Public Service Co. of Northern Illinois, 317 Ill.App. 649, 47 N.E.2d 385 … Black's law dictionary
