Re: deontic logic, deadline coming up

deadline extended
   Abstract Submission Deadline:  March 8th March 15th, 2020
•    Paper Submission Deadline:  March 15th March 22nd, 2020

On Sat, Mar 7, 2020 at 7:38 AM Paola Di Maio <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> 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
>>
>>
>>
>>
>>