Document (#40938)

Author

Kaminski, R.
Schaub, T.
Wanko, P.

Title

¬A tutorial on hybrid answer set solving with clingo

Source

Reasoning Web: Semantic Interoperability on the Web, 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures. Eds.: Ianni, G. et al

Imprint

Cham : Springer International Publishing

Year

2017

Pages

S.167-203

Series

Lecture Notes in Computer Scienc;10370) (Information Systems and Applications, incl. Internet/Web, and HCI

Abstract

Answer Set Programming (ASP) has become an established paradigm for Knowledge Representation and Reasoning, in particular, when it comes to solving knowledge-intense combinatorial (optimization) problems. ASP's unique pairing of a simple yet rich modeling language with highly performant solving technology has led to an increasing interest in ASP in academia as well as industry. To further boost this development and make ASP fit for real world applications it is indispensable to equip it with means for an easy integration into software environments and for adding complementary forms of reasoning. In this tutorial, we describe how both issues are addressed in the ASP system clingo. At first, we outline features of clingo's application programming interface (API) that are essential for multi-shot ASP solving, a technique for dealing with continuously changing logic programs. This is illustrated by realizing two exemplary reasoning modes, namely branch-and-bound-based optimization and incremental ASP solving. We then switch to the design of the API for integrating complementary forms of reasoning and detail this in an extensive case study dealing with the integration of difference constraints. We show how the syntax of these constraints is added to the modeling language and seamlessly merged into the grounding process. We then develop in detail a corresponding theory propagator for difference constraints and present how it is integrated into clingo's solving process.

Theme

Semantic Web

Similar documents (content)

1. Reasoning Web : Semantic Interoperability on the Web, 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures (2017) 0.16

   0.16206361 = sum of:
     0.16206361 = product of:
       0.6752651 = sum of:
         0.015027651 = weight(abstract_txt:this in 4934) [ClassicSimilarity], result of:
           0.015027651 = score(doc=4934,freq=2.0), product of:
             0.047104977 = queryWeight, product of:
               1.105586 = boost
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.017706644 = queryNorm
             0.31902468 = fieldWeight in 4934, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.09375 = fieldNorm(doc=4934)
         0.056548707 = weight(abstract_txt:integration in 4934) [ClassicSimilarity], result of:
           0.056548707 = score(doc=4934,freq=1.0), product of:
             0.11396055 = queryWeight, product of:
               1.215966 = boost
               5.2929387 = idf(docFreq=606, maxDocs=44421)
               0.017706644 = queryNorm
             0.49621302 = fieldWeight in 4934, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.2929387 = idf(docFreq=606, maxDocs=44421)
               0.09375 = fieldNorm(doc=4934)
         0.07878198 = weight(abstract_txt:answer in 4934) [ClassicSimilarity], result of:
           0.07878198 = score(doc=4934,freq=1.0), product of:
             0.14215343 = queryWeight, product of:
               1.358072 = boost
               5.9115076 = idf(docFreq=326, maxDocs=44421)
               0.017706644 = queryNorm
             0.55420387 = fieldWeight in 4934, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.9115076 = idf(docFreq=326, maxDocs=44421)
               0.09375 = fieldNorm(doc=4934)
         0.014827871 = weight(abstract_txt:with in 4934) [ClassicSimilarity], result of:
           0.014827871 = score(doc=4934,freq=1.0), product of:
             0.06336342 = queryWeight, product of:
               1.433618 = boost
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.017706644 = queryNorm
             0.23401311 = fieldWeight in 4934, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.09375 = fieldNorm(doc=4934)
         0.121306054 = weight(abstract_txt:programming in 4934) [ClassicSimilarity], result of:
           0.121306054 = score(doc=4934,freq=1.0), product of:
             0.18955173 = queryWeight, product of:
               1.5682237 = boost
               6.82627 = idf(docFreq=130, maxDocs=44421)
               0.017706644 = queryNorm
             0.6399628 = fieldWeight in 4934, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.82627 = idf(docFreq=130, maxDocs=44421)
               0.09375 = fieldNorm(doc=4934)
         0.38877282 = weight(abstract_txt:reasoning in 4934) [ClassicSimilarity], result of:
           0.38877282 = score(doc=4934,freq=4.0), product of:
             0.32703432 = queryWeight, product of:
               2.9131029 = boost
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.017706644 = queryNorm
             1.1887829 = fieldWeight in 4934, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.09375 = fieldNorm(doc=4934)
       0.24 = coord(6/25)
   

2. Gladun, A.; Rogushina, J.: Development of domain thesaurus as a set of ontology concepts with use of semantic similarity and elements of combinatorial optimization (2021) 0.13

   0.13219391 = sum of:
     0.13219391 = product of:
       0.66096956 = sum of:
         0.13573532 = weight(abstract_txt:combinatorial in 1573) [ClassicSimilarity], result of:
           0.13573532 = score(doc=1573,freq=1.0), product of:
             0.16215287 = queryWeight, product of:
               1.0256318 = boost
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.017706644 = queryNorm
             0.8370824 = fieldWeight in 1573, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.09375 = fieldNorm(doc=1573)
         0.010626153 = weight(abstract_txt:this in 1573) [ClassicSimilarity], result of:
           0.010626153 = score(doc=1573,freq=1.0), product of:
             0.047104977 = queryWeight, product of:
               1.105586 = boost
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.017706644 = queryNorm
             0.2255845 = fieldWeight in 1573, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.09375 = fieldNorm(doc=1573)
         0.014827871 = weight(abstract_txt:with in 1573) [ClassicSimilarity], result of:
           0.014827871 = score(doc=1573,freq=1.0), product of:
             0.06336342 = queryWeight, product of:
               1.433618 = boost
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.017706644 = queryNorm
             0.23401311 = fieldWeight in 1573, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.09375 = fieldNorm(doc=1573)
         0.18024015 = weight(abstract_txt:optimization in 1573) [ClassicSimilarity], result of:
           0.18024015 = score(doc=1573,freq=1.0), product of:
             0.24681628 = queryWeight, product of:
               1.7894973 = boost
               7.7894444 = idf(docFreq=49, maxDocs=44421)
               0.017706644 = queryNorm
             0.73026043 = fieldWeight in 1573, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.7894444 = idf(docFreq=49, maxDocs=44421)
               0.09375 = fieldNorm(doc=1573)
         0.31954005 = weight(abstract_txt:solving in 1573) [ClassicSimilarity], result of:
           0.31954005 = score(doc=1573,freq=1.0), product of:
             0.52143085 = queryWeight, product of:
               4.5050864 = boost
               6.5366817 = idf(docFreq=174, maxDocs=44421)
               0.017706644 = queryNorm
             0.6128139 = fieldWeight in 1573, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.5366817 = idf(docFreq=174, maxDocs=44421)
               0.09375 = fieldNorm(doc=1573)
       0.2 = coord(5/25)
   

3. Li, L.X.; Xu, L.D.: Knowledge-based problem solving (2002) 0.12

   0.120001264 = sum of:
     0.120001264 = product of:
       0.7500079 = sum of:
         0.021802647 = weight(abstract_txt:then in 5259) [ClassicSimilarity], result of:
           0.021802647 = score(doc=5259,freq=1.0), product of:
             0.08647045 = queryWeight, product of:
               1.0592 = boost
               4.6105576 = idf(docFreq=1200, maxDocs=44421)
               0.017706644 = queryNorm
             0.25213987 = fieldWeight in 5259, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.6105576 = idf(docFreq=1200, maxDocs=44421)
               0.0546875 = fieldNorm(doc=5259)
         0.008649591 = weight(abstract_txt:with in 5259) [ClassicSimilarity], result of:
           0.008649591 = score(doc=5259,freq=1.0), product of:
             0.06336342 = queryWeight, product of:
               1.433618 = boost
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.017706644 = queryNorm
             0.13650765 = fieldWeight in 5259, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.0546875 = fieldNorm(doc=5259)
         0.1603606 = weight(abstract_txt:reasoning in 5259) [ClassicSimilarity], result of:
           0.1603606 = score(doc=5259,freq=2.0), product of:
             0.32703432 = queryWeight, product of:
               2.9131029 = boost
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.017706644 = queryNorm
             0.49034792 = fieldWeight in 5259, 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=5259)
         0.5591951 = weight(abstract_txt:solving in 5259) [ClassicSimilarity], result of:
           0.5591951 = score(doc=5259,freq=9.0), product of:
             0.52143085 = queryWeight, product of:
               4.5050864 = boost
               6.5366817 = idf(docFreq=174, maxDocs=44421)
               0.017706644 = queryNorm
             1.0724243 = fieldWeight in 5259, product of:
               3.0 = tf(freq=9.0), with freq of:
                 9.0 = termFreq=9.0
               6.5366817 = idf(docFreq=174, maxDocs=44421)
               0.0546875 = fieldNorm(doc=5259)
       0.16 = coord(4/25)
   

