Negation in Logic and Deductive Databases
|
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
|
|
|
Negation in Logic and Deductive Databases
|
| Id. |
41745753 |
| Idioma |
inglés
|
| Titulo |
Negation in Logic and Deductive Databases |
| Autor(es) |
Xuegang Wang
|
| Localización |
http://citeseer.ist.psu.edu/310612.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
This thesis studies negation in logic and deductive databases. Among other
things, two kinds of negation are discussed in detail: strong negation and nonmonotonic
negation.
In the logic part, we have constructed a first-order logic CF
0
of strong negation
with bounded quantifiers. The logic is based on constructive logics, in particular,
Thomason's logic CF. However, unlike constructive logic, quantifiers in our system
as in Thomason's are static rather than dynamic. For the logic CF
0
, the usual Kripke
formal semantics is defined but based on situations instead of conventional possible
worlds. A sound and complete axiomatic system of CF
0
is established based on
the axiomatic systems of constructive logics with strong negation and Thomason's
completeness proof techniques. CF
0
is proposed as the underlying logic for situation
theory. Thus the connection between CF
0
and infon logic is briefly discussed.
In the database part, based on the study of some main existing semant...
|
| Tipo |
ps
|
| Palabras clave |
Xuegang Wang Negation in Logic and Deductive Databases
|
| 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] ftp://agora.leeds.ac.uk/scs/doc/theses/xg_wang.ps.gz
[References] oai:CiteSeerPSU:23536
[References] oai:CiteSeerPSU:28290
[References] oai:CiteSeerPSU:17820
[References] oai:CiteSeerPSU:376297
[References] oai:CiteSeerPSU:140540
[References] oai:CiteSeerPSU:260546
[References] oai:CiteSeerPSU:221709
[References] oai:CiteSeerPSU:221709
[References] oai:CiteSeerPSU:217554
[References] oai:CiteSeerPSU:4173
[References] oai:CiteSeerPSU:370731
[References] oai:CiteSeerPSU:333965
[References] oai:CiteSeerPSU:40779
[References] oai:CiteSeerPSU:54199
[References] oai:CiteSeerPSU:93843
[References] oai:CiteSeerPSU:200965
[References] oai:CiteSeerPSU:6565
[References] oai:CiteSeerPSU:531756
[References] oai:CiteSeerPSU:61330
[References] oai:CiteSeerPSU:116523
[References] oai:CiteSeerPSU:107719
[References] oai:CiteSeerPSU:347151
[References] oai:CiteSeerPSU:350281
|
| 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.
|
|
|
|
