Publicidad

Publicidad

becas.universia.netBiblioteca.Net

Buscar recursos:

Buscador Google

rss_1.0 Clasificación por Disciplina

Nomenclatura Unesco > (11) Lógica > (1102) Lógica deductiva > (1102.03) Lógica formal

Mostrando recursos 1 - 1 de 1

1. Modelling rational inquiry in non-ideal agents - Moreno Ribas, Antonio
Resum de la tesi doctoral L'objectiu principal del treball realitzat ha sigut el desenvolupar una manera de modelar el procés d'investigació racional (l'evolució de les creences d'un agent racional com a conseqüència de la seva interacció amb l'entorn i dels seus procesos d'inferència), mantenint la idea general del model dels móns possibles i la semàntica de Kripke, però intentant evitar els problemes de l'omnisciència lògica i el raonament ideal. Les contribucions principals del treball són: · S'ha fet un estudi molt detallat sobre les diferents propostes que s'han fet en el tema del tractament formal del problema de l'omnisciència lògica en les...
(application/pdf) - 18-jun-2004