开源演绎推理工具——therefore
三段论（Syllogism）
在逻辑上，一个论点应该用演绎推理来得出两个（主要的，次要的）命题的结论。
在古法语中，三段论写作 silogisme，希腊语为 συλλογισμός，拉丁语为 syllogismos。
例如：
所有人都是凡人
苏格拉底是一个男人
∴ 苏格拉底是凡人
关于该工具的更多信息，请访问以下链接：
https://en.wikipedia.org/Categorical_proposition
https://en.wikipedia.org/Syllogism
https://github.com/silogizma/therefore
实例可在 http://silogizma.org 上找到
TensorFlow 概率推理工具集 —— probability
- 发表于:
- 原文链接：https://kuaibao.qq.com/s/20180612A07L4F00?refer=cp_1026
- 腾讯「腾讯云开发者社区」是腾讯内容开放平台帐号（企鹅号）传播渠道之一，根据《腾讯内容开放平台服务协议》转载发布内容。
- 如有侵权，请联系 cloudcommunity@tencent.com 删除。
相关快讯
扫码
添加站长 进交流群
领取专属 10元无门槛券
私享最新 技术干货
腾讯云开发者
