Caracterización deductiva de los árboles de forzamiento semántico
Fuente:
Redalyc
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Artículo científico |
| Lingua: | es |
| Pubblicazione: |
Universidad EAFIT
2006
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1876488748385959936 |
|---|---|
| author | Manuel Sierra A. |
| author_facet | Manuel Sierra A. |
| contents | Caracterización deductiva de los árboles de forzamiento semántico Manuel Sierra A. Ingeniería valuación semántica sistema deductivo Árbol de forzamiento El cálculo proposicional clásico está caracterizado por una herramienta de inferencia visual llamada árboles de forzamiento semántico. Con esta herramienta se marcan los nodos del árbol asociado a una fórmula dada, y con base en estas marcas se determina si la fórmula es válida o no. En caso de invalidez, la valuación que refuta la validez de la fórmula está determinada por las marcas de las hojas en su árbol de forzamiento. En caso de validez, se puede construir una deducción formal de la fórmula asociada a la raíz del árbol; esto se logra debido a que cada regla utilizada para marcar los nodos en el árbol está asociada a una regla de inferencia en el sistema deductivo. 2006 artículo científico 1794-9165 https://www.redalyc.org/articulo.oa?id=83520306 es http://www.redalyc.org/revista.oa?id=835 Ingeniería y Ciencia application/pdf Universidad EAFIT Ingeniería y Ciencia (Colombia) Num.3 Vol.2 |
| format | Artículo científico |
| id | redalyc_83520306 |
| institution | Redalyc |
| language | es |
| publishDate | 2006 |
| publisher | Universidad EAFIT |
| spellingShingle | Caracterización deductiva de los árboles de forzamiento semántico Manuel Sierra A. Ingeniería valuación semántica sistema deductivo Árbol de forzamiento Caracterización deductiva de los árboles de forzamiento semántico Manuel Sierra A. Ingeniería valuación semántica sistema deductivo Árbol de forzamiento El cálculo proposicional clásico está caracterizado por una herramienta de inferencia visual llamada árboles de forzamiento semántico. Con esta herramienta se marcan los nodos del árbol asociado a una fórmula dada, y con base en estas marcas se determina si la fórmula es válida o no. En caso de invalidez, la valuación que refuta la validez de la fórmula está determinada por las marcas de las hojas en su árbol de forzamiento. En caso de validez, se puede construir una deducción formal de la fórmula asociada a la raíz del árbol; esto se logra debido a que cada regla utilizada para marcar los nodos en el árbol está asociada a una regla de inferencia en el sistema deductivo. 2006 artículo científico 1794-9165 https://www.redalyc.org/articulo.oa?id=83520306 es http://www.redalyc.org/revista.oa?id=835 Ingeniería y Ciencia application/pdf Universidad EAFIT Ingeniería y Ciencia (Colombia) Num.3 Vol.2 |
| title | Caracterización deductiva de los árboles de forzamiento semántico |
| topic | Ingeniería valuación semántica sistema deductivo Árbol de forzamiento |
| url | https://www.redalyc.org/articulo.oa?id=83520306 |