DLs

Update:

---

DLs: FOL 的一个子集，可以进行确定性推理。任何命题都可以得到证实或证伪，这和FOL不一样。

---

OWLReady2是DLs的Python实现。 计划：

• 用OWLReady2记录学术知识、生活常识，咨询情报
• 写一个人机对话程序，关键是设计解析程序

---

• Previous
  hehe
• Next
  Voice of Life

---