Artificial intelligence 如何为所有用户获取中断PDDL的功能

我正在尝试使用PDDL解决这个难题。为了实现在单元格中放置灯泡的效果，我必须在（x，y）中放置灯泡，然后点亮相同的行和列，只要没有黑色单元格。我无法在黑牢房前点亮牢房

例如，对于5*5网格，如果我想在（0,1）处放置一个灯泡，而在（3,1）处有一个黑色单元格，如果我只考虑柱，我只想点亮单元格（0,1）、（1,1）、（2,1）。但我不想在黑色单元格之后点亮单元格（4,1）

---

因此，如果我使用类似forall的东西，当它在行/列中找到一个黑色单元格时，如何打破forall循环？

我认为值得一看PDDL中的公理和派生谓词。这使得构建传递闭包和从其他变量派生信息成为可能

事实上，您可以从栅格结构（哪些单元格为黑色）和灯泡的信息中导出哪些单元格具有灯光。因此，您可以为每个单元格定义一个派生谓词lit（（x，y）），并编写一个带有公理的背景理论：

• 发光（（x，y））