Re: deontic logic, deadline coming up

Thank you JP
since you are familiar with these works - perhaps you could flesh out a few
points/answers from them and jot them down briefly in the docs to help
answer those questions?
Also dont forget to add to Zotero!
Thanks

On Sat, Mar 7, 2020 at 12:50 AM Joao Paulo Almeida <jpalmeida@ieee.org>
wrote:

> Hi Paola and all,
>
> Perhaps some of our work on legal ontologies will help you in exploring
> some of these questions:
>
> C. Griffo, J. P. A. Almeida, and G. Guizzardi, “A Pattern for the
> Representation of Legal Relations in a Legal Core Ontology,” in Legal
> Knowledge and Information Systems (JURIX 2016), 2016, p. 191–194.
> a_pattern_for_the_representation_of_legal_relations_in_a_legal_core_ontology_2016.pdf
> <http://nemo.inf.ufes.br/wp-content/papercite-data/pdf/a_pattern_for_the_representation_of_legal_relations_in_a_legal_core_ontology_2016.pdf>
>
> C. Griffo, J. P. A. Almeida, and G. Guizzardi, “Conceptual Modeling of
> Legal Relations,” in Conceptual Modeling – 37th International Conference,
> ER 2018, 2018, p. 169–183. conceptual_modeling_of_legal_relations_2018.pdf
> <http://nemo.inf.ufes.br/wp-content/papercite-data/pdf/conceptual_modeling_of_legal_relations_2018.pdf>
>
> C. Griffo, J. P. A. Almeida, G. Guizzardi, and J. C. Nardi, “Service
> contract modeling in enterprise architecture: an ontology-based approach,”
> Information systems, 2019.
> service_contract_modeling_in_enterprise_architecture__an_ontology_based_approach_2019.pdf
> <http://nemo.inf.ufes.br/wp-content/papercite-data/pdf/service_contract_modeling_in_enterprise_architecture__an_ontology_based_approach_2019.pdf>
>
> best regards,
> João Paulo
>
>
>
>
>
> On Fri, Mar 6, 2020 at 1:27 PM ProjectParadigm-ICT-Program <
> metadataportals@yahoo.com> wrote:
>
>> 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 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
>>
>>
>>
>>
>>