A general assumption for incentive mechanisms is that all agents are rational and seek to maximize their utility. When some agents are irrational and launch various attacks, these mechanisms may fail to work. To address the issue of evaluating the robustness of incentive mechanisms, we propose a robustness metric in this paper. It is inspired by the studies of the evolutionary game theory and d...

we present a collocation method to obtain the approximate solutionof troesch's problem which arises in the confinement of a plasmacolumn by radiation pressure and applied physics. by using thechristov rational functions and collocation points, this methodtransforms troesch's problem into a system of nonlinear algebraicequations. the rate of convergence is shown to be exponential. then...

The purpose of this paper is to compare two different automatic code generating software tools and the suitability of each for the development of safety-critical real-time software systems. The tools used are Rhapsody and SCADE for Avionics. Rhapsody will generate software under ANSI C++ standards and guidelines, while SCADE for Avionics will produce DO-178B certifiable ANSI C++ software. A sim...

When several agents act in a common environment their plans may interfere. The predicted outcome of each plan may be altered and the usual notion of valid plan of classical (mono-agent) planification is not sufficient. In this paper we extend this framework to the multi-agent case. We show how the best plans of rational agents can be characterized using game-theoretic notions, especially Nash e...

This paper focuses on the foundational role of interactive epistemology in the problem of generating plans for rational agents in multiagent settings. Interactive epistemology deals with the logic of knowledge and belief when there is more than one agent. In multiagent settings, we are interested in not only the agent’s knowledge of the state of the world, but also its belief over the other age...

We consider the higher-order nonlinear difference equation xn 1 p qxn−k / 1 xn rxn−k , n 0, 1, . . . with the parameters, and the initial conditions x−k, . . . , x0 are nonnegative real numbers. We investigate the periodic character, invariant intervals, and the global asymptotic stability of all positive solutions of the above-mentioned equation. In particular, our results solve the open probl...

This work focuses on standardization and improvement of processes and practices using a combination of methodologies including Agile Methodologies (AM). It was implemented at a Mexican steel manufacturing company using FDD, XP and RUP. The main goal was to improve the software systems production, maintenance and support.

In this paper we present a methodology dedicated to the computational implementation of personality traits in Conversational Agents. First, a significant set of personality-traits adjectives is registered from thesaurus sources. Then the lexical semantics related to personality-traits is extracted while using the WordNet database and it is given a formal representation in terms of so-called Beh...

Deliberation plays an important role in the design of rational agents embedded in the real-world. In particular, deliberation leads to the formation of intentions, i.e., plans of action that the agent is committed to achiev­ ing. In this paper, we present a branching­ time possible-worlds model for representing and reasoning about, beliefs, goals, inten­ tions, time, actions, probabilities, and...

In this paper we introduce a notion of rational singularities associated to pairs (X, a) where X is a variety, a is an ideal sheaf and t is a nonnegative real number. We prove that most standard results about rational singularities extend to this context. We also show that some results commonly associated with log terminal pairs have analogs in this context, including results related to inversi...