- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Learnability Results for Elementary Formal Systems
EFS and Prolog programs
Shahid Hussain
Paperback | Engels
€ 48,45
+ 96 punten
Omschrijving
Elementary formal systems are a kind of logic
programs. We give a comprehensive relationship model
for a broad range of classes of elementary formal
systems (EFS) and Prolog Programs along with their
learnability results in the frameworks of learning
in the limit, learning from queries, learning from
entailment, and statistical framework of probably
approximately correct (PAC) learning. The
relationship model accompanies the proofs of
containment, partial containment, and/or
incompatibilities present among these classes.
Further, we study exact learning of two classes of
Prolog programs (or equivalently elementary formal
systems) from entailment. These two classes,
hereditary and reductive, of Prolog programs without
local variables contain many useful programs such as
add, append, lenght, merge, split, delete, member,
prefix, and suffix. We present an algorithm to
exactly learn hereditary and reductive
Prolog programs and analyze it for its correctness.
Moreover, the algorithm learns hereditary Prolog
programs in polynomial time.
programs. We give a comprehensive relationship model
for a broad range of classes of elementary formal
systems (EFS) and Prolog Programs along with their
learnability results in the frameworks of learning
in the limit, learning from queries, learning from
entailment, and statistical framework of probably
approximately correct (PAC) learning. The
relationship model accompanies the proofs of
containment, partial containment, and/or
incompatibilities present among these classes.
Further, we study exact learning of two classes of
Prolog programs (or equivalently elementary formal
systems) from entailment. These two classes,
hereditary and reductive, of Prolog programs without
local variables contain many useful programs such as
add, append, lenght, merge, split, delete, member,
prefix, and suffix. We present an algorithm to
exactly learn hereditary and reductive
Prolog programs and analyze it for its correctness.
Moreover, the algorithm learns hereditary Prolog
programs in polynomial time.
Specificaties
Betrokkenen
- Auteur(s):
- Uitgeverij:
Inhoud
- Aantal bladzijden:
- 80
- Taal:
- Engels
Eigenschappen
- Productcode (EAN):
- 9783639122015
- Verschijningsdatum:
- 1/03/2009
- Uitvoering:
- Paperback
- Afmetingen:
- 150 mm x 220 mm
- Gewicht:
- 123 g
Alleen bij Standaard Boekhandel
+ 96 punten op je klantenkaart van Standaard Boekhandel
E-BOOK ACTIE
Beoordelingen
We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.