In the classic AGM belief revision theory, beliefs are static and do not change their own shape. For instance, if p is accepted by a rational agent, it will remain p to the agent. But such rarely happens to us. Often, when we accept some information p, what is actually accepted is not the whole p, but only a portion of it; not necessarily because we select the portion but because p must be perc...

This paper analyzes “In‡uence Peddling”with interaction between human capital transfer and collusion-building aspects in a model, in which each government o¢ cial regulates multiple …rms simultaneously. We show that (i) there exists an “optimal” division rule for collusion between a sequence of “quali…ed”regulators and a …rm; (ii) as the regulators increasingly bene…t from the collusion, they s...

In this paper we present a model for coalition formation and payo distribution in general environments. We focus on a reduced complexity kernel-oriented coalition formation model, and provide a detailed algorithm for the activity of the single rational agent. The model is partitioned into a social level and a strategic level, to distinguish between regulations that must be agreed upon and are f...

Despite the development of many modeling formalisms and model solution methods, most tool implementations support only a single formalism. Furthermore, models expressed in a chosen formalism cannot be combined to interact with models expressed in other formalisms. This chapter provides an overview of selected performance/dependability modeling tools motivating the need for multi-formalism and m...

We state a simple condition on a rational subset X of a free monoid B for the existence of a sequential function that is a one-to-one mapping of some free monoid A onto X. As a by-product we obtain new sequential bijections of a free monoid onto another.

We consider the set Rω(Γ, D) of infinite real traces, over a dependence alphabet (Γ, D) with no isolated letter, equipped with the topology induced by the prefix metric. We then prove that all rational languages of infinite real traces are analytic sets. We reprove also that there exist some rational languages of infinite real traces which are analytic but non Borel sets, and even Σ11-complete,...

I develop a framework in which a principal can exploit myopic social learning in a population of agents in order to implement social or selfish outcomes that would not be possible under the traditional fully-rational agent model. Learning in this framework takes a simple form of imitation, or replicator dynamics, a class of learning dynamics that often leads the population to converge to a Nash...

Özet. Karmaşık yazılım-yoğun sistemlerin davranışını betimlemek ve anlamak amacıyla kullanılan yöntemlerden biri Kullanım Eşlemesi (Use Case Map UCM) gösterimidir. Gereksinimler ve kullanım durumları doğrultusunda ortaya çıkan senaryoları mimari bileşenlerle eşleştirmek, dolayısıyla sistem davranışlarını daha iyi açıklamak ve analiz etmek amacıyla UCM kullanılır. Bu çalışmada ise örnek çoklu or...

We consider how repetition blindness and the attentional blink might arise from prior assumptions about the occurrence of task-relevant states of the world. Repetition blindness and the attentional blink are behavioral deficits in the identification of items during rapid serial visual presentation at varying delays after identifying the first “target.” Here we propose that both of these effects...