Learnability Results for Elementary Formal Systems

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

EFS and Prolog programs

Autor: Shahid Hussain

Jazyk:

Vazba: Brožovaná

Vydavatel: VDM Verlag

Dostupnost: U nakladatele na objednávku

Odesíláme za 17-27 dnů

1 174 Kč

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

Informace o knize

Autor

Shahid Hussain

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2009

Stránek

EAN

9783639122015

ISBN

3639122011

Enbook ID

06821007

Vydavatel

VDM Verlag

Hmotnost

127

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Learnability Results for Elementary Formal Systems

EFS and Prolog programs

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také