Learnability Results for Elementary Formal Systems

Name: Learnability Results for Elementary Formal Systems
Brand: VDM Verlag
SKU: 9783639122015
Price: 48.46 EUR
Availability: InStock

EFS and Prolog programs

Autor: Shahid Hussain

Jazyk:

Väzba: Brožovaná

Vydavateľ: VDM Verlag

Dostupnosť: U vydavateľa na objednávku

Odosielame za 17-27 dní

48.46 €

Elementary formal systems are a kind of logic§programs. We give a comprehensive relationship model§f...

Informácie o knihe

Autor

Shahid Hussain

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2009

Stránok

EAN

9783639122015

ISBN

3639122011

Enbook ID

06821007

Vydavateľ

VDM Verlag

Hmotnosť

127

Rozmery

152 x 229 x 5

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Learnability Results for Elementary Formal Systems

EFS and Prolog programs

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež