Search

de la tesi doctoralL'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 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.· 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.· 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).· 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 thesisThe 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:· 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.· 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.· 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. · 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.