GG-Belief Revision ..an API for PR
GG-Belief Revision ..an API for PR
- based on representations of Lifschitz (1987), Kowalski (1989)
- assertions:
plan(Name, Action)holds(Assertion, State)observed(Action, State)
- queries
goal(Plan, State)predict(Action,State)