a program code unrelated to the hardware of a particular computer and requiring conversion to the code used by the computer before the program can be used.
- 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 […]
noun, Sociology. 1. a theory that human interaction and communication is facilitated by words, gestures, and other symbols that have acquired conventionalized meanings.
noun 1. a specialized language dependent upon the use of symbols for communication and created for the purpose of achieving greater exactitude, as in symbolic logic or mathematics.
- Symbolic link
file format (SYLK) A Microsoft file format for spreadsheets, (not to be confused with symbolic link). SYLK format existed in one form or another in as early as 1987, and was part of Excel v1.0. It is is an outgrowth of VisiCalc DIF file format. SYLK format is ascii text and represents information about both […]