Kniha Inductive Temporal Logic Programming Robert Kolter

Inductive Temporal Logic Programming

Learning Temporal Logic Programs from Examples

Autor: Robert Kolter
Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: U nakladatele na objednávku
Odesíláme za 17-27 dnů
2 320
We study the extension of techniques from Inductive Logic Programming (ILP) to temporal logic progra...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2010
Stránek
312
EAN
9783838121499
ISBN
383812149X
Enbook ID
06987318
Hmotnost
458
Rozměry
152 x 229 x 18

Kompletní popis

We study the extension of techniques from Inductive Logic Programming (ILP) to temporal logic programming languages. Therefore we present two temporal logic programming languages and analyse the learnability of programs from these languages from finite sets of examples. In first order temporal logic the following topics are analysed: How can we characterize the denotational semantics of programs? Which proof techniques are best suited? How complex is the learning task? In propositional temporal logic we analyse the following topics: How can we use well known techniques from model checking in order to refine programs? How complex is the learning task? In both cases we present estimations for the VC-dimension of selected classes of programs.

Mohlo by vás zajímat

5 753

I Am Why They Killed Diana

Cynthia Queen of Scots and America
476
489
169
3 294
4 566
379

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

Aphrodite

Pierre Louys
286
222
265