deontic logic, deadline coming up

It looks to me that AI/KR and StratML are a natural implementation vehicle
for deontic logic, in many ways

Some literature exists  exploring the association of DeonL and computer
science, the topic is
complex I can understand why the cognitive load required may exceed the
capacity of this group at the moment but never know

I am now  exploring further the convergence between AI/KL ande Deonl,

Let me start by introducing some references
https://plato.stanford.edu/entries/logic-deontic/challenges.html
https://plato.stanford.edu/entries/logic-deontic/

 Based on the intro above, it looks to me that  stratML as understand it so
far, has a potential to implement deontic logic neatly. at least in part,
and if we decide to follow up this avenue, stratML may have to evolve
accordingly (to support deontL constructs not yet supported for example)
but that would enhance it greatly, in the long term


I am attempting to draft an abstract with a view to have a paper completed
in one week
https://docs.google.com/document/d/1UovxH61OEHr33QdVR53Kcs0mJPQc3V4cE95i-QyqrQ8/edit


anyone interested to coauthor let me know, if not just wish me good luck

cheers

PDM