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.4578366 = sum of:
     4.4578366 = weight(author_txt:miller in 2752) [ClassicSimilarity], result of:
       4.4578366 = fieldWeight in 2752, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         7.132539 = idf(docFreq=95, maxDocs=44218)
         0.625 = fieldNorm(doc=2752)
   

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

   4.4578366 = sum of:
     4.4578366 = weight(author_txt:miller in 2900) [ClassicSimilarity], result of:
       4.4578366 = fieldWeight in 2900, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         7.132539 = idf(docFreq=95, maxDocs=44218)
         0.625 = fieldNorm(doc=2900)
   

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

   4.4578366 = sum of:
     4.4578366 = weight(author_txt:miller in 3245) [ClassicSimilarity], result of:
       4.4578366 = fieldWeight in 3245, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         7.132539 = idf(docFreq=95, maxDocs=44218)
         0.625 = fieldNorm(doc=3245)
   

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

   4.4578366 = sum of:
     4.4578366 = weight(author_txt:miller in 3305) [ClassicSimilarity], result of:
       4.4578366 = fieldWeight in 3305, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         7.132539 = idf(docFreq=95, maxDocs=44218)
         0.625 = fieldNorm(doc=3305)
   

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

   4.4578366 = sum of:
     4.4578366 = weight(author_txt:miller in 4225) [ClassicSimilarity], result of:
       4.4578366 = fieldWeight in 4225, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         7.132539 = idf(docFreq=95, maxDocs=44218)
         0.625 = fieldNorm(doc=4225)
   

