An early system on the IBM 705.
[Listed in CACM 2(5):16, May 1959].
- Symbolic automatic integrator
mathematics, tool (SAINT) A symbolic mathematics program written in Lisp by J. Slagle at MIT in 1961. [Sammet 1969, p. 410]. (1994-12-08)
noun, Computers. 1. pseudo-code. noun, Computers. 1. 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.