Copyright © Philip M. Parker, INSEAD. Terms of Use.
| Domain | Definition |
Computing | Symbolic inference The derivation of new facts from known facts and inference rules. This is one of the fundamental operations of artificial intelligence and logic programming languages like Prolog. Inference is a basic part of human reasoning. For example given that all men are mortal and that Socrates is a man, it is a trivial step to infer that Socrates is mortal. We might express these symbolically: man(X) => mortal(X). man(socrates). ("if X is a man then X is mortal" and "Socrates is a man"). Here, "man", "mortal" and "socrates" are just arbitrary symbols which the computer manipulates without reference to or knowledge of their external meaning. A forward chaining system (a production system) could use these to infer the new fact mortal(socrates). simply by matching the left-hand-side of the implication against the fact and substituting socrates for the variable X. (1994-10-28). Source: The Free On-line Dictionary of Computing. |
Source: compiled by the editor from various references; see credits. | |
Misspellings | |
"SYMBOLIC INFERENCE" is suggested in spellcheckers for the following: symbolic infrenece. (additional references) | |
| Source: compiled by the editor, based on several corpora (additional references). | |
Scrabble® Enable2K-Verified Anagrams | |
| Words within the letters "b-c-c-e-e-e-f-i-i-l-m-n-n-o-r-s-y" | |
-4 letters: inflorescence. | |
-5 letters: inclemencies, reminiscence. | |
| Source: compiled by the editor from various references; see credits. SCRABBLE® is a registered trademark. All intellectual property rights in and to the game are owned in the U.S.A and Canada by Hasbro Inc., and throughout the rest of the world by J.W. Spear & Sons Limited of Maidenhead, Berkshire, England, a subsidiary of Mattel Inc. Mattel and Spear are not affiliated with Hasbro. | |
Hexadecimal (or equivalents, 770AD-1900s) (references)53 59 4D 42 4F 4C 49 43 49 4E 46 45 52 45 4E 43 45 |
| Leonardo da Vinci (1452-1519; backwards) (references)
|
Binary Code (1918-1938, probably earlier) (references)01010011 01011001 01001101 01000010 01001111 01001100 01001001 01000011 00100000 01001001 01001110 01000110 01000101 01010010 01000101 01001110 01000011 01000101 |
HTML Code (1990) (references)S Y M B O L I C   I N F E R E N C E |
ISO 10646 (1991-1993) (references)0053 0059 004D 0042 004F 004C 0049 0043 0049 004E 0046 0045 0052 0045 004E 0043 0045 |
Encryption (beginner's substitution cypher): (references)53594736494643372434840395239483739 |
| 1. Derivations 2. Anagrams 3. Orthography 4. Bibliography |
Copyright © Philip M. Parker, INSEAD. Terms of Use.