Similar documents (content)

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

   0.24001467 = sum of:
     0.24001467 = product of:
       0.6667074 = sum of:
         0.07136847 = weight(abstract_txt:representation in 3398) [ClassicSimilarity], result of:
           0.07136847 = score(doc=3398,freq=4.0), product of:
             0.11590264 = queryWeight, product of:
               1.1039742 = boost
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.021312352 = queryNorm
             0.61576223 = fieldWeight in 3398, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.040160283 = weight(abstract_txt:knowledge in 3398) [ClassicSimilarity], result of:
           0.040160283 = score(doc=3398,freq=4.0), product of:
             0.090431005 = queryWeight, product of:
               1.1943086 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.021312352 = queryNorm
             0.4440986 = fieldWeight in 3398, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.07096597 = weight(abstract_txt:formal in 3398) [ClassicSimilarity], result of:
           0.07096597 = score(doc=3398,freq=2.0), product of:
             0.14547862 = queryWeight, product of:
               1.2368352 = boost
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.021312352 = queryNorm
             0.48781028 = fieldWeight in 3398, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.059954967 = weight(abstract_txt:intelligence in 3398) [ClassicSimilarity], result of:
           0.059954967 = score(doc=3398,freq=1.0), product of:
             0.16380452 = queryWeight, product of:
               1.3124272 = boost
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.021312352 = queryNorm
             0.36601534 = fieldWeight in 3398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.06662003 = weight(abstract_txt:artificial in 3398) [ClassicSimilarity], result of:
           0.06662003 = score(doc=3398,freq=1.0), product of:
             0.1757299 = queryWeight, product of:
               1.3593619 = boost
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.021312352 = queryNorm
             0.3791047 = fieldWeight in 3398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.07747784 = weight(abstract_txt:reasoning in 3398) [ClassicSimilarity], result of:
           0.07747784 = score(doc=3398,freq=1.0), product of:
             0.19433936 = queryWeight, product of:
               1.429528 = boost
               6.378767 = idf(docFreq=203, maxDocs=44218)
               0.021312352 = queryNorm
             0.39867294 = fieldWeight in 3398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.378767 = idf(docFreq=203, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.035538815 = weight(abstract_txt:problems in 3398) [ClassicSimilarity], result of:
           0.035538815 = score(doc=3398,freq=1.0), product of:
             0.13231471 = queryWeight, product of:
               1.4446478 = boost
               4.297489 = idf(docFreq=1634, maxDocs=44218)
               0.021312352 = queryNorm
             0.26859307 = fieldWeight in 3398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.297489 = idf(docFreq=1634, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.039739575 = weight(abstract_txt:problem in 3398) [ClassicSimilarity], result of:
           0.039739575 = score(doc=3398,freq=1.0), product of:
             0.14254598 = queryWeight, product of:
               1.4994617 = boost
               4.460548 = idf(docFreq=1388, maxDocs=44218)
               0.021312352 = queryNorm
             0.27878425 = fieldWeight in 3398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.460548 = idf(docFreq=1388, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.20488144 = weight(abstract_txt:logic in 3398) [ClassicSimilarity], result of:
           0.20488144 = score(doc=3398,freq=2.0), product of:
             0.37163007 = queryWeight, product of:
               2.7956493 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.021312352 = queryNorm
             0.5513048 = fieldWeight in 3398, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
       0.36 = coord(9/25)
   

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

   0.20618024 = sum of:
     0.20618024 = product of:
       0.85908437 = sum of:
         0.2900999 = weight(abstract_txt:monotonic in 3320) [ClassicSimilarity], result of:
           0.2900999 = score(doc=3320,freq=1.0), product of:
             0.23430279 = queryWeight, product of:
               1.1099055 = boost
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.021312352 = queryNorm
             1.238141 = fieldWeight in 3320, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.125 = fieldNorm(doc=3320)
         0.089801125 = weight(abstract_txt:knowledge in 3320) [ClassicSimilarity], result of:
           0.089801125 = score(doc=3320,freq=5.0), product of:
             0.090431005 = queryWeight, product of:
               1.1943086 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.021312352 = queryNorm
             0.99303466 = fieldWeight in 3320, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.125 = fieldNorm(doc=3320)
         0.119909935 = weight(abstract_txt:intelligence in 3320) [ClassicSimilarity], result of:
           0.119909935 = score(doc=3320,freq=1.0), product of:
             0.16380452 = queryWeight, product of:
               1.3124272 = boost
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.021312352 = queryNorm
             0.7320307 = fieldWeight in 3320, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.125 = fieldNorm(doc=3320)
         0.13324006 = weight(abstract_txt:artificial in 3320) [ClassicSimilarity], result of:
           0.13324006 = score(doc=3320,freq=1.0), product of:
             0.1757299 = queryWeight, product of:
               1.3593619 = boost
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.021312352 = queryNorm
             0.7582094 = fieldWeight in 3320, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.125 = fieldNorm(doc=3320)
         0.15495569 = weight(abstract_txt:reasoning in 3320) [ClassicSimilarity], result of:
           0.15495569 = score(doc=3320,freq=1.0), product of:
             0.19433936 = queryWeight, product of:
               1.429528 = boost
               6.378767 = idf(docFreq=203, maxDocs=44218)
               0.021312352 = queryNorm
             0.7973459 = fieldWeight in 3320, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.378767 = idf(docFreq=203, maxDocs=44218)
               0.125 = fieldNorm(doc=3320)
         0.07107763 = weight(abstract_txt:problems in 3320) [ClassicSimilarity], result of:
           0.07107763 = score(doc=3320,freq=1.0), product of:
             0.13231471 = queryWeight, product of:
               1.4446478 = boost
               4.297489 = idf(docFreq=1634, maxDocs=44218)
               0.021312352 = queryNorm
             0.53718615 = fieldWeight in 3320, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.297489 = idf(docFreq=1634, maxDocs=44218)
               0.125 = fieldNorm(doc=3320)
       0.24 = coord(6/25)
   

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

   0.17886429 = sum of:
     0.17886429 = product of:
       0.63880104 = sum of:
         0.088313974 = weight(abstract_txt:representation in 655) [ClassicSimilarity], result of:
           0.088313974 = score(doc=655,freq=2.0), product of:
             0.11590264 = queryWeight, product of:
               1.1039742 = boost
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.021312352 = queryNorm
             0.7619669 = fieldWeight in 655, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.109375 = fieldNorm(doc=655)
         0.060864694 = weight(abstract_txt:knowledge in 655) [ClassicSimilarity], result of:
           0.060864694 = score(doc=655,freq=3.0), product of:
             0.090431005 = queryWeight, product of:
               1.1943086 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.021312352 = queryNorm
             0.6730512 = fieldWeight in 655, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.109375 = fieldNorm(doc=655)
         0.104921184 = weight(abstract_txt:intelligence in 655) [ClassicSimilarity], result of:
           0.104921184 = score(doc=655,freq=1.0), product of:
             0.16380452 = queryWeight, product of:
               1.3124272 = boost
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.021312352 = queryNorm
             0.64052683 = fieldWeight in 655, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.109375 = fieldNorm(doc=655)
         0.11658506 = weight(abstract_txt:artificial in 655) [ClassicSimilarity], result of:
           0.11658506 = score(doc=655,freq=1.0), product of:
             0.1757299 = queryWeight, product of:
               1.3593619 = boost
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.021312352 = queryNorm
             0.66343325 = fieldWeight in 655, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.109375 = fieldNorm(doc=655)
         0.062192928 = weight(abstract_txt:problems in 655) [ClassicSimilarity], result of:
           0.062192928 = score(doc=655,freq=1.0), product of:
             0.13231471 = queryWeight, product of:
               1.4446478 = boost
               4.297489 = idf(docFreq=1634, maxDocs=44218)
               0.021312352 = queryNorm
             0.47003788 = fieldWeight in 655, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.297489 = idf(docFreq=1634, maxDocs=44218)
               0.109375 = fieldNorm(doc=655)
         0.069544256 = weight(abstract_txt:problem in 655) [ClassicSimilarity], result of:
           0.069544256 = score(doc=655,freq=1.0), product of:
             0.14254598 = queryWeight, product of:
               1.4994617 = boost
               4.460548 = idf(docFreq=1388, maxDocs=44218)
               0.021312352 = queryNorm
             0.48787242 = fieldWeight in 655, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.460548 = idf(docFreq=1388, maxDocs=44218)
               0.109375 = fieldNorm(doc=655)
         0.13637896 = weight(abstract_txt:fundamental in 655) [ClassicSimilarity], result of:
           0.13637896 = score(doc=655,freq=1.0), product of:
             0.22332932 = queryWeight, product of:
               1.8768551 = boost
               5.583205 = idf(docFreq=451, maxDocs=44218)
               0.021312352 = queryNorm
             0.61066306 = fieldWeight in 655, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.583205 = idf(docFreq=451, maxDocs=44218)
               0.109375 = fieldNorm(doc=655)
       0.28 = coord(7/25)
   

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

   0.17795266 = sum of:
     0.17795266 = product of:
       1.1122042 = sum of:
         0.3076974 = weight(abstract_txt:monotonic in 1142) [ClassicSimilarity], result of:
           0.3076974 = score(doc=1142,freq=2.0), product of:
             0.23430279 = queryWeight, product of:
               1.1099055 = boost
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.021312352 = queryNorm
             1.3132467 = fieldWeight in 1142, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.09375 = fieldNorm(doc=1142)
         0.08993245 = weight(abstract_txt:intelligence in 1142) [ClassicSimilarity], result of:
           0.08993245 = score(doc=1142,freq=1.0), product of:
             0.16380452 = queryWeight, product of:
               1.3124272 = boost
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.021312352 = queryNorm
             0.54902303 = fieldWeight in 1142, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.09375 = fieldNorm(doc=1142)
         0.09993005 = weight(abstract_txt:artificial in 1142) [ClassicSimilarity], result of:
           0.09993005 = score(doc=1142,freq=1.0), product of:
             0.1757299 = queryWeight, product of:
               1.3593619 = boost
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.021312352 = queryNorm
             0.56865704 = fieldWeight in 1142, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.09375 = fieldNorm(doc=1142)
         0.61464435 = weight(abstract_txt:logic in 1142) [ClassicSimilarity], result of:
           0.61464435 = score(doc=1142,freq=8.0), product of:
             0.37163007 = queryWeight, product of:
               2.7956493 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.021312352 = queryNorm
             1.6539145 = fieldWeight in 1142, product of:
               2.828427 = tf(freq=8.0), with freq of:
                 8.0 = termFreq=8.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.09375 = fieldNorm(doc=1142)
       0.16 = coord(4/25)
   

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

   0.17384353 = sum of:
     0.17384353 = product of:
       0.62086976 = sum of:
         0.033180583 = weight(abstract_txt:purpose in 1135) [ClassicSimilarity], result of:
           0.033180583 = score(doc=1135,freq=1.0), product of:
             0.09515357 = queryWeight, product of:
               1.0002874 = boost
               4.463432 = idf(docFreq=1384, maxDocs=44218)
               0.021312352 = queryNorm
             0.34870562 = fieldWeight in 1135, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.463432 = idf(docFreq=1384, maxDocs=44218)
               0.078125 = fieldNorm(doc=1135)
         0.08870746 = weight(abstract_txt:formal in 1135) [ClassicSimilarity], result of:
           0.08870746 = score(doc=1135,freq=2.0), product of:
             0.14547862 = queryWeight, product of:
               1.2368352 = boost
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.021312352 = queryNorm
             0.60976285 = fieldWeight in 1135, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.078125 = fieldNorm(doc=1135)
         0.07494371 = weight(abstract_txt:intelligence in 1135) [ClassicSimilarity], result of:
           0.07494371 = score(doc=1135,freq=1.0), product of:
             0.16380452 = queryWeight, product of:
               1.3124272 = boost
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.021312352 = queryNorm
             0.45751917 = fieldWeight in 1135, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.078125 = fieldNorm(doc=1135)
         0.08327504 = weight(abstract_txt:artificial in 1135) [ClassicSimilarity], result of:
           0.08327504 = score(doc=1135,freq=1.0), product of:
             0.1757299 = queryWeight, product of:
               1.3593619 = boost
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.021312352 = queryNorm
             0.4738809 = fieldWeight in 1135, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.078125 = fieldNorm(doc=1135)
         0.09684731 = weight(abstract_txt:reasoning in 1135) [ClassicSimilarity], result of:
           0.09684731 = score(doc=1135,freq=1.0), product of:
             0.19433936 = queryWeight, product of:
               1.429528 = boost
               6.378767 = idf(docFreq=203, maxDocs=44218)
               0.021312352 = queryNorm
             0.49834117 = fieldWeight in 1135, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.378767 = idf(docFreq=203, maxDocs=44218)
               0.078125 = fieldNorm(doc=1135)
         0.062824346 = weight(abstract_txt:problems in 1135) [ClassicSimilarity], result of:
           0.062824346 = score(doc=1135,freq=2.0), product of:
             0.13231471 = queryWeight, product of:
               1.4446478 = boost
               4.297489 = idf(docFreq=1634, maxDocs=44218)
               0.021312352 = queryNorm
             0.47480997 = fieldWeight in 1135, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.297489 = idf(docFreq=1634, maxDocs=44218)
               0.078125 = fieldNorm(doc=1135)
         0.18109132 = weight(abstract_txt:logic in 1135) [ClassicSimilarity], result of:
           0.18109132 = score(doc=1135,freq=1.0), product of:
             0.37163007 = queryWeight, product of:
               2.7956493 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.021312352 = queryNorm
             0.4872892 = fieldWeight in 1135, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.078125 = fieldNorm(doc=1135)
       0.28 = coord(7/25)