A program that infers new facts from known facts using inference rules. Commonly found as part of a Prolog interpreter, expert system or knowledge based system.
- Inference rule
logic A procedure which combines known facts to produce (“infer”) new facts. For example, given that 1. Socrates is a man and that 2. all men are motal, we can infer that Socrates is mortal. This uses the rule known as “modus ponens” which can be written in Boolean algebra as (A & A => […]
[in-fer-uh ns, -fruh ns] /ˈɪn fər əns, -frəns/ noun 1. the act or process of inferring. 2. something that is inferred: to make rash inferences. 3. Logic. /ˈɪnfərəns; -frəns/ noun 1. the act or process of inferring 2. an inferred conclusion, deduction, etc 3. any process of reasoning from premises to a conclusion 4. (logic) […]
/ˈɪnfərənsɪŋ/ noun 1. (psycholinguistics) the practice of inferring the meaning of an unfamiliar word or expression from the meaning of familiar words occurring with it in a context together with one’s knowledge of or beliefs about the world
[in-fuh-ren-shuh l] /ˌɪn fəˈrɛn ʃəl/ adjective 1. of, pertaining to, by, or dependent upon . /ˌɪnfəˈrɛnʃəl/ adjective 1. of, relating to, or derived from inference adj. 1650s, from Medieval Latin inferentia (see inference) + adj. suffix -al (1).