Computation using explicitly structured representations whose elements have identifiable roles, with rules or procedures acting on those structures. Logical planning is an example. This sense concerns symbolic cognitive architectures rather than only computer algebra; it can be implemented by different physical substrates.
New to topics? Read the docs here!