## Tags - Part of :[[Mathematics]] - Related: - Includes: - Additional: ## Definitions - A branch of [[Artificial Intelligence]] based on high-level [[Symbolic system|symbolic]] (human-readable) representations of problems, [[Logic]] and [[Search alrogithm|search]]. ## Main resources - Symbolic artificial intelligence - <iframe src="https://en.wikipedia.org/wiki/Symbolic_artificial_intelligence" allow="fullscreen" allowfullscreen="" style="height:100%;width:100%; aspect-ratio: 16 / 5; "></iframe> ## Landscapes - [[Knowledge based system]] ([[Expert system]]), [[Computing]] [[algebra]], [[Theorem prover]], [[Semantic web]] - [[Hybrid AI]] ## Contents - [[Planning]], [[Scheduling]] - [[Logic programming]], [[Production rules]], [[Semantic nets]], [[Frames]], [[Ontology]]