Startsida
Hjälp
Sök i LIBRIS databas

     

 

Sökning: onr:2jxrzmx50clv7z4r > Predicate construct...

Predicate construction in higher-order logic / J. W. Lloyd.

Lloyd, John W. (författare)
Publicerad: Linköping : Linköping University Electronic Press, 2000
Engelska 1 onlineresurs (25 sidor)
Serie: Linköping Electronic Articles in Computer and Information Science, 1401-9841 ; 5:32
Läs hela texten (Sammanfattning och fulltext från Linköping University Electronic Press)
  • E-bok
Sammanfattning
Stäng  
  • Predicate construction is a guided search process: a space of predicates must be enumerated in some systematic way in order to find, according to some criterion, a suitable predicate for some purpose. Often the search space is large and heuristics are used to guide the search. Typically, predicate construction is studied and implemented in the context of first-order logic. In this paper, I outline the foundations of predicate construction in higher-order logic. The main contribution is a method of incremental construction of predicates on higher-order terms that represent individuals. Applications of the approach to machine learning are indicated. 
Inställningar Hjälp

Titeln finns på 1 bibliotek. 

Bibliotek i östra Sverige (1)

Ange som favorit

Sök utanför LIBRIS

Hjälp
Om LIBRIS
Sekretess
Hjälp
Fel i posten?
Kontakt
Teknik och format
Sök utifrån
Sökrutor
Plug-ins
Bookmarklet
Anpassa
Textstorlek
Kontrast
Vyer
LIBRIS söktjänster
SwePub
Uppsök

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Copyright © LIBRIS - Nationella bibliotekssystem

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy