Symbolic AI on 中文AI术语词典https://terms-en.ai-term-hub.com/zh/tags/symbolic-ai/Recent content in Symbolic AI on 中文AI术语词典Hugozh-cnSat, 18 Jul 2026 11:44:45 +0000基于知识的系统https://terms-en.ai-term-hub.com/zh/terms/knowledge_based_systems/Sat, 18 Jul 2026 11:23:29 +0000https://terms-en.ai-term-hub.com/zh/terms/knowledge_based_systems/<h2 id="definition">Definition</h2> <p>基于知识的系统（KBS）是人工智能的一个分支，它将特定领域的知识整合到计算机系统中，以执行通常需要人类专业知识的任务。它们通过将领域专家的知识编码为规则和事实，结合推理机制，模拟人类的决策过程。</p> <h3 id="summary">Summary</h3> <p>利用显式知识库和推理引擎来解决需要人类专业知识才能解决的复杂问题的AI系统。</p> <h2 id="key-concepts">Key Concepts</h2> <ul> <li>知识库</li> <li>推理引擎</li> <li>专家系统</li> <li>基于规则的推理</li> </ul> <h2 id="use-cases">Use Cases</h2> <ul> <li>医疗诊断支持</li> <li>工业故障排除</li> <li>金融风险评估</li> </ul> <h2 id="related-terms">Related Terms</h2> <ul> <li><a href="https://terms-en.ai-term-hub.com/en/terms/expert_systems-%E4%B8%93%E5%AE%B6%E7%B3%BB%E7%BB%9F/">expert_systems (专家系统)</a></li> <li><a href="https://terms-en.ai-term-hub.com/en/terms/symbolic_ai-%E7%AC%A6%E5%8F%B7%E4%BA%BA%E5%B7%A5%E6%99%BA%E8%83%BD/">symbolic_ai (符号人工智能)</a></li> <li><a href="https://terms-en.ai-term-hub.com/en/terms/ontology-%E6%9C%AC%E4%BD%93%E8%AE%BA/">ontology (本体论)</a></li> <li><a href="https://terms-en.ai-term-hub.com/en/terms/reasoning_engine-%E6%8E%A8%E7%90%86%E5%BC%95%E6%93%8E/">reasoning_engine (推理引擎)</a></li> </ul>基于解释的学习https://terms-en.ai-term-hub.com/zh/terms/explanation_based_learning/Sat, 18 Jul 2026 11:16:49 +0000https://terms-en.ai-term-hub.com/zh/terms/explanation_based_learning/<h2 id="definition">Definition</h2> <p>EBL将符号推理与机器学习相结合，以加速学习过程。它不依赖大型数据集，而是采用一个正例并利用预先存在的领域理论。</p> <h3 id="summary">Summary</h3> <p>基于解释的学习是一种机器学习方法，它利用领域理论和单个训练样本来生成解释，然后将其概括为新规则。</p> <h2 id="key-concepts">Key Concepts</h2> <ul> <li>领域理论</li> <li>操作化</li> <li>单样本学习</li> <li>符号推理</li> </ul> <h2 id="use-cases">Use Cases</h2> <ul> <li>有限样本下的机器人技能获取</li> <li>自动定理证明</li> <li>专业领域的诊断系统</li> </ul> <h2 id="related-terms">Related Terms</h2> <ul> <li><a href="https://terms-en.ai-term-hub.com/en/terms/%E5%BD%92%E7%BA%B3%E9%80%BB%E8%BE%91%E7%BC%96%E7%A8%8B/">归纳逻辑编程</a></li> <li><a href="https://terms-en.ai-term-hub.com/en/terms/%E5%9F%BA%E4%BA%8E%E7%9F%A5%E8%AF%86%E7%9A%84%E7%B3%BB%E7%BB%9F/">基于知识的系统</a></li> <li><a href="https://terms-en.ai-term-hub.com/en/terms/%E4%B8%80%E6%AC%A1%E6%80%A7%E5%AD%A6%E4%B9%A0/">一次性学习</a></li> <li><a href="https://terms-en.ai-term-hub.com/en/terms/%E7%AC%A6%E5%8F%B7%E4%BA%BA%E5%B7%A5%E6%99%BA%E8%83%BD/">符号人工智能</a></li> </ul>自动化数学家https://terms-en.ai-term-hub.com/zh/terms/automated_mathematician/Sat, 18 Jul 2026 11:07:26 +0000https://terms-en.ai-term-hub.com/zh/terms/automated_mathematician/<h2 id="definition">Definition</h2> <p>自动化数学家利用机器学习和符号推理来探索超越人类直觉的数学空间。这些系统可以生成假设、验证证明并发现模式。</p> <h3 id="summary">Summary</h3> <p>一种旨在通过计算搜索和推理发现新数学定理、猜想或证明的人工智能系统。</p> <h2 id="key-concepts">Key Concepts</h2> <ul> <li>定理证明</li> <li>符号推理</li> <li>假设生成</li> <li>形式化验证</li> </ul> <h2 id="use-cases">Use Cases</h2> <ul> <li>发现新的图论性质</li> <li>在形式化方法中自动验证证明</li> <li>寻找猜想的反例</li> </ul> <h2 id="related-terms">Related Terms</h2> <ul> <li><a href="https://terms-en.ai-term-hub.com/en/terms/%E8%87%AA%E5%8A%A8%E5%AE%9A%E7%90%86%E8%AF%81%E6%98%8E-automated-theorem-proving/">自动定理证明 (Automated Theorem Proving)</a></li> <li><a href="https://terms-en.ai-term-hub.com/en/terms/%E7%AC%A6%E5%8F%B7ai-symbolic-ai/">符号AI (Symbolic AI)</a></li> <li><a href="https://terms-en.ai-term-hub.com/en/terms/%E8%AE%A1%E7%AE%97%E9%80%BB%E8%BE%91-computational-logic/">计算逻辑 (Computational Logic)</a></li> <li><a href="https://terms-en.ai-term-hub.com/en/terms/%E6%95%B0%E5%AD%A6%E5%8F%91%E7%8E%B0-mathematical-discovery/">数学发现 (Mathematical Discovery)</a></li> </ul>