Re: deontic logic, deadline coming up

Paola, in light of the deadlines, I'm not sure we'll have time to 
produce an output of high enough quality.  I also wonder whether the 
program committee is open to considering the points I believe are pertinent.

However, I took a shot at including some verbiage in your draft at 
https://docs.google.com/document/d/1UovxH61OEHr33QdVR53Kcs0mJPQc3V4cE95i-QyqrQ8/edit

Owen

On 3/7/2020 2:17 AM, Paola Di Maio wrote:
> deadline extended
>    Abstract Submission Deadline: March 8^th March 15^th , 2020
> •    Paper Submission Deadline: March 15^th March 22^nd , 2020
>
> On Sat, Mar 7, 2020 at 7:38 AM Paola Di Maio <paola.dimaio@gmail.com 
> <mailto:paola.dimaio@gmail.com>> wrote:
>
>     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
>     <mailto: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
>>
>>
>>
>>