Sistemas multi-modales de profundidad restringida
Fuente:
Redalyc
Saved in:
| Main Author: | |
|---|---|
| Format: | Artículo científico |
| Language: | es |
| Published: |
Universidad EAFIT
2008
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1876435452178726912 |
|---|---|
| author | Manuel Sierra A. |
| author_facet | Manuel Sierra A. |
| contents | Sistemas multi-modales de profundidad restringida Manuel Sierra A. Ingeniería modal Lógica multi lenguaje con restricciones razonadores con restricciones Se presentan como extensiones del cálculo proposicional clásico, la jerarquía de sistemas deductivos SMM-n con n > 1. SMM-n es el sistema multi-modal de profundidad-n. El sistema SMM-1 es el cálculo proposicional clásico. El sistema SMM-(n + 1) puede ser visto como el resultado de aplicar la regla de necesariedad, asociada a los razonadores con suficiente capacidad de razonamiento, una vez a los teoremas del sistema SMM-n. El sistema SMM resulta de la reunión de los sistemas de la jerarquía, y puede ser visto como el sistema de lógica multi-modal Km con restricciones. Los sistemas SMM-n son caracterizados con una semántica al estilo Kripke, en la cual, la longitud de las cadenas de mundos posibles se encuentra restringida. 2008 artículo científico 1794-9165 https://www.redalyc.org/articulo.oa?id=83540808 es http://www.redalyc.org/revista.oa?id=835 Ingeniería y Ciencia application/pdf Universidad EAFIT Ingeniería y Ciencia (Colombia) Num.8 Vol.4 |
| format | Artículo científico |
| id | redalyc_83540808 |
| institution | Redalyc |
| language | es |
| publishDate | 2008 |
| publisher | Universidad EAFIT |
| spellingShingle | Sistemas multi-modales de profundidad restringida Manuel Sierra A. Ingeniería modal Lógica multi lenguaje con restricciones razonadores con restricciones Sistemas multi-modales de profundidad restringida Manuel Sierra A. Ingeniería modal Lógica multi lenguaje con restricciones razonadores con restricciones Se presentan como extensiones del cálculo proposicional clásico, la jerarquía de sistemas deductivos SMM-n con n > 1. SMM-n es el sistema multi-modal de profundidad-n. El sistema SMM-1 es el cálculo proposicional clásico. El sistema SMM-(n + 1) puede ser visto como el resultado de aplicar la regla de necesariedad, asociada a los razonadores con suficiente capacidad de razonamiento, una vez a los teoremas del sistema SMM-n. El sistema SMM resulta de la reunión de los sistemas de la jerarquía, y puede ser visto como el sistema de lógica multi-modal Km con restricciones. Los sistemas SMM-n son caracterizados con una semántica al estilo Kripke, en la cual, la longitud de las cadenas de mundos posibles se encuentra restringida. 2008 artículo científico 1794-9165 https://www.redalyc.org/articulo.oa?id=83540808 es http://www.redalyc.org/revista.oa?id=835 Ingeniería y Ciencia application/pdf Universidad EAFIT Ingeniería y Ciencia (Colombia) Num.8 Vol.4 |
| title | Sistemas multi-modales de profundidad restringida |
| topic | Ingeniería modal Lógica multi lenguaje con restricciones razonadores con restricciones |
| url | https://www.redalyc.org/articulo.oa?id=83540808 |