Implementing the GG-PR API
Implementing the GG-PR API
- Assertions defined by GG belief revision operations, adapted for plan libraries PL
PL+O an “expansion” of plan library PL with obervation O
PL-O a “contraction” of observation O from plan library PL
PL*O a “revision” of plan library PL with new observation O
PL*O = (PL-~O )+O macro for revision (Levi,1977)
PL-O = (PL*~O ) Ç PL macro for contraction (Harper,1975)