Document (#31786)

Author

Miller, R.

Title

Three problems in logic-based knowledge representation

Source

Aslib proceedings. 58(2006) nos.1/2, S.140-151

Year

2006

Abstract

Purpose - The purpose of this article is to give a non-technical overview of some of the technical progress made recently on tackling three fundamental problems in the area of formal knowledge representation/artificial intelligence. These are the Frame Problem, the Ramification Problem, and the Qualification Problem. The article aims to describe the development of two logic-based languages, the Event Calculus and Modular-E, to address various aspects of these issues. The article also aims to set this work in the wider context of contemporary developments in applied logic, non-monotonic reasoning and formal theories of common sense. Design/methodology/approach - The study applies symbolic logic to model aspects of human knowledge and reasoning. Findings - The article finds that there are fundamental interdependencies between the three problems mentioned above. The conceptual framework shared by the Event Calculus and Modular-E is appropriate for providing principled solutions to them. Originality/value - This article provides an overview of an important approach to dealing with three fundamental issues in artificial intelligence.

Footnote

Beitrag in einem Themenheft: UK library & information schools: UCL SLAIS

Theme

Wissensrepräsentation

Similar documents (author)

1. Miller, G.A.: ¬The magical number, seven plus or minus two : some limits on our capacity for processing information (1956) 4.46

   4.4606996 = sum of:
     4.4606996 = weight(author_txt:miller in 2751) [ClassicSimilarity], result of:
       4.4606996 = fieldWeight in 2751, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         7.1371193 = idf(docFreq=95, maxDocs=44421)
         0.625 = fieldNorm(doc=2751)
   

2. Miller, M.L.: Automation and LCSH (1986) 4.46

   4.4606996 = sum of:
     4.4606996 = weight(author_txt:miller in 2899) [ClassicSimilarity], result of:
       4.4606996 = fieldWeight in 2899, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         7.1371193 = idf(docFreq=95, maxDocs=44421)
         0.625 = fieldNorm(doc=2899)
   

3. Miller, G.A.: Psychology and information (1968) 4.46

   4.4606996 = sum of:
     4.4606996 = weight(author_txt:miller in 3244) [ClassicSimilarity], result of:
       4.4606996 = fieldWeight in 3244, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         7.1371193 = idf(docFreq=95, maxDocs=44421)
         0.625 = fieldNorm(doc=3244)
   

4. Miller, D.C.: Evaluating CD-ROMs : to buy or what to buy (1987) 4.46

   4.4606996 = sum of:
     4.4606996 = weight(author_txt:miller in 3304) [ClassicSimilarity], result of:
       4.4606996 = fieldWeight in 3304, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         7.1371193 = idf(docFreq=95, maxDocs=44421)
         0.625 = fieldNorm(doc=3304)
   

5. Miller, D.J.: Advanced Freestyle searching with Lexis-Nexis (1997) 4.46

   4.4606996 = sum of:
     4.4606996 = weight(author_txt:miller in 4224) [ClassicSimilarity], result of:
       4.4606996 = fieldWeight in 4224, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         7.1371193 = idf(docFreq=95, maxDocs=44421)
         0.625 = fieldNorm(doc=4224)
   

Similar documents (content)

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

   0.23949707 = sum of:
     0.23949707 = product of:
       0.6652696 = sum of:
         0.07153081 = weight(abstract_txt:representation in 4398) [ClassicSimilarity], result of:
           0.07153081 = score(doc=4398,freq=4.0), product of:
             0.1161662 = queryWeight, product of:
               1.1035942 = boost
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.021368153 = 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.040034536 = weight(abstract_txt:knowledge in 4398) [ClassicSimilarity], result of:
           0.040034536 = score(doc=4398,freq=4.0), product of:
             0.09031044 = queryWeight, product of:
               1.1917472 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.021368153 = 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.07122422 = weight(abstract_txt:formal in 4398) [ClassicSimilarity], result of:
           0.07122422 = score(doc=4398,freq=2.0), product of:
             0.14594172 = queryWeight, product of:
               1.2369703 = boost
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.021368153 = queryNorm
             0.48803192 = fieldWeight in 4398, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.059353143 = weight(abstract_txt:intelligence in 4398) [ClassicSimilarity], result of:
           0.059353143 = score(doc=4398,freq=1.0), product of:
             0.16282965 = queryWeight, product of:
               1.3065808 = boost
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.021368153 = queryNorm
             0.36451066 = fieldWeight in 4398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.065992124 = weight(abstract_txt:artificial in 4398) [ClassicSimilarity], result of:
           0.065992124 = score(doc=4398,freq=1.0), product of:
             0.17475612 = queryWeight, product of:
               1.3535856 = boost
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.021368153 = queryNorm
             0.3776241 = fieldWeight in 4398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.07625299 = weight(abstract_txt:reasoning in 4398) [ClassicSimilarity], result of:
           0.07625299 = score(doc=4398,freq=1.0), product of:
             0.19243124 = queryWeight, product of:
               1.420389 = boost
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.021368153 = 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.03570313 = weight(abstract_txt:problems in 4398) [ClassicSimilarity], result of:
           0.03570313 = score(doc=4398,freq=1.0), product of:
             0.13282269 = queryWeight, product of:
               1.4452777 = boost
               4.300847 = idf(docFreq=1636, maxDocs=44421)
               0.021368153 = queryNorm
             0.26880294 = fieldWeight in 4398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.300847 = idf(docFreq=1636, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.03979874 = weight(abstract_txt:problem in 4398) [ClassicSimilarity], result of:
           0.03979874 = score(doc=4398,freq=1.0), product of:
             0.14279543 = queryWeight, product of:
               1.4985538 = boost
               4.4593854 = idf(docFreq=1396, maxDocs=44421)
               0.021368153 = queryNorm
             0.2787116 = fieldWeight in 4398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.4593854 = idf(docFreq=1396, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.20537996 = weight(abstract_txt:logic in 4398) [ClassicSimilarity], result of:
           0.20537996 = score(doc=4398,freq=2.0), product of:
             0.37251437 = queryWeight, product of:
               2.7948341 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.021368153 = queryNorm
             0.5513343 = fieldWeight in 4398, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
       0.36 = coord(9/25)
   

2. Cadoli, M.; Donini, F.M.: ¬A survey on knowledge compilation (1997) 0.21

   0.20526847 = sum of:
     0.20526847 = product of:
       0.85528535 = sum of:
         0.2911626 = weight(abstract_txt:monotonic in 4320) [ClassicSimilarity], result of:
           0.2911626 = score(doc=4320,freq=1.0), product of:
             0.23505242 = queryWeight, product of:
               1.1100355 = boost
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.021368153 = queryNorm
             1.2387135 = fieldWeight in 4320, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.125 = fieldNorm(doc=4320)
         0.08951994 = weight(abstract_txt:knowledge in 4320) [ClassicSimilarity], result of:
           0.08951994 = score(doc=4320,freq=5.0), product of:
             0.09031044 = queryWeight, product of:
               1.1917472 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.021368153 = queryNorm
             0.9912469 = fieldWeight in 4320, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.125 = fieldNorm(doc=4320)
         0.118706286 = weight(abstract_txt:intelligence in 4320) [ClassicSimilarity], result of:
           0.118706286 = score(doc=4320,freq=1.0), product of:
             0.16282965 = queryWeight, product of:
               1.3065808 = boost
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.021368153 = queryNorm
             0.7290213 = fieldWeight in 4320, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.125 = fieldNorm(doc=4320)
         0.13198425 = weight(abstract_txt:artificial in 4320) [ClassicSimilarity], result of:
           0.13198425 = score(doc=4320,freq=1.0), product of:
             0.17475612 = queryWeight, product of:
               1.3535856 = boost
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.021368153 = queryNorm
             0.7552482 = fieldWeight in 4320, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.125 = fieldNorm(doc=4320)
         0.15250598 = weight(abstract_txt:reasoning in 4320) [ClassicSimilarity], result of:
           0.15250598 = score(doc=4320,freq=1.0), product of:
             0.19243124 = queryWeight, product of:
               1.420389 = boost
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.021368153 = queryNorm
             0.79252195 = fieldWeight in 4320, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.125 = fieldNorm(doc=4320)
         0.07140626 = weight(abstract_txt:problems in 4320) [ClassicSimilarity], result of:
           0.07140626 = score(doc=4320,freq=1.0), product of:
             0.13282269 = queryWeight, product of:
               1.4452777 = boost
               4.300847 = idf(docFreq=1636, maxDocs=44421)
               0.021368153 = queryNorm
             0.5376059 = fieldWeight in 4320, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.300847 = idf(docFreq=1636, maxDocs=44421)
               0.125 = fieldNorm(doc=4320)
       0.24 = coord(6/25)
   

3. Tkalac, S.; Mateljan, V.: Neke karakteristike notacijskih shema (1996) 0.18

   0.17823948 = sum of:
     0.17823948 = product of:
       0.63656956 = sum of:
         0.088514864 = weight(abstract_txt:representation in 1655) [ClassicSimilarity], result of:
           0.088514864 = score(doc=1655,freq=2.0), product of:
             0.1161662 = queryWeight, product of:
               1.1035942 = boost
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.021368153 = queryNorm
             0.7619675 = fieldWeight in 1655, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.109375 = fieldNorm(doc=1655)
         0.06067412 = weight(abstract_txt:knowledge in 1655) [ClassicSimilarity], result of:
           0.06067412 = score(doc=1655,freq=3.0), product of:
             0.09031044 = queryWeight, product of:
               1.1917472 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.021368153 = queryNorm
             0.6718395 = fieldWeight in 1655, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.109375 = fieldNorm(doc=1655)
         0.10386801 = weight(abstract_txt:intelligence in 1655) [ClassicSimilarity], result of:
           0.10386801 = score(doc=1655,freq=1.0), product of:
             0.16282965 = queryWeight, product of:
               1.3065808 = boost
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.021368153 = queryNorm
             0.6378937 = fieldWeight in 1655, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.109375 = fieldNorm(doc=1655)
         0.11548622 = weight(abstract_txt:artificial in 1655) [ClassicSimilarity], result of:
           0.11548622 = score(doc=1655,freq=1.0), product of:
             0.17475612 = queryWeight, product of:
               1.3535856 = boost
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.021368153 = queryNorm
             0.6608422 = fieldWeight in 1655, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.109375 = fieldNorm(doc=1655)
         0.06248048 = weight(abstract_txt:problems in 1655) [ClassicSimilarity], result of:
           0.06248048 = score(doc=1655,freq=1.0), product of:
             0.13282269 = queryWeight, product of:
               1.4452777 = boost
               4.300847 = idf(docFreq=1636, maxDocs=44421)
               0.021368153 = queryNorm
             0.47040516 = fieldWeight in 1655, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.300847 = idf(docFreq=1636, maxDocs=44421)
               0.109375 = fieldNorm(doc=1655)
         0.0696478 = weight(abstract_txt:problem in 1655) [ClassicSimilarity], result of:
           0.0696478 = score(doc=1655,freq=1.0), product of:
             0.14279543 = queryWeight, product of:
               1.4985538 = boost
               4.4593854 = idf(docFreq=1396, maxDocs=44421)
               0.021368153 = queryNorm
             0.48774529 = fieldWeight in 1655, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.4593854 = idf(docFreq=1396, maxDocs=44421)
               0.109375 = fieldNorm(doc=1655)
         0.13589805 = weight(abstract_txt:fundamental in 1655) [ClassicSimilarity], result of:
           0.13589805 = score(doc=1655,freq=1.0), product of:
             0.22297262 = queryWeight, product of:
               1.8725822 = boost
               5.5724173 = idf(docFreq=458, maxDocs=44421)
               0.021368153 = queryNorm
             0.6094831 = fieldWeight in 1655, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.5724173 = idf(docFreq=458, maxDocs=44421)
               0.109375 = fieldNorm(doc=1655)
       0.28 = coord(7/25)
   

4. Hurt, C.D.: Nonmonotonic logic for use in information retrieval : an exploratory paper (1998) 0.18

   0.17807716 = sum of:
     0.17807716 = product of:
       1.1129823 = sum of:
         0.3088246 = weight(abstract_txt:monotonic in 2142) [ClassicSimilarity], result of:
           0.3088246 = score(doc=2142,freq=2.0), product of:
             0.23505242 = queryWeight, product of:
               1.1100355 = boost
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.021368153 = queryNorm
             1.3138541 = fieldWeight in 2142, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.09375 = fieldNorm(doc=2142)
         0.089029714 = weight(abstract_txt:intelligence in 2142) [ClassicSimilarity], result of:
           0.089029714 = score(doc=2142,freq=1.0), product of:
             0.16282965 = queryWeight, product of:
               1.3065808 = boost
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.021368153 = queryNorm
             0.546766 = fieldWeight in 2142, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.09375 = fieldNorm(doc=2142)
         0.09898819 = weight(abstract_txt:artificial in 2142) [ClassicSimilarity], result of:
           0.09898819 = score(doc=2142,freq=1.0), product of:
             0.17475612 = queryWeight, product of:
               1.3535856 = boost
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.021368153 = queryNorm
             0.5664362 = fieldWeight in 2142, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.09375 = fieldNorm(doc=2142)
         0.6161398 = weight(abstract_txt:logic in 2142) [ClassicSimilarity], result of:
           0.6161398 = score(doc=2142,freq=8.0), product of:
             0.37251437 = queryWeight, product of:
               2.7948341 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.021368153 = queryNorm
             1.6540029 = fieldWeight in 2142, product of:
               2.828427 = tf(freq=8.0), with freq of:
                 8.0 = termFreq=8.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.09375 = fieldNorm(doc=2142)
       0.16 = coord(4/25)
   

5. Brito, M. de: Social affects engineering and ethics (2023) 0.17

   0.17330225 = sum of:
     0.17330225 = product of:
       0.6189366 = sum of:
         0.03326174 = weight(abstract_txt:purpose in 2137) [ClassicSimilarity], result of:
           0.03326174 = score(doc=2137,freq=1.0), product of:
             0.0953808 = queryWeight, product of:
               4.4636893 = idf(docFreq=1390, maxDocs=44421)
               0.021368153 = queryNorm
             0.34872574 = fieldWeight in 2137, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.4636893 = idf(docFreq=1390, maxDocs=44421)
               0.078125 = fieldNorm(doc=2137)
         0.08903027 = weight(abstract_txt:formal in 2137) [ClassicSimilarity], result of:
           0.08903027 = score(doc=2137,freq=2.0), product of:
             0.14594172 = queryWeight, product of:
               1.2369703 = boost
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.021368153 = queryNorm
             0.6100399 = fieldWeight in 2137, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.078125 = fieldNorm(doc=2137)
         0.07419143 = weight(abstract_txt:intelligence in 2137) [ClassicSimilarity], result of:
           0.07419143 = score(doc=2137,freq=1.0), product of:
             0.16282965 = queryWeight, product of:
               1.3065808 = boost
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.021368153 = queryNorm
             0.45563832 = fieldWeight in 2137, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.078125 = fieldNorm(doc=2137)
         0.08249015 = weight(abstract_txt:artificial in 2137) [ClassicSimilarity], result of:
           0.08249015 = score(doc=2137,freq=1.0), product of:
             0.17475612 = queryWeight, product of:
               1.3535856 = boost
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.021368153 = queryNorm
             0.4720301 = fieldWeight in 2137, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.078125 = fieldNorm(doc=2137)
         0.09531624 = weight(abstract_txt:reasoning in 2137) [ClassicSimilarity], result of:
           0.09531624 = score(doc=2137,freq=1.0), product of:
             0.19243124 = queryWeight, product of:
               1.420389 = boost
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.021368153 = queryNorm
             0.49532622 = fieldWeight in 2137, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.078125 = fieldNorm(doc=2137)
         0.06311481 = weight(abstract_txt:problems in 2137) [ClassicSimilarity], result of:
           0.06311481 = score(doc=2137,freq=2.0), product of:
             0.13282269 = queryWeight, product of:
               1.4452777 = boost
               4.300847 = idf(docFreq=1636, maxDocs=44421)
               0.021368153 = queryNorm
             0.47518092 = fieldWeight in 2137, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.300847 = idf(docFreq=1636, maxDocs=44421)
               0.078125 = fieldNorm(doc=2137)
         0.18153195 = weight(abstract_txt:logic in 2137) [ClassicSimilarity], result of:
           0.18153195 = score(doc=2137,freq=1.0), product of:
             0.37251437 = queryWeight, product of:
               2.7948341 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.021368153 = queryNorm
             0.4873153 = fieldWeight in 2137, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.078125 = fieldNorm(doc=2137)
       0.28 = coord(7/25)