Re: deontic logic, deadline coming up

Owen
since you are familiar with stratML better than any of us, perhaps
after reading the intro on Standford website (to help you figure the jist
of deonticL at a glance) you could perhaps write two or three paragraphs to
explain
how stratML can be used to implement deontic logic, as well as its
limitations
(how stratML does not support the constructs) - ideally with a few examples
of each
instance

We could then use it as an an example of how a structured natural language
schema
can be used to support deontL and add it to the paper

The bottom line being to show how natural language KR can be used to
enforce/monitor the compliance of norms

Let us know what you think
PDM




On Sat, Mar 7, 2020 at 3:05 AM Owen Ambur <Owen.Ambur@verizon.net> wrote:

> 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
>
>
>
>
>