The term for the collection of all methods in artificial intelligence research that are based on high-level ‘symbolic’ (human-readable) representations of problems, logic, and search.
