Filter Results:

Publication Year

Co-author

Key Phrase

Publication Venue

The process of rational inquiry can be deened as the evolution of the beliefs of a rational agent as a consequence of its internal inference procedures or its interaction with the environment. These beliefs can be modelled in a formal way using doxastic logics. The possible worlds model and its associated Kripkean semantics provide an intuitive semantics… (More)

The construction of rational agents is one of the goals that has been pursued in Artiicial Intelligence (AI). In most of the architectures that have been proposed for this kind of agents, its behaviour is guided by its set of beliefs. In our work, rational agents are those systems that are permanently engaged in the process of rational inquiry; thus, their… (More)

The process of rational inquiry can be deened as the evolution of the beliefs of a rational agent as a consequence of its internal inference procedures and its interaction with the environment. These beliefs can be modelled in a formal way using doxastic logics. The possible worlds model and its associated Kripke semantics provide an intuitive semantics for… (More)

Crucial notions on which Computer Science is based originated in Ramon Llull (a 13th-century philosopher from Majorca). Here we explore some of his original insights-and his plausible inspiration sources-and how these ideas have been available to us by way of Leibniz (and others). 1 Introduction Something unusual has happened to Ramon Llull (Raimundus… (More)

The beliefs of the agents in a multi-agent system have been formally modelled in the last decades using doxastic logics. The possible worlds model and its associated Kripke semantics provide an intuitive semantics for these logics, but they commit us to model agents that are logically omniscient. We propose a way of avoiding this problem, using a new kind… (More)

The beliefs of the agents in a multi-agent system have been formally modelled in the last decades using doxastic logics. The possible worlds model and its associated Kripke semantics provide an intuitive semantics for these logics, but they commit us to model agents that are logically omniscient. We propose a way of avoiding this problem, using a new kind… (More)