Modelling rational inquiry in non-ideal agents

de la tesi doctoral<br/><br/>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 s...

Descripción completa

Detalles Bibliográficos
Autor: Moreno Ribas, Antonio
Tipo de recurso: tesis doctoral
Estado:Versión publicada
Fecha de publicación:2000
País:España
Institución:CBUC, CESCA
Repositorio:TDR. Tesis Doctorales en Red
OAI Identifier:oai:www.tdx.cat:10803/6636
Acceso en línea:http://www.tdx.cat/TDX-0612101-155247
http://hdl.handle.net/10803/6636
https://dx.doi.org/10.5821/dissertation-2117-93947
Access Level:acceso abierto
Palabra clave:investigació racional
lògiques modals
ommisciència lògica
1203. Ciencia dels ordinadors
68
id ES_afb577ff6304bafbfc2c548c3a13b011
oai_identifier_str oai:www.tdx.cat:10803/6636
network_acronym_str ES
network_name_str España
repository_id_str
dc.title.none.fl_str_mv Modelling rational inquiry in non-ideal agents
title Modelling rational inquiry in non-ideal agents
spellingShingle Modelling rational inquiry in non-ideal agents
Moreno Ribas, Antonio
investigació racional
lògiques modals
ommisciència lògica
1203. Ciencia dels ordinadors
68
title_short Modelling rational inquiry in non-ideal agents
title_full Modelling rational inquiry in non-ideal agents
title_fullStr Modelling rational inquiry in non-ideal agents
title_full_unstemmed Modelling rational inquiry in non-ideal agents
title_sort Modelling rational inquiry in non-ideal agents
dc.creator.none.fl_str_mv Moreno Ribas, Antonio
author Moreno Ribas, Antonio
author_facet Moreno Ribas, Antonio
author_role author
dc.contributor.none.fl_str_mv Cortés, Ulises, 1960-
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.subject.none.fl_str_mv investigació racional
lògiques modals
ommisciència lògica
1203. Ciencia dels ordinadors
68
topic investigació racional
lògiques modals
ommisciència lògica
1203. Ciencia dels ordinadors
68
description de la tesi doctoral<br/><br/>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:<br/><br/>· 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 lògiques modals de creences. Aquest estudi ressalta les semblances i diferències entre les diverses solucions i mostra fins a quin punt solucionen el problema del raonament ideal.<br/>· Com a resultat d'aquest estudi, es suggereix una nova aproximació al problema, basada en el concepte dels móns impossibles. La idea principal és que una situació pot ser percebuda de diferents maneres per diferents agents; així, una situació pot ser descrita de forma subjectiva per cadascun d'ells. A més, en cada situació un agent pot tenir raons per recolzar i/o rebutjar determinats fets. La percepció que un agent té del seu entorn determina les seves creences en aquella situació. Aquestes són les idees bàsiques del concepte de situacions subjectives proposat a la tesi.<br/>· S'ha determinat quines són les activitats bàsiques que poden modificar les creences d'un agent racional (realització de deduccions, plantejament de dubtes, plantejament de preguntes a l'entorn i rebuda de dades externes). També s'ha definit una classe específica d'agents racionals, els investigadors racionals, que realitzen aquestes activitats d'una forma concreta (manipulant fórmules de primer ordre en un arbre de taulers analítics).<br/>· Per últim, a la tesi es mostra com l'evolució de les creences dels investigadors racionals, causada per la seva anàlisi dinàmica multi-dimensional, pot ser modelitzada formalment dins del marc de les situacions subjectives. Això es fa utilitzant les situacions concebibles, que corresponen a aquells escenaris que l'agent pot considerar, independenment de la seva possible parcialitat o inconsistència. L'evolució de les creences d'un agent es modelitza amb la generació d'una seqüència de relacions d'accessibilitat, en la que, després de cada pas d'anàlisi de les creences, van canviant les situacions concebibles considerades com a alternatives viables per l'agent.
publishDate 2000
dc.date.none.fl_str_mv 2000
2001
2001
2011
dc.type.none.fl_str_mv info:eu-repo/semantics/doctoralThesis
info:eu-repo/semantics/publishedVersion
format doctoralThesis
status_str publishedVersion
dc.identifier.none.fl_str_mv http://www.tdx.cat/TDX-0612101-155247
http://hdl.handle.net/10803/6636
https://dx.doi.org/10.5821/dissertation-2117-93947
url http://www.tdx.cat/TDX-0612101-155247
http://hdl.handle.net/10803/6636
https://dx.doi.org/10.5821/dissertation-2117-93947
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Universitat Politècnica de Catalunya
publisher.none.fl_str_mv Universitat Politècnica de Catalunya
dc.source.none.fl_str_mv TDX (Tesis Doctorals en Xarxa)
reponame:TDR. Tesis Doctorales en Red
instname:CBUC, CESCA
instname_str CBUC, CESCA
reponame_str TDR. Tesis Doctorales en Red
collection TDR. Tesis Doctorales en Red
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869416707538288640
spelling Modelling rational inquiry in non-ideal agentsMoreno Ribas, Antonioinvestigació racionallògiques modalsommisciència lògica1203. Ciencia dels ordinadors68de la tesi doctoral<br/><br/>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:<br/><br/>· 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 lògiques modals de creences. Aquest estudi ressalta les semblances i diferències entre les diverses solucions i mostra fins a quin punt solucionen el problema del raonament ideal.<br/>· Com a resultat d'aquest estudi, es suggereix una nova aproximació al problema, basada en el concepte dels móns impossibles. La idea principal és que una situació pot ser percebuda de diferents maneres per diferents agents; així, una situació pot ser descrita de forma subjectiva per cadascun d'ells. A més, en cada situació un agent pot tenir raons per recolzar i/o rebutjar determinats fets. La percepció que un agent té del seu entorn determina les seves creences en aquella situació. Aquestes són les idees bàsiques del concepte de situacions subjectives proposat a la tesi.<br/>· S'ha determinat quines són les activitats bàsiques que poden modificar les creences d'un agent racional (realització de deduccions, plantejament de dubtes, plantejament de preguntes a l'entorn i rebuda de dades externes). També s'ha definit una classe específica d'agents racionals, els investigadors racionals, que realitzen aquestes activitats d'una forma concreta (manipulant fórmules de primer ordre en un arbre de taulers analítics).<br/>· Per últim, a la tesi es mostra com l'evolució de les creences dels investigadors racionals, causada per la seva anàlisi dinàmica multi-dimensional, pot ser modelitzada formalment dins del marc de les situacions subjectives. Això es fa utilitzant les situacions concebibles, que corresponen a aquells escenaris que l'agent pot considerar, independenment de la seva possible parcialitat o inconsistència. L'evolució de les creences d'un agent es modelitza amb la generació d'una seqüència de relacions d'accessibilitat, en la que, després de cada pas d'anàlisi de les creences, van canviant les situacions concebibles considerades com a alternatives viables per l'agent.of the PhD thesis<br/><br/>The main aim of this work has been to develop a way to model the process of rational inquiry (the evolution of a rational agent's set of beliefs over time as a consequence of its interaction with the world and its internal inferential processes), keeping the general idea of the possible worlds model and the Kripke semantics but trying to avoid the problems of logical omniscience and perfect reasoning. The actual contributions of the work described in the thesis are the following:<br/><br/>· An extensive survey of the state of the art has been made, in which the most relevant approaches that have been proposed to solve the problems of logical omniscience and perfect reasoning are presented. This review focuses on the similarities and differences between the various solutions and shows to which degree they provide a framework in which it is possible to model non-ideal reasoners.<br/>· As a result of this study, an impossible-worlds based framework in which logical omniscience is avoided is suggested. The main idea of this proposal is that a situation may be perceived in different ways by different agents; thus, a situation may be described subjectively by each of them. Furthermore, in each situation an agent may have reasons to suport and/or reject certain facts. The perception that an agent has of a situation will determine its beliefs in that situation. These are the basic ideas underlying the subjective situations described in the dissertation.<br/>· It has been determined which are the basic activities that may modify the set of beliefs of a rational agents (performing deductions, posing doubts, making questions to the environment and receiving external data). A specific class of rational agents, called rational inquirers, is also defined. These agents perform their doxastic activities in a concrete way, which is based in the manipulation of first-order formulae contained in an analytic tableaux tree. <br/>· Finally, in the dissertation it is shown how the evolution of the beliefs of the rational inquirers, caused by their dynamic multi-dimensional analysis, may be formally modelled in the subjective situations framework. This modelling is performed using conceivable situations, which correspond to those scenarios that may be considered by the modelled agent, irrespective of their possible partiality or inconsistency. The evolution of the beliefs of an agent is modelled with the generation of a sequence of accessibility relations in which, after each step of belief analysis, the situations that are considered as viable by the agent change in an appropriate way.DOCTORAT EN INTEL·LIGÈNCIA ARTIFICIAL (Pla 1998)Universitat Politècnica de CatalunyaCortés, Ulises, 1960-Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics2011200120002001info:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/publishedVersionapplication/pdfapplication/pdfhttp://www.tdx.cat/TDX-0612101-155247http://hdl.handle.net/10803/6636https://dx.doi.org/10.5821/dissertation-2117-93947TDX (Tesis Doctorals en Xarxa)reponame:TDR. Tesis Doctorales en Redinstname:CBUC, CESCAInglésADVERTIMENT. L'accés als continguts d'aquesta tesi doctoral i la seva utilització ha de respectar els drets de la persona autora. Pot ser utilitzada per a consulta o estudi personal, així com en activitats o materials d'investigació i docència en els termes establerts a l'art. 32 del Text Refós de la Llei de Propietat Intel·lectual (RDL 1/1996). Per altres utilitzacions es requereix l'autorització prèvia i expressa de la persona autora. En qualsevol cas, en la utilització dels seus continguts caldrà indicar de forma clara el nom i cognoms de la persona autora i el títol de la tesi doctoral. No s'autoritza la seva reproducció o altres formes d'explotació efectuades amb finalitats de lucre ni la seva comunicació pública des d'un lloc aliè al servei TDX. Tampoc s'autoritza la presentació del seu contingut en una finestra o marc aliè a TDX (framing). Aquesta reserva de drets afecta tant als continguts de la tesi com als seus resums i índexs.info:eu-repo/semantics/openAccessoai:www.tdx.cat:10803/66362026-06-14T12:46:07Z
score 15,198674

Similares en LA Referencia