Upload
drake-banks
View
37
Download
3
Embed Size (px)
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 Presentation
Citation preview
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
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
Indexovanie
•Symbol-based indexing
•Attribute-based indexing
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.
f(a,g(1,h(b),a),h(4,h(b)))
Jump list
f(a,*,h(4,*))
Unifikácia na grafoch termov (dagoch)
f(x,g(”a”)) f(g(y),g(y))?
x => g(”a”), y=>”a”
Reprezentácia termovf(a,g(1,h(b),a),h(4,h(b)))
Reprezentácia indexovacej štruktúry
Tabuľky
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
Ďakujem za pozornosťĎakujem za pozornosť
Peter Gurský
UI PF UPJŠ Košice Dateso 2004