This paper presents an agent-based model of the emergence and transmission of a language system for the expression of logical combinations of propositions. The model assumes the agents have some cognitive capacities for invention, adoption, repair, induction and adaptation, a common vocabulary for basic categories, and the ability to construct complex concepts using recursive combinations of basic categories with logical categories. It also supposes the agents initially do not have a vocabulary for logical categories (i.e. logical connectives), nor grammatical constructions for expressing logical combinations of basic categories through language. The results of the experiments we have performed show that a language system for the expression of logical combinations emerges as a result of a process of self-organisation of the agents' linguistic interactions. Such a language system is concise, because it only uses words and grammatical constructions for three logical categories (i.e. and, or, not). It is also expressive, since it allows the communication of logical combinations of categories of the same complexity as propositional logic formulas, using linguistic devices such as syntactic categories, word order and auxiliary words. Furthermore, it is easy to learn and reliably transmitted across generations, according to the results of our experiments.

This paper presents an agent-based model that studies the emergence and evolution of a language system of logical constructions, i.e. a vocabulary and a set of grammatical constructions that allow the expression of logical combinations of categories. The model assumes the agents have a common vocabulary for basic categories, the ability to construct logical combinations of categories using Boolean functions, and some general purpose cognitive capacities for invention, adoption, induction and adaptation. But it does not assume the agents have a vocabulary for Boolean functions nor grammatical constructions for expressing such logical combinations of categories through language. The results of the experiments we have performed show that a language system of logical constructions emerges as a result of a process of self-organisation of the individual agents' interactions when these agents adapt their preferences for vocabulary and grammatical constructions to those they observe are used more often by the rest of the population, and that such a language system is transmitted from one generation to the next.

The development of intelligent environments is considered an important step toward the realization of the ambient intelligence vision. Greece, served as program chairs. The previous four editions of the IE conference have been held at the University of Essex, UK (in 2005), at the National Technical University of Athens, Greece (in 2006), at the University of Ulm, Germany (in 2007), and at the University of Washington campus in Seattle, Washington, USA (in 2008). The development of intelligent environments is About 120 delegates attended the workshops considered the first and primary step toward the and the conference. These included representatives realization of the ambient intelligence vision.

We describe some experiments which simulate a grounded approach to the acquisition of the cognitive and linguistic competence required to communicate propositional logic sentences. This encompasses both the construction of a conceptualisation of its environment by each individual agent and of a shared language by the population. The processes of conceptualisation and language acquisition in each individual agent are based on general purpose cognitive capacities, such as categorisation, discrimination, invention, adoption and induction. The construction of a shared language by the population is achieved using a particular type of linguistic interaction, known as the evaluation game, which gives rise to a common set of linguistic conventions through a process of self-organisation. This work addresses the problem of the acquisition of both the semantics and the syntax of propositional logic. Trying to learn these two aspects at the same time is more difficult than learning the semantics or the syntax of propositional logic separately. Because the agents must coordinate their linguistic behaviour taking into account only the subset of objects which constitutes the topic of a particular linguistic interaction. This means that a pair of agents can communicate successfully about a particular subset of objects (a topic) even if they use different conceptualisations (formulas) in order to identify the same topic. And this introduces a high degree of ambiguity in the interpretation process the agents have to deal with when they try to construct a shared communication language. In spite of this, the results of the experiments show that at the end of the simulation runs the individual agents build different conceptualisations and grammars, but that the conceptualisations and grammars of the agents in the population are compatible in the sense that they guarantee the unambiguous communication of propositional logic sentences.