4. Sin, S.-C.J.: Social media and problematic everyday life information-seeking outcomes : differences across use frequency, gender, and problem-solving styles (2016) 0.10

   0.10018473 = sum of:
     0.10018473 = product of:
       0.50092363 = sum of:
         0.012270025 = weight(abstract_txt:this in 4043) [ClassicSimilarity], result of:
           0.012270025 = score(doc=4043,freq=3.0), product of:
             0.047104977 = queryWeight, product of:
               1.105586 = boost
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.017706644 = queryNorm
             0.26048255 = fieldWeight in 4043, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.0625 = fieldNorm(doc=4043)
         0.05252132 = weight(abstract_txt:answer in 4043) [ClassicSimilarity], result of:
           0.05252132 = score(doc=4043,freq=1.0), product of:
             0.14215343 = queryWeight, product of:
               1.358072 = boost
               5.9115076 = idf(docFreq=326, maxDocs=44421)
               0.017706644 = queryNorm
             0.36946923 = fieldWeight in 4043, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.9115076 = idf(docFreq=326, maxDocs=44421)
               0.0625 = fieldNorm(doc=4043)
         0.057273995 = weight(abstract_txt:difference in 4043) [ClassicSimilarity], result of:
           0.057273995 = score(doc=4043,freq=1.0), product of:
             0.15060471 = queryWeight, product of:
               1.3978592 = boost
               6.0846963 = idf(docFreq=274, maxDocs=44421)
               0.017706644 = queryNorm
             0.38029352 = fieldWeight in 4043, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0846963 = idf(docFreq=274, maxDocs=44421)
               0.0625 = fieldNorm(doc=4043)
         0.009885247 = weight(abstract_txt:with in 4043) [ClassicSimilarity], result of:
           0.009885247 = score(doc=4043,freq=1.0), product of:
             0.06336342 = queryWeight, product of:
               1.433618 = boost
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.017706644 = queryNorm
             0.15600874 = fieldWeight in 4043, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.0625 = fieldNorm(doc=4043)
         0.36897308 = weight(abstract_txt:solving in 4043) [ClassicSimilarity], result of:
           0.36897308 = score(doc=4043,freq=3.0), product of:
             0.52143085 = queryWeight, product of:
               4.5050864 = boost
               6.5366817 = idf(docFreq=174, maxDocs=44421)
               0.017706644 = queryNorm
             0.7076165 = fieldWeight in 4043, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.5366817 = idf(docFreq=174, maxDocs=44421)
               0.0625 = fieldNorm(doc=4043)
       0.2 = coord(5/25)
   

5. Poli, R.: Upper ontologies hold it together (2008) 0.10

   0.10013425 = sum of:
     0.10013425 = product of:
       0.50067127 = sum of:
         0.010626153 = weight(abstract_txt:this in 2685) [ClassicSimilarity], result of:
           0.010626153 = score(doc=2685,freq=1.0), product of:
             0.047104977 = queryWeight, product of:
               1.105586 = boost
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.017706644 = queryNorm
             0.2255845 = fieldWeight in 2685, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.09375 = fieldNorm(doc=2685)
         0.056548707 = weight(abstract_txt:integration in 2685) [ClassicSimilarity], result of:
           0.056548707 = score(doc=2685,freq=1.0), product of:
             0.11396055 = queryWeight, product of:
               1.215966 = boost
               5.2929387 = idf(docFreq=606, maxDocs=44421)
               0.017706644 = queryNorm
             0.49621302 = fieldWeight in 2685, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.2929387 = idf(docFreq=606, maxDocs=44421)
               0.09375 = fieldNorm(doc=2685)
         0.06185006 = weight(abstract_txt:forms in 2685) [ClassicSimilarity], result of:
           0.06185006 = score(doc=2685,freq=1.0), product of:
             0.120976076 = queryWeight, product of:
               1.252835 = boost
               5.453425 = idf(docFreq=516, maxDocs=44421)
               0.017706644 = queryNorm
             0.5112586 = fieldWeight in 2685, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.453425 = idf(docFreq=516, maxDocs=44421)
               0.09375 = fieldNorm(doc=2685)
         0.17725994 = weight(abstract_txt:constraints in 2685) [ClassicSimilarity], result of:
           0.17725994 = score(doc=2685,freq=1.0), product of:
             0.27941105 = queryWeight, product of:
               2.3319087 = boost
               6.7669935 = idf(docFreq=138, maxDocs=44421)
               0.017706644 = queryNorm
             0.6344056 = fieldWeight in 2685, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.7669935 = idf(docFreq=138, maxDocs=44421)
               0.09375 = fieldNorm(doc=2685)
         0.19438641 = weight(abstract_txt:reasoning in 2685) [ClassicSimilarity], result of:
           0.19438641 = score(doc=2685,freq=1.0), product of:
             0.32703432 = queryWeight, product of:
               2.9131029 = boost
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.017706644 = queryNorm
             0.59439147 = fieldWeight in 2685, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.09375 = fieldNorm(doc=2685)
       0.2 = coord(5/25)