Re: deontic logic, deadline coming up

I agree with you on most points. The caveat is the challenges with deontic logic. Too swamped with work to be able to pitch in/collaborate. Hopefully someone else can help co-author a paper.

Milton Ponson
GSM: +297 747 8280
PO Box 1154, Oranjestad
Aruba, Dutch Caribbean
Project Paradigm: Bringing the ICT tools for sustainable development to all stakeholders worldwide through collaborative research on applied mathematics, advanced modeling, software and standards development 

    On Friday, March 6, 2020, 5:06:10 AM AST, Paola Di Maio <paola.dimaio@gmail.com> wrote:  
 
 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 iscomplex 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 weekhttps://docs.google.com/document/d/1UovxH61OEHr33QdVR53Kcs0mJPQc3V4cE95i-QyqrQ8/edit 
anyone interested to coauthor let me know, if not just wish me good luck
cheers
PDM