定量超過行動

Question

尋找那個教我如何量化過的情景演算的動作（或許fluents？）的例子（2001瑞特）。

我理解的行動，fluents和情況之間的差異，但爲什麼他們需要二階邏輯來表示？爲什麼不使用第一順序？你能解釋一下嗎？

Answer 1

所有，但用於編碼一個動態的世界幾個公式需要二階邏輯（SOL）。特別是，

• 初始狀態
• 操作的前提條件
• 行動效果的性質]
• 繼承國公理（用來規避「幀問題」）

都可以用一階邏輯（FOL）表示。
對於一些域，它可能是方便 - 並且更簡潔 - 對上述項目使用SOL，但AFAIK始終可以將這種SOL轉換爲FOL 上面列出的項目的上下文，對於有限域，因此SOL不是必需的（同樣，對於上述項目）。

通常情況下對SOL的需求僅來自一些「基礎公理」，如在情境上執行歸納的公理。

此外，取決於特定的應用，一個可能不需要基於SOL-奠基公理（一個或多個），並且因此整個世界可以FOL方面獨佔說明。
我不是在該領域的專家，但我認爲，在許多情況下，[邏輯]篩選，規劃的目的，時間投影，我們可以無需感應做掉，因此只有依靠FOL只。