Tipos de razonadores
| dc.citation.epage | 116 | |
| dc.citation.issue | 146 | |
| dc.citation.journalTitle | Revista Universidad EAFIT | eng |
| dc.citation.spage | 102 | |
| dc.citation.volume | 43 | |
| dc.contributor.affiliation | Universidad EAFIT | spa |
| dc.contributor.author | Sierra Aristizábal, Manuel | sp |
| dc.coverage.spatial | Medellín de: Lat: 06 15 00 N degrees minutes Lat: 6.2500 decimal degrees Long: 075 36 00 W degrees minutes Long: -75.6000 decimal degrees | |
| dc.date | 2007 | |
| dc.date.accessioned | 2020-06-12T16:43:26Z | |
| dc.date.available | 2020-06-12T16:43:26Z | |
| dc.date.issued | 2007 | |
| dc.description | Se presentan como extensiones del cálculo proposicional clásico, las jerarquías de sistemas deductivos SCR-(n+1) y CP-n con n ≥ 0. SCR-n es el sistema de creencias para los razonadores de tipo n y CP-n es el cálculo proposicional asociado a los razonadores de tipo n. Los teoremas de los sistemas SCR-n son interpretados como las creencias de un razonador de tipo-n, mientras en los sistemas CP-n se interioriza la noción de creencia mediante el operador [R], en el siguiente sentido: X es una creencia de un razonador tipo-n (X es un teorema de SCR-n) sí y solamente si [R]X es un teorema de CP-n. Cuando se hace la unión de los sistemas de creencias se produce el sistema SCR-w, el cual coincide con el sistema de lógica modal K, por lo que la jerarquía SCR-n resulta ubicada entre el cálculo proposicional clásico y el sistema modal K. La forma como se construyen los sistemas garantiza que un razonador de tipo-(n+1) sepa que es de tipo-n en el siguiente sentido: en el sistema SCR- (n+1) se tienen como teorema, además de los teoremas de SCR-n, la creencia en dichos teoremas; y el razonador de tipo-(n+1) sabe que aplica las reglas de inferencia que utiliza un razonador de tipo- n. Como además un razonador de tipo-n no siempre puede saber que es de tipo-n, resulta que los razonadores de la jerarquía no son autoconcientes. La autoconciencia sólo se puede garantizar al extender el sistema SCR-w al sistema modal K4. | spa |
| dc.format | application/pdf | |
| dc.identifier.issn | 0120-341X | |
| dc.identifier.uri | http://hdl.handle.net/10784/16724 | |
| dc.language.iso | spa | |
| dc.publisher | Universidad EAFIT | spa |
| dc.relation.isversionof | http://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/774/681 | |
| dc.relation.uri | http://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/774/681 | |
| dc.rights | Copyright © 2007 Manuel Sierra Aristizábal | eng |
| dc.rights.accessrights | info:eu-repo/semantics/openAccess | eng |
| dc.rights.local | Acceso abierto | spa |
| dc.source | Revista Universidad EAFIT, Vol. 43, No. 146 (2007) | spa |
| dc.subject.keyword | Razonador | spa |
| dc.subject.keyword | Creencia | spa |
| dc.subject.keyword | Sistema deductivo | spa |
| dc.subject.keyword | Jerarquía | spa |
| dc.subject.keyword | Modal | spa |
| dc.title | Tipos de razonadores | spa |
| dc.type | article | eng |
| dc.type | info:eu-repo/semantics/article | eng |
| dc.type | publishedVersion | eng |
| dc.type | info:eu-repo/semantics/publishedVersion | eng |
| dc.type.local | Artículo | spa |
Archivos
Bloque original
1 - 2 de 2
No hay miniatura disponible
- Nombre:
- document - 2020-08-07T142538.432.pdf
- Tamaño:
- 637.59 KB
- Formato:
- Adobe Portable Document Format
- Descripción:
- Texto completo PDF
No hay miniatura disponible
- Nombre:
- articulo - copia.html
- Tamaño:
- 389 B
- Formato:
- Hypertext Markup Language
- Descripción:
- Texto completo HTML