Saved in:
| Main Author: | |
|---|---|
| Format: | Artículo científico |
| Language: | es |
| Published: |
Asociación Española para la Inteligencia Artificial
2004
|
| Subjects: | |
| Online Access: | https://www.redalyc.org/articulo.oa?id=92502303 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866573449590210560 |
|---|---|
| author | Manuel Enciso |
| author_facet | Manuel Enciso |
| contents | Una forma normal temporal independiente del método de deducción Manuel Enciso Inmaculada P. de Guzmán Carlos Rossi Ingeniería lógica forma normal Razonamiento temporal En este trabajo se presenta la definición de una forma normal para una lógica modal temporal. Como lógicaobjetivo hemos elegido la lógica LNint-e, que destaca por tratarse de una lógica que combina puntos e intervalosy disponer simultáneamente de un tratamiento del tiempo absoluto y relativo.Nuestro principal objetivo al definir la forma normal ha sido dotarla de una absoluta independencia respectoal método de deducción. De este modo, dicha forma normal puede ser usada por cualquier demostradorautomático de teoremas, con diferentes paradigmas (resolución, tablas semánticas, etc.) e incluso ser incorporadaa métodos de deducción como el chequeo de modelos para aumentar el rendimiento de éstos. Así, enel proceso de normalización se busca esencialmente reducir la complejidad de las expresiones lógicas en lugarde preparar ésta para un determinado tratamiento automático.La definición introducida se basa principalmente en el concepto de literal temporal. Este concepto permitela construcci´on de transformaciones de equivalencia que reducen la complejidad de la fórmula de entrada.Entre estas transformaciones conviene destacar por su novedad aquellas que permiten la eliminación de conectivastemporales binarias, que suponen un mayor coste de procesamiento en los métodos de pruebas. Losbeneficios de este trabajo han sido comprobados empíricamente mediante una implementación del método,cuyos resultados se comentan también en este trabajo 2004 artículo científico 1137-3601 https://www.redalyc.org/articulo.oa?id=92502303 es http://www.redalyc.org/revista.oa?id=925 Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial application/pdf Asociación Española para la Inteligencia Artificial Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial (España) Num.23 Vol.8 |
| format | Artículo científico |
| id | redalyc_92502303 |
| language | es |
| publishDate | 2004 |
| publisher | Asociación Española para la Inteligencia Artificial |
| spellingShingle | Una forma normal temporal independiente del método de deducción Manuel Enciso Ingeniería lógica forma normal Razonamiento temporal Una forma normal temporal independiente del método de deducción Manuel Enciso Inmaculada P. de Guzmán Carlos Rossi Ingeniería lógica forma normal Razonamiento temporal En este trabajo se presenta la definición de una forma normal para una lógica modal temporal. Como lógicaobjetivo hemos elegido la lógica LNint-e, que destaca por tratarse de una lógica que combina puntos e intervalosy disponer simultáneamente de un tratamiento del tiempo absoluto y relativo.Nuestro principal objetivo al definir la forma normal ha sido dotarla de una absoluta independencia respectoal método de deducción. De este modo, dicha forma normal puede ser usada por cualquier demostradorautomático de teoremas, con diferentes paradigmas (resolución, tablas semánticas, etc.) e incluso ser incorporadaa métodos de deducción como el chequeo de modelos para aumentar el rendimiento de éstos. Así, enel proceso de normalización se busca esencialmente reducir la complejidad de las expresiones lógicas en lugarde preparar ésta para un determinado tratamiento automático.La definición introducida se basa principalmente en el concepto de literal temporal. Este concepto permitela construcci´on de transformaciones de equivalencia que reducen la complejidad de la fórmula de entrada.Entre estas transformaciones conviene destacar por su novedad aquellas que permiten la eliminación de conectivastemporales binarias, que suponen un mayor coste de procesamiento en los métodos de pruebas. Losbeneficios de este trabajo han sido comprobados empíricamente mediante una implementación del método,cuyos resultados se comentan también en este trabajo 2004 artículo científico 1137-3601 https://www.redalyc.org/articulo.oa?id=92502303 es http://www.redalyc.org/revista.oa?id=925 Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial application/pdf Asociación Española para la Inteligencia Artificial Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial (España) Num.23 Vol.8 |
| title | Una forma normal temporal independiente del método de deducción |
| topic | Ingeniería lógica forma normal Razonamiento temporal |
| url | https://www.redalyc.org/articulo.oa?id=92502303 |