Symbolic AI on English AI Terms Dictionary

Knowledge-based systems

Sat, 18 Jul 2026 10:04:10 +0000

Definition

Knowledge-based systems (KBS) are a branch of artificial intelligence that incorporates specific domain knowledge into a computer system to perform tasks that typically require human expertise. They consist of two main components: a knowledge base containing facts and rules, and an inference engine that applies logical reasoning to derive new information or solutions. Unlike traditional software, KBS can explain their reasoning process, making them valuable in fields like medicine, engineering, and finance where transparency and expert-level decision-making are critical.

Explanation-based learning

Sat, 18 Jul 2026 09:57:38 +0000

Definition

EBL combines symbolic reasoning with machine learning to accelerate the learning process. Instead of relying on large datasets, it takes a single positive example and uses a pre-existing domain theory to explain why the example belongs to the target concept. This explanation is then operationalized into a general rule that can be applied to future instances. It is particularly useful when data is scarce but domain knowledge is abundant, allowing for rapid acquisition of skills.

Automated Mathematician

Sat, 18 Jul 2026 09:47:03 +0000

Definition

An Automated Mathematician utilizes machine learning and symbolic reasoning to explore mathematical spaces beyond human intuition. These systems can generate hypotheses, verify proofs, and find patterns in complex structures. They assist researchers by handling tedious calculations or suggesting novel directions in number theory, geometry, or algebra. This field represents the intersection of formal verification, logic programming, and neural networks, aiming to augment human mathematical creativity.

Summary

An AI system designed to discover new mathematical theorems, conjectures, or proofs through computational search and reasoning.