Re: Deltas, Diffs and Event Modeling

Semantic Web Interest Group,
AI Knowledge Representation Community Group,

Thank you all for the hyperlinks to the interesting projects, publications and discussions.

There are interesting relationships to consider between knowledgebase deltas and diffs and the effects of modeled actions [1][2][3][4][5][6]. Models of actions often include that actions have preconditions and effects; action effects can include both assertions and retractions of predicate calculus expressions. There are interesting relationships to consider between knowledgebase deltas and diffs and the modeling of actions and events.

[1] https://en.wikipedia.org/wiki/Automated_planning_and_scheduling
[2] https://en.wikipedia.org/wiki/Action_language
[3] https://en.wikipedia.org/wiki/Planning_Domain_Definition_Language
[4] https://github.com/LAPKT-dev/LAPKT-public/blob/master/interfaces/agnostic/action.hxx
[5] https://en.wikipedia.org/wiki/Situation_calculus
[6] https://en.wikipedia.org/wiki/Fluent_calculus