Let S be a rational projective surface given by means of parametrization whose base locus satisfies mild assumption. In this paper we present an algorithm that provides three maps f,g,h:A2⇢S⊂Pn such the union images covers S. As consequence, second generates two f,g˜:A2⇢S, its affine S∩An. case, number involved in cover is general optimal.

Simultaneous tracking and formation control is addressed for a team of autonomous agents that evolve dynamically in a space containing a measurable vector field. Each agent measures the local value of the field along its trajectory and occasionally shares relevant information with other agents, in order to estimate the spatial average obtained from averaging measurements across all agents. Usin...

T h e preface paradox strikes us as puzzling because we feel that if a person holds a set of inconsistent beliefs, i.e. beliefs such that at least one of them must be incorrect, then he should give at least one of them up. Equally, if a person’s belief is rational, then he has a right to hold it. Yet the preface example is prima facie a case in which a person holds an inconsistent set of belief...

Although they can be topologically different, two distinct transducers may actually recognize the same rational relation. Being able to test the equivalence of transducers allows to implement such operations as incremental minimization and iterative composition. This paper presents an algorithm for testing the equivalence of deterministic weighted finite-state transducers, and outlines an imple...

The paper exposits a number of key dynamic models from the field of economics. The models share the feature that evolution of the system is consistent with the optimizing behavior of rational economic agents. Specifically, the laws of motion that we investigate are solutions to discrete time dynamic decision processes. Even with rational agents and simple economic environments, a variety of com...

We introduce a new probabilistic approach to dealing with uncertainty, based on the observation that probability theory does not require that every event be assigned a probability. For a nonmeasurable event (one to which we do not assign a probability), we can talk about only the inner measure and outer measure of the event. Thus, the measure of belief in an event can be represented by an inter...

The BDI model is well accepted as an architecture for representing and realizing rational agents. The beliefs in this model are focused on the representation of beliefs about the world and other agents and are widely independent from the agents intentions. We argue that also the representation of know-how, which captures the beliefs about actions and procedures, has to be taken into account whe...

We introduce and study a unified reasoning process which allows to represent the beliefs of both a fully rational agent and an unaware one. This reasoning process endows introspection and unawareness with natural properties. The corresponding model for the rational or boundedly rational agents is easy both to describe and to work with, and the agent’s full system of beliefs has natural descript...

In this paper I outline an attempt to reconcile the traditional Artii-cial Intelligence notion of a logic-based rational agent with the contrary notion of a reactive agent that acts \instinctively" in response to conditions that arise in its environment. For this purpose, I will use the tools of meta-logic programming to deene the observation-thought-action cycle of an agent that combines the a...