Original Summary

Intelligent library assistant powered by First-Order Logic Knowledge Base (10,538 books), Forward/Backward Chaining rule inference, and Random-Restart Hill Climbing optimization.

  • 情报分类：综合情报
  • 分类依据：内容未命中明确的垂直分类规则，归入综合情报
  • 信息来源：GitHub · AI 新项目
  • 发布时间：2026/10/14 01:51:19