The study of computational agents capable of rational behaviour has received a great deal of attention in recent years. Theoretical formalizations of such agents and their implementations have proceeded in parallel with little or no connection between them. Tkis paper explores a particular type of rational agent, a BeliefDesire-Intention (BDI) agent. The primary aim of this paper is to integrat...

The preferential and rational consequence relations first studied by Lehmann and colleagues play a central role in non-monotonic reasoning, not least because they provide the foundation for the determination of the important notion of rational closure. Although they can be applied directly to a large variety of logics, these constructions suffer from the limitation that they are largely proposi...

One-loop amplitudes are to a large extent determined by their unitarity cuts in four dimensions. We show that the remaining rational terms can be obtained from the ultraviolet behaviour of the amplitude, and determine universal form factors for these rational parts by applying reduction techniques to the Feynman diagrammatic representation of the amplitude. The method is valid for massless and ...

The general form of Taylor's theorem gives the formula, f = P n + R n , where P n is the New-ton's interpolating polynomial, computed with respect to a connuent vector of nodes, and R n is the remainder. When f 0 6 = 0, for each m = 2; : : :; n + 1, we describe a \determinantal interpolation formula", f = P m;n +R m;n , where P m;n is a rational function in x and f itself. These formulas play a...

By applying results on canal surfaces, we study exact rational parametrizations of fixed radius rolling ball blends of pairs of natural quadrics. We classify all configurations where this kind of rational parametrization is possible, and describe a general algorithm for parametrizing fixed radius rolling ball blends. The algorithm is then applied to parametrize the fixed radius rolling ball ble...

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 these logics, but they seem to commit...

This paper provides a short overview of dynamic models, denoted as adaptive or evolutive, recently adopted in economics and social sciences to describe systems with heterogeneous and boundedly rational agents. Some simple mathematical formalizations are shown, and a comparison between this kind of emerging literature and the orthodox main stream paradigm based on the assumption of fully rationa...