no code implementations • 24 May 2021 • Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, Ronald P. A. Petrick
Verification of AI is a challenge that has engineering, algorithmic and programming language components.
no code implementations • 10 Aug 2020 • Alasdair Hill, Ekaterina Komendantskaya, Ronald P. A. Petrick
In this paper, we present a novel resource logic, the Proof Carrying Plans (PCP) logic that can be used to verify plans produced by AI planners.