La Trobe

File(s) stored somewhere else

Please note: Linked content is NOT stored on La Trobe and we can't guarantee its availability, quality, security or accept any liability.

A methodology for encoding regulatory rules

conference contribution
posted on 10.12.2020, 01:22 by H Bhuiyan, F Olivieri, Guido Governatori, MB Islam, A Bond, A Rakotonirainy
© 2020 CEUR-WS. All rights reserved. This paper introduces a methodology for the encoding of rules into a semantic logical format to facilitate the automated reasoning process. We demonstrate how to identify, capture, combine, and thus formulate all the components from rules into a computationally-oriented formalism. The need for the methodology is motivated by the desire for automated reasoning of automated vehicle information regarding traffic rules. We use Defeasible Deontic Logic as a formal foundation of our methodology. The overtaking traffic rule is our use-case to illustrate the usefulness of our methodology. Through this use-case, it is seen that the logical semantic representation of the traffic rules seems conceivable to support automated reasoning. This paper includes the source materials, the use cases, proposed methodology, and the example of encoding.

History

Publication Date

01/01/2020

Proceedings

Proceedings of the 4th International Workshop on MIning and REasoning with Legal texts

Editors

Casini G Di Caro L Governatori G Leone V Markovich R

Publisher

CEUR-WS.org

Place of publication

Spain

Volume

2632

Pagination

13p.

ISSN

1613-0073

Name of conference

Workshop on `MIning and REasoning with Legal texts (MIREL) (2019)

Location

Madrid, Spain

Starting Date

11/12/2019

Finshing Date

11/12/2019

Rights Statement

The Author reserves all moral rights over the deposited text and must be credited if any re-use occurs. Documents deposited in OPAL are the Open Access versions of outputs published elsewhere. Changes resulting from the publishing process may therefore not be reflected in this document. The final published version may be obtained via the publisher’s DOI. Please note that additional copyright and access restrictions may apply to the published version.

Licence

Exports

Logo branding

Categories

Licence

Exports