Symbolic AI

基于知识的系统

Definition

基于知识的系统（KBS）是人工智能的一个分支，它将特定领域的知识整合到计算机系统中，以执行通常需要人类专业知识的任务。它们通过将领域专家的知识编码为规则和事实，结合推理机制，模拟 …

基于解释的学习

Definition

EBL将符号推理与机器学习相结合，以加速学习过程。它不依赖大型数据集，而是采用一个正例并利用预先存在的领域理论。

Summary

基于解释的学习是一种机器学习方法，它利用领域理论 …

自动化数学家

Definition

自动化数学家利用机器学习和符号推理来探索超越人类直觉的数学空间。这些系统可以生成假设、验证证明并发现模式。

Summary

一种旨在通过计算搜索和推理发现新数学定理、猜想或证明的 …