Data/hora: 24/06/2024 20:43:12

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 16/02/1998
Data da última atualização: | 12/12/2007
Autoria: | NICOLETTI, M. C.; MONARD, M. C.
Título: | Constructing the extensional representation of an intensional domain theory in inductive logic programming.
Ano de publicação: | 1995
Fonte/Imprenta: | In: BRAZILIAN SYMPOSIUM ON ARTIFICIAL INTELLIGENCE, 12., 1995, Campinas. Advances in artificial intelligence: proceedings. Berlin: Springer, 1995.
Páginas: | p.171-180
Série: | (Lecture Notes in Artificial Intelligence, 991; Lecture Notes in Computer Science).
ISBN: | 3-540-60436-7
Idioma: | Inglês
Notas: | SBIA'95. Ed. by Jacques Wainer and Ariadne Carvalho.
Conteúdo: | Introductive Logic Programming - ILP - is a new paradigm in the field of machine learning, which adopts the language  or logic programs as a description language for the expression of instances, hipothesis and domain theory. Learning logical definitions requires the exploration of a very large space of hypothesis descriptions and, consequently, restrictions should be imposed on the hipothesis space to make learning a feasible task. In this work we discuss ways of confining the ILP hypothesis space by restricting the domain theory description language. Specially we focus on the notion of generative clauses, which enable the construction of a restricted form of horn clause program. In fact, the use of generative logic programs as description language allows for automatic transformation of the intensional expression of a domain theory into its extensional expression, as required by many existing ILP systems. We present an ILP environment which takes as input an intensional domain theory are generative, automatically constructs the extensional expression of this domain theory. We illustrate the use of this implemented environment through the ILP system GOLEM.
Palavras-Chave: | Inteligencia artificial.
Thesaurus Nal: | artificial intelligence.
Categoria do assunto: | --
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (6593-1) - ADD - PL - -- - 006.3 - BRA - 1996.00012 - DIS