I detta dokument föreslår vi att kombinera Input/Output-logik, en välkänd formalism för normativt resonemang, med Jerry R. Hobbs reifikationsbaserade tillvägagångssätt. Det senare är en vidtäckande logik för naturspråksemantik som kan hantera en ganska stor uppsättning språkliga fenomen till en enkel logisk formalism. Resultatet är ett nytt ramverk som vi kommer att kalla "reified Input/Output logik". Denna uppsats är det första steget i en långsiktig forskning som syftar till att fylla gapet mellan input/output logik och rikedomen i naturligt språk semantik. Vi planerar i vårt framtida arbete att använda reified Input/Output logik som den underliggande formalismen för ansökningar i juridiska informatik för att behandla och resonera om befintliga juridiska texter, som endast finns på naturligt språk.
Den underliggande logiska ram vi kommer att använda i vår metodik är reified Input / Output logik REF, en ny metod utformad som ett försök att investera i den logiska arkitekturen av bestämmelserna i naturligt språk.
Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation
{'venue': 'J. Log. Comput.', 'journal': 'J. Log. Comput.', 'mag_field_of_study': ['Computer Science', 'Mathematics']}