27 Mar symbolic logic
The substitution of symbols for concepts (represented by terms, logical propositions, and associations in order to assist in human or machine reasoning. When logical expressions with pre-established meanings that overcome ambiguities inherent in natural languages are used in computing, it is called symbolic logic, though it is arguably reasonable to understand every process in a computer as a higher or lower form of symbolic reasoning.
Keywords: semantic network
representation
knowledge representation
conceptual graph
data processing
computing
inference
References: cognition
comprehension
computing
context
fuzzy logic
knowledge
logic
perception