Document (#44403)

Author

Libal, T.

Title

Legal linguistic templates and the tension between legal knowledge representation and reasoning

Source

Frontiers in artificial intelligence 6(2023)1136263, 16 S. [DOI: 10.3389/frai.2023.1136263]

Year

2023

Abstract

There is an inherent tension between knowledge representation and reasoning. For an optimal representation and validation, an expressive language should be used. For an optimal automated reasoning, a simple one is preferred. Which language should we choose for our legal knowledge representation if our goal is to apply automated legal reasoning? In this paper, we investigate the properties and requirements of each of these two applications. We suggest that by using Legal Linguistic Templates, one can solve the above tension in some practical situations.

Content

Vgl.: https://www.researchgate.net/publication/370764721_Legal_linguistic_templates_and_the_tension_between_legal_knowledge_representation_and_reasoning.

Theme

Computerlinguistik

Field

Rechtswissenschaft

Similar documents (content)

1. Hodgson, J.P.E.: Knowledge representation and language in AI (1991) 0.13

   0.13491331 = sum of:
     0.13491331 = product of:
       0.5621388 = sum of:
         0.041981794 = weight(abstract_txt:solve in 2529) [ClassicSimilarity], result of:
           0.041981794 = score(doc=2529,freq=1.0), product of:
             0.1031164 = queryWeight, product of:
               1.2256984 = boost
               6.514082 = idf(docFreq=178, maxDocs=44421)
               0.012914896 = queryNorm
             0.40713012 = fieldWeight in 2529, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.514082 = idf(docFreq=178, maxDocs=44421)
               0.0625 = fieldNorm(doc=2529)
         0.017753901 = weight(abstract_txt:between in 2529) [ClassicSimilarity], result of:
           0.017753901 = score(doc=2529,freq=2.0), product of:
             0.05809645 = queryWeight, product of:
               1.3010966 = boost
               3.4573963 = idf(docFreq=3804, maxDocs=44421)
               0.012914896 = queryNorm
             0.30559355 = fieldWeight in 2529, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.4573963 = idf(docFreq=3804, maxDocs=44421)
               0.0625 = fieldNorm(doc=2529)
         0.04928707 = weight(abstract_txt:language in 2529) [ClassicSimilarity], result of:
           0.04928707 = score(doc=2529,freq=5.0), product of:
             0.08455301 = queryWeight, product of:
               1.5696372 = boost
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.012914896 = queryNorm
             0.5829132 = fieldWeight in 2529, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.0625 = fieldNorm(doc=2529)
         0.028740749 = weight(abstract_txt:knowledge in 2529) [ClassicSimilarity], result of:
           0.028740749 = score(doc=2529,freq=2.0), product of:
             0.09168879 = queryWeight, product of:
               2.001882 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.012914896 = queryNorm
             0.31345978 = fieldWeight in 2529, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.0625 = fieldNorm(doc=2529)
         0.20540756 = weight(abstract_txt:representation in 2529) [ClassicSimilarity], result of:
           0.20540756 = score(doc=2529,freq=8.0), product of:
             0.23587832 = queryWeight, product of:
               3.7076075 = boost
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.012914896 = queryNorm
             0.87082 = fieldWeight in 2529, product of:
               2.828427 = tf(freq=8.0), with freq of:
                 8.0 = termFreq=8.0
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.0625 = fieldNorm(doc=2529)
         0.21896774 = weight(abstract_txt:reasoning in 2529) [ClassicSimilarity], result of:
           0.21896774 = score(doc=2529,freq=2.0), product of:
             0.39073637 = queryWeight, product of:
               4.7719035 = boost
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.012914896 = queryNorm
             0.5603976 = fieldWeight in 2529, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.0625 = fieldNorm(doc=2529)
       0.24 = coord(6/25)
   

2. Mainzer, K.: ¬The emergence of self-conscious systems : from symbolic AI to embodied robotics (2014) 0.13

   0.12659083 = sum of:
     0.12659083 = product of:
       0.4521101 = sum of:
         0.039413802 = weight(abstract_txt:situations in 4398) [ClassicSimilarity], result of:
           0.039413802 = score(doc=4398,freq=1.0), product of:
             0.0988673 = queryWeight, product of:
               1.2001791 = boost
               6.3784575 = idf(docFreq=204, maxDocs=44421)
               0.012914896 = queryNorm
             0.3986536 = fieldWeight in 4398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3784575 = idf(docFreq=204, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.012553903 = weight(abstract_txt:between in 4398) [ClassicSimilarity], result of:
           0.012553903 = score(doc=4398,freq=1.0), product of:
             0.05809645 = queryWeight, product of:
               1.3010966 = boost
               3.4573963 = idf(docFreq=3804, maxDocs=44421)
               0.012914896 = queryNorm
             0.21608727 = fieldWeight in 4398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4573963 = idf(docFreq=3804, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.022041848 = weight(abstract_txt:language in 4398) [ClassicSimilarity], result of:
           0.022041848 = score(doc=4398,freq=1.0), product of:
             0.08455301 = queryWeight, product of:
               1.5696372 = boost
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.012914896 = queryNorm
             0.26068673 = fieldWeight in 4398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.037376367 = weight(abstract_txt:should in 4398) [ClassicSimilarity], result of:
           0.037376367 = score(doc=4398,freq=2.0), product of:
             0.09543005 = queryWeight, product of:
               1.667544 = boost
               4.4311547 = idf(docFreq=1436, maxDocs=44421)
               0.012914896 = queryNorm
             0.39166245 = fieldWeight in 4398, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.4311547 = idf(docFreq=1436, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.040645555 = weight(abstract_txt:knowledge in 4398) [ClassicSimilarity], result of:
           0.040645555 = score(doc=4398,freq=4.0), product of:
             0.09168879 = queryWeight, product of:
               2.001882 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.012914896 = queryNorm
             0.44329908 = fieldWeight in 4398, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.14524508 = weight(abstract_txt:representation in 4398) [ClassicSimilarity], result of:
           0.14524508 = score(doc=4398,freq=4.0), product of:
             0.23587832 = queryWeight, product of:
               3.7076075 = boost
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.012914896 = queryNorm
             0.6157627 = fieldWeight in 4398, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.15483357 = weight(abstract_txt:reasoning in 4398) [ClassicSimilarity], result of:
           0.15483357 = score(doc=4398,freq=1.0), product of:
             0.39073637 = queryWeight, product of:
               4.7719035 = boost
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.012914896 = queryNorm
             0.39626098 = fieldWeight in 4398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
       0.28 = coord(7/25)
   

3. Gomez, F.: ¬A representation of complex events and processes for the acquisition of knowledge from texts (1998) 0.13

   0.12585835 = sum of:
     0.12585835 = product of:
       0.6292917 = sum of:
         0.01569238 = weight(abstract_txt:between in 4245) [ClassicSimilarity], result of:
           0.01569238 = score(doc=4245,freq=1.0), product of:
             0.05809645 = queryWeight, product of:
               1.3010966 = boost
               3.4573963 = idf(docFreq=3804, maxDocs=44421)
               0.012914896 = queryNorm
             0.2701091 = fieldWeight in 4245, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4573963 = idf(docFreq=3804, maxDocs=44421)
               0.078125 = fieldNorm(doc=4245)
         0.050806947 = weight(abstract_txt:knowledge in 4245) [ClassicSimilarity], result of:
           0.050806947 = score(doc=4245,freq=4.0), product of:
             0.09168879 = queryWeight, product of:
               2.001882 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.012914896 = queryNorm
             0.5541239 = fieldWeight in 4245, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.078125 = fieldNorm(doc=4245)
         0.06672255 = weight(abstract_txt:automated in 4245) [ClassicSimilarity], result of:
           0.06672255 = score(doc=4245,freq=1.0), product of:
             0.15247741 = queryWeight, product of:
               2.1078393 = boost
               5.6011486 = idf(docFreq=445, maxDocs=44421)
               0.012914896 = queryNorm
             0.43758973 = fieldWeight in 4245, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.6011486 = idf(docFreq=445, maxDocs=44421)
               0.078125 = fieldNorm(doc=4245)
         0.22236021 = weight(abstract_txt:representation in 4245) [ClassicSimilarity], result of:
           0.22236021 = score(doc=4245,freq=6.0), product of:
             0.23587832 = queryWeight, product of:
               3.7076075 = boost
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.012914896 = queryNorm
             0.9426903 = fieldWeight in 4245, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.078125 = fieldNorm(doc=4245)
         0.27370965 = weight(abstract_txt:reasoning in 4245) [ClassicSimilarity], result of:
           0.27370965 = score(doc=4245,freq=2.0), product of:
             0.39073637 = queryWeight, product of:
               4.7719035 = boost
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.012914896 = queryNorm
             0.70049703 = fieldWeight in 4245, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.078125 = fieldNorm(doc=4245)
       0.2 = coord(5/25)
   

4. Mao, M.: Ontology mapping : towards semantic interoperability in distributed and heterogeneous environments (2008) 0.12

   0.11977377 = sum of:
     0.11977377 = product of:
       0.42776346 = sum of:
         0.023437409 = weight(abstract_txt:goal in 659) [ClassicSimilarity], result of:
           0.023437409 = score(doc=659,freq=1.0), product of:
             0.076422535 = queryWeight, product of:
               1.0551895 = boost
               5.6078978 = idf(docFreq=442, maxDocs=44421)
               0.012914896 = queryNorm
             0.3066819 = fieldWeight in 659, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.6078978 = idf(docFreq=442, maxDocs=44421)
               0.0546875 = fieldNorm(doc=659)
         0.026995515 = weight(abstract_txt:properties in 659) [ClassicSimilarity], result of:
           0.026995515 = score(doc=659,freq=1.0), product of:
             0.08397361 = queryWeight, product of:
               1.1060917 = boost
               5.878422 = idf(docFreq=337, maxDocs=44421)
               0.012914896 = queryNorm
             0.3214762 = fieldWeight in 659, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.878422 = idf(docFreq=337, maxDocs=44421)
               0.0546875 = fieldNorm(doc=659)
         0.051949818 = weight(abstract_txt:solve in 659) [ClassicSimilarity], result of:
           0.051949818 = score(doc=659,freq=2.0), product of:
             0.1031164 = queryWeight, product of:
               1.2256984 = boost
               6.514082 = idf(docFreq=178, maxDocs=44421)
               0.012914896 = queryNorm
             0.5037978 = fieldWeight in 659, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.514082 = idf(docFreq=178, maxDocs=44421)
               0.0546875 = fieldNorm(doc=659)
         0.015534664 = weight(abstract_txt:between in 659) [ClassicSimilarity], result of:
           0.015534664 = score(doc=659,freq=2.0), product of:
             0.05809645 = queryWeight, product of:
               1.3010966 = boost
               3.4573963 = idf(docFreq=3804, maxDocs=44421)
               0.012914896 = queryNorm
             0.26739436 = fieldWeight in 659, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.4573963 = idf(docFreq=3804, maxDocs=44421)
               0.0546875 = fieldNorm(doc=659)
         0.06605196 = weight(abstract_txt:automated in 659) [ClassicSimilarity], result of:
           0.06605196 = score(doc=659,freq=2.0), product of:
             0.15247741 = queryWeight, product of:
               2.1078393 = boost
               5.6011486 = idf(docFreq=445, maxDocs=44421)
               0.012914896 = queryNorm
             0.43319175 = fieldWeight in 659, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.6011486 = idf(docFreq=445, maxDocs=44421)
               0.0546875 = fieldNorm(doc=659)
         0.052197337 = weight(abstract_txt:linguistic in 659) [ClassicSimilarity], result of:
           0.052197337 = score(doc=659,freq=1.0), product of:
             0.16420661 = queryWeight, product of:
               2.1874094 = boost
               5.8125896 = idf(docFreq=360, maxDocs=44421)
               0.012914896 = queryNorm
             0.31787598 = fieldWeight in 659, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8125896 = idf(docFreq=360, maxDocs=44421)
               0.0546875 = fieldNorm(doc=659)
         0.19159676 = weight(abstract_txt:reasoning in 659) [ClassicSimilarity], result of:
           0.19159676 = score(doc=659,freq=2.0), product of:
             0.39073637 = queryWeight, product of:
               4.7719035 = boost
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.012914896 = queryNorm
             0.49034792 = fieldWeight in 659, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.0546875 = fieldNorm(doc=659)
       0.28 = coord(7/25)
   

5. Christensen, B.: Minoritization vs. universalization : lesbianism and male homosexuality in LCSH and LCC (2008) 0.11

   0.114962794 = sum of:
     0.114962794 = product of:
       0.57481396 = sum of:
         0.054620944 = weight(abstract_txt:preferred in 3491) [ClassicSimilarity], result of:
           0.054620944 = score(doc=3491,freq=1.0), product of:
             0.10590583 = queryWeight, product of:
               1.242166 = boost
               6.601601 = idf(docFreq=163, maxDocs=44421)
               0.012914896 = queryNorm
             0.5157501 = fieldWeight in 3491, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.601601 = idf(docFreq=163, maxDocs=44421)
               0.078125 = fieldNorm(doc=3491)
         0.01569238 = weight(abstract_txt:between in 3491) [ClassicSimilarity], result of:
           0.01569238 = score(doc=3491,freq=1.0), product of:
             0.05809645 = queryWeight, product of:
               1.3010966 = boost
               3.4573963 = idf(docFreq=3804, maxDocs=44421)
               0.012914896 = queryNorm
             0.2701091 = fieldWeight in 3491, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4573963 = idf(docFreq=3804, maxDocs=44421)
               0.078125 = fieldNorm(doc=3491)
         0.03303635 = weight(abstract_txt:should in 3491) [ClassicSimilarity], result of:
           0.03303635 = score(doc=3491,freq=1.0), product of:
             0.09543005 = queryWeight, product of:
               1.667544 = boost
               4.4311547 = idf(docFreq=1436, maxDocs=44421)
               0.012914896 = queryNorm
             0.34618396 = fieldWeight in 3491, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.4311547 = idf(docFreq=1436, maxDocs=44421)
               0.078125 = fieldNorm(doc=3491)
         0.09077817 = weight(abstract_txt:representation in 3491) [ClassicSimilarity], result of:
           0.09077817 = score(doc=3491,freq=1.0), product of:
             0.23587832 = queryWeight, product of:
               3.7076075 = boost
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.012914896 = queryNorm
             0.3848517 = fieldWeight in 3491, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.078125 = fieldNorm(doc=3491)
         0.38068613 = weight(abstract_txt:tension in 3491) [ClassicSimilarity], result of:
           0.38068613 = score(doc=3491,freq=2.0), product of:
             0.44233933 = queryWeight, product of:
               4.397017 = boost
               7.7894444 = idf(docFreq=49, maxDocs=44421)
               0.012914896 = queryNorm
             0.86062014 = fieldWeight in 3491, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.7894444 = idf(docFreq=49, maxDocs=44421)
               0.078125 = fieldNorm(doc=3491)
       0.2 = coord(5/25)