Repositorio de producción científica de la Universidad de Sevilla

Deducción y generación de modelos de cardinalidad finita

 

Advanced Search
 
Opened Access Deducción y generación de modelos de cardinalidad finita
Cites
Show item statistics
Icon
Export to
Author: Nepomuceno Fernández, Ángel
Soler Toscano, Fernando
Salguero Lamillar, Francisco J.
Department: Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia
Universidad de Sevilla. Departamento de Lengua Española, Lingüística y Teoría de la Literatura
Date: 2006
Published in: Una perspectiva de la Inteligencia Artificial en su 50 aniversario
ISBN/ISSN: 84-689-9560-6
Document type: Chapter of Book
Abstract: Presentamos un procedimiento de tablas semánticas distinto de las estándar en el tratamiento dado a las sentencias de la clase δ, proponiendo modificaciones de esta regla que eviten la generación de ramas infinitas. Las nuevas tablas se revelan útiles para el estudio de lenguajes lógico-formales con semántica finitaria, en particular como procedimiento para definir modelos finitos de sentencias satisfacibles. Mostramos también la aplicabilidad de estos resultados al análisis de la ambigüedad y otros fenómenos en la interpretación del discurso.
Size: 169.7Kb
Format: PDF

URI: http://hdl.handle.net/11441/50565

This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)