Tableaus for 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
|
|
|
Tableaus for Logic Programming
|
| Id. |
41722669 |
| Idioma |
inglés
|
| Titulo |
Tableaus for Logic Programming |
| Localización |
http://citeseer.ist.psu.edu/287528.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
We present a logic programming language, which we call Proflog, with an operational semantics
based on tableaus, and a denotational semantics based on supervaluations. We show
the two agree. Negation is well-behaved, and semantic non-computability issues do not arise.
This is accomplished essentially by dropping a domain closure requirement. The cost is that
intuitions developed through the use of classical logic may need modification, though the system
is still classical at a level once removed. Implementation problems are discussed very briefly ---
the thrust of the paper is primarily theoretical.
1 Introduction
Life would be almost perfect if we had a logic programming language that was e#cient, treated
negation naturally, and had a semantics that exactly fit its computational mechanism. As we
all know, life is not almost perfect. But in the spirit of honest compromise, we propose a logic
programming language that goes part way towards meeting these ideal goals.
Over the ye...
|
| Tipo |
pdf
|
| Palabras clave |
Tableaus for Logic Programming
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
unrestricted |
| Formatos |
pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://comet.lehman.cuny.edu/fitting/bookspapers/pdf/papers/LPTableaus.pdf
[References] oai:CiteSeerPSU:302704
[References] oai:CiteSeerPSU:116523
|
| Fecha de contribución |
31-mar-2009 |
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
