Re: deontic logic, deadline coming up

Paola, your words are music to my ears.  While I'm not sure I'll have 
enough to contribute to be considered a coauthor, I will be happy to add 
any value of which I am capable.  For example, it seems to me that 
Consequentalism is also highly relevant. 
https://plato.stanford.edu/entries/consequentialism/ Of what value are 
rules if the consequences of following them are uncertain, unknown, or 
worse?

It seems to me that we have far too many laws, regulations, policies, 
directives, and guidance documents in narrative format, which hardly 
anyone has the time to read much less comprehend or act upon ... and far 
too performance plans -- with clearly specified stakeholder roles and 
performance metrics -- in open, standard, machine-readable format, like 
StratML.

BTW, I am reading Jason Brennan's book, /Against Democracy/. I've just 
started but in the preface he asserts: "... politics ... pulls us apart, 
stultifies and corrupts us, and makes us civil enemies."  While I may 
not agree with his proposed solution, his description of the problem 
resonates strongly with me.  It supports the personal biases I voiced in 
my posting at 
https://www.linkedin.com/pulse/transforming-governance-reducing-cost-gofpau-owen-ambur/ 


Owen

On 3/6/2020 4:04 AM, Paola Di Maio 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 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
>
>
>
>