如何解决是否存在允许您做出类似于人的高阶语句的正式系统?
对于人类来说,做出高阶陈述是很自然的。例如,您可以声明以下内容(使用伪Prolog
语法):
苏格拉底很聪明:
smart(socrates).
约翰是个男人:
man(john).
苏格拉底相信所有人都是凡人:
believes(socrates,(mortal(X) :- man(X))).
如果某人很聪明并且相信某事,那一定是真的:
Y :- smart(X),believes(X,Y).
我签出了Prolog
的几个“高阶”扩展名,但是没有一个可以接受像最后两个示例那样的语句。
是否存在允许您做出类似人类的高阶语句的正式系统?
解决方法
这称为modal logic,并用Kripke semantics进行理论化。这是some libraries in python。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。