storage and retrieval of first order logic terms in a database
DESCRIPTION
Storage and retrieval of first order logic terms in a database. Peter Gurský UI PF UPJŠ Košice Dateso 2004. f (g(“a”,x),”c”) f(g(x,“b“),y) f (g(“a”,”b”),”a”) f(g(x,”c”),”b”) f(x,y). unifikovate ľné generalizácie inštancie variácie identity. ?. Query term:. f(g (“a”,”c”),”b”). - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Storage and retrieval of first order logic terms in a database](https://reader036.vdocuments.net/reader036/viewer/2022072013/56812be5550346895d90610e/html5/thumbnails/1.jpg)
Storage and retrieval of first order logic Storage and retrieval of first order logic terms in a databaseterms in a database
Peter Gurský
UI PF UPJŠ Košice Dateso 2004
![Page 2: Storage and retrieval of first order logic terms in a database](https://reader036.vdocuments.net/reader036/viewer/2022072013/56812be5550346895d90610e/html5/thumbnails/2.jpg)
f(x,g(“a”))
f(g(y),g(y))
f(g(“a”,x),”c”)
f(g(x,“b“),y)
f(g(“a”,”b”),”a”)
f(g(x,”c”),”b”)
f(x,y)f(g(“a”,”c”),”b”)
Query term: ?unifikovateľné
generalizácie
inštancie
variácie
identity
![Page 3: Storage and retrieval of first order logic terms in a database](https://reader036.vdocuments.net/reader036/viewer/2022072013/56812be5550346895d90610e/html5/thumbnails/3.jpg)
Indexovanie
•Symbol-based indexing
•Attribute-based indexing
![Page 4: Storage and retrieval of first order logic terms in a database](https://reader036.vdocuments.net/reader036/viewer/2022072013/56812be5550346895d90610e/html5/thumbnails/4.jpg)
Discrimination treesf(g(“a”,x),”c”)
f(g(x,“b“),y)
f(g(“a”,”b”),”a”)
f(g(x,”c”),”b”)
f(x,y)
f(g(a,*),c)
f(g(*,b),*)
f(g(a,b),a)
f(g(*,c),b)
f(*,*)
p-stringy:
f(g(“a”,”c”),”b”)
Query term:
generalizácia
Návratová podm.
![Page 5: Storage and retrieval of first order logic terms in a database](https://reader036.vdocuments.net/reader036/viewer/2022072013/56812be5550346895d90610e/html5/thumbnails/5.jpg)
f(a,g(1,h(b),a),h(4,h(b)))
Jump list
f(a,*,h(4,*))
![Page 6: Storage and retrieval of first order logic terms in a database](https://reader036.vdocuments.net/reader036/viewer/2022072013/56812be5550346895d90610e/html5/thumbnails/6.jpg)
Unifikácia na grafoch termov (dagoch)
f(x,g(”a”)) f(g(y),g(y))?
x => g(”a”), y=>”a”
![Page 7: Storage and retrieval of first order logic terms in a database](https://reader036.vdocuments.net/reader036/viewer/2022072013/56812be5550346895d90610e/html5/thumbnails/7.jpg)
Reprezentácia termovf(a,g(1,h(b),a),h(4,h(b)))
![Page 8: Storage and retrieval of first order logic terms in a database](https://reader036.vdocuments.net/reader036/viewer/2022072013/56812be5550346895d90610e/html5/thumbnails/8.jpg)
Reprezentácia indexovacej štruktúry
![Page 9: Storage and retrieval of first order logic terms in a database](https://reader036.vdocuments.net/reader036/viewer/2022072013/56812be5550346895d90610e/html5/thumbnails/9.jpg)
Tabuľky
![Page 10: Storage and retrieval of first order logic terms in a database](https://reader036.vdocuments.net/reader036/viewer/2022072013/56812be5550346895d90610e/html5/thumbnails/10.jpg)
Hľadanie termov
1. Vyhľadanie id subtermov query termu v tabuľke SYMBOL
• Ak sme nenašli niektoré id a návratová podmienka je inštancia alebo variácia tak STOP, inak pridelíme nové id
2. Nájdenie kandidátov v indexe príslušných množín
3. Získanie kandidátov z databázy
4. Výpočet substitúcií a odstránenie nevyhovujúcich kandidátov
![Page 11: Storage and retrieval of first order logic terms in a database](https://reader036.vdocuments.net/reader036/viewer/2022072013/56812be5550346895d90610e/html5/thumbnails/11.jpg)
Ďakujem za pozornosťĎakujem za pozornosť
Peter Gurský
UI PF UPJŠ Košice Dateso 2004