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 contributionposted on 10.12.2020, 01:22 by H Bhuiyan, F Olivieri, Guido GovernatoriGuido 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.