str*_*eek 2 logic nlp artificial-intelligence first-order-logic
我试图使用一阶逻辑(谓词逻辑)将以下句子转换为格式良好的公式.
所有塔都是相同的颜色.
我已经定义了以下谓词:
塔(x):: x是塔.
颜色(x,y):: x是颜色y
我无法使用上述谓词将上述句子转换为格式良好的公式.是否可以使用上述谓词进行转换,或者需要一些新的谓词.请指教.
编辑:忘了添加细节.世界上只有三种颜色可供选择(红色,绿色,蓝色).可以使用这个细节.这对解决方案有什么影响吗？
| 归档时间： |
|
| 查看次数： |
2905 次 |
| 最近记录： |