A three-valued logic for Inductive Logic Programming
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
A three-valued logic for Inductive Logic Programming
|
| Id. |
41634809 |
| Idioma |
inglés
|
| Titulo |
A three-valued logic for Inductive Logic Programming |
| Autor(es) |
Siegfried Bell,Steffo Weber
|
| Localización |
http://citeseer.ist.psu.edu/199692.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Inductive Logic Programming (ILP) is closely related to Logic Programming (LP) by
the name. We extract the basic differences of ILP and LP by comparing both and give
definitions of the basic assumptions of their paradigms, e.g. closed world assumption, the
open domain assumption and the open world assumption used in ILP.
We then define a three--valued semantic of ILP and point out relations between our
semantic and the framework of Plotkin, [Plotkin, 1971], and of Helft, [Helft, 1989]. Finally,
we show how FOIL, [Quinlan, 1990] fits in our work and we compare our semantic with
other three-valued logics.
CONTENTS 1
Contents
1 Introduction 2
2 Logic Programming and Inductive Logic Programming 2
3 A logical framework 6
3.1 Assumptions in ILP : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 6
3.2 A partial Herbrand interpretation : : : : : : : : : : : : : : : : : : : : : : : : 8
3.3 A semantic of a program P : : : : : : : : : : : : : : : : : : : : : : : : : : : 9
3.4 Valid...
|
| Tipo |
ps
|
| Palabras clave |
Siegfried Bell,Steffo Weber A three-valued logic for Inductive Logic Programming
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
unrestricted |
| Formatos |
ps
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www-ai.informatik.uni-dortmund.de/DOKUMENTE/bell_weber_93a.ps.gz
|
| Fecha de contribución |
31-mar-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
