Agent Communication Languages (ACLs) have recently acquired a primary role in open multiagent systems, which need a standard communication framework shared by all interacting heterogeneous agents. According to the most important ACL standard proposals so far, agents are supposed to carry out the communication process by performing actions of a specific type, namely, communicative acts, whose semantics is defined in terms of the agents’ mental states. Although following the mainstream guidelines inspired by the Speech Act (...) Theory, our work illustrates an alternative model of agent communication, by shifting the focus from agents’ mental states to their social state. Taking an existing communicative act library, we provide a semantics for a significant set of acts based on the concept of commitment, and prove that our approach tackles some issues that have not been dealt with in an effective way yet and that may have hindered the rise of an universally accepted ACL standard. (shrink)

Languages show substantial variability between their speakers, but it is currently unclear how the structure of the communicative network contributes to the patterning of this variability. While previous studies have highlighted the role of network structure in language change, the specific aspects of network structure that shape language variability remain largely unknown. To address this gap, we developed a Bayesian agent‐based model of language evolution, contrasting between two distinct scenarios: language change and language emergence. By isolating the relative (...) effects of specific global network metrics across thousands of simulations, we show that global characteristics of network structure play a critical role in shaping interindividual variation in language, while intraindividual variation is relatively unaffected. We effectively challenge the long‐held belief that size and density are the main network structural factors influencing language variation, and show that path length and clustering coefficient are the main factors driving interindividual variation. In particular, we show that variation is more likely to occur in populations where individuals are not well‐connected to each other. Additionally, variation is more likely to emerge in populations that are structured in small communities. Our study provides potentially important insights into the theoretical mechanisms underlying language variation. (shrink)

While agent-based modelling languages naturally implement concurrency, the currently available languages for argumentation do not allow to explicitly model this type of interaction. In this paper we introduce a concurrent language for handling agents arguing and communicating using a shared argumentation space. We also show how to perform high-level operations like persuasion and negotiation through basic belief revision constructs, and present a working implementation of the language and the associated web interface.

The growth of the Semantic Web resulted in the emergence of various kinds of artificial agents navigating the web, sharing resources and communicating among each other in a more and more sophisticated fashion. No one denies the relevance of research concerning the establishment of architectures and models for representing and enabling interaction and communication among agents. In another domain, ontologies have been consecrated as an essential tool to structure information in order to facilitate shareability and re-usability of knowledge resources (...) like the ones found on the Web. It is therefore no surprise that the management of ontologies by interacting and communicating agents is a hot topic for the whole Semantic Web community. In addition, the ontological foundations of agent interaction still remain a very active research area. The present issue of Applied Ontology on Formal Ontologies for Communicating Agents follows a workshop organized in July/August 2006 in the scope of the 11th European Summer School in Logic, Language and Information. After the workshop we issued an open call for contributions that allowed us to select a focused range of works addressing the research topics raised in the original workshop call. We would like to thank Nicola Guarino and Laure Vieu for their help in the organization process, as well as all the reviewers and authors, all workshop participants and other people who contributed in various ways to the success of the workshop and of this issue of Applied Ontology. (shrink)

Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introduced in [1], we show how to represent the time required by an agent to reach a given conclusion. TRL allows us to model the kinds of rule application and conflict resolution strategies commonly found in rule-based agents, and we show how the choice of strategy can influence the information an agent can take into account when (...) making decisions at a particular point in time. We prove general completeness and decidability results for TRL, and analyse the impact of communication in an example system consisting of two agents which use different conflict resolution strategies. (shrink)

This paper pursues a formal analogy between natural language dialogue and collaborative real-world action in general. The analogy depends on an analysis of two aspects of collaboration that figure crucially in language use. First, agents must be able to coordinate abstractly about future decisions which cannot be made on present information. Second, when agents finally take such decisions, they must again coordinate in order to interpret one anothers’ actions as collaborative. The contribution of this paper is a general representation of (...) collaborative plans and intentions, inspired by representations of deductions in logics of knowledge, action and time, which supports these two kinds of coordination. Such representations.. (shrink)

We present a framework for verifying systems composed of heterogeneous reasoning agents, in which each agent may have differing knowledge and inferential capabilities, and where the resources each agent is prepared to commit to a goal (time, memory and communication bandwidth) are bounded. The framework allows us to investigate, for example, whether a goal can be achieved if a particular agent, perhaps possessing key information or inferential capabilities, is unable (or unwilling) to contribute more than a (...) given portion of its available computational resources or bandwidth to the problem. We present a novel temporal epistemic logic, BMCL-CTL , which allows us to describe a set of reasoning agents with bounds on time, memory and the number of messages they can exchange. The bounds on memory and communication are expressed as axioms in the logic. As an example, we show how to axiomatise a system of agents which reason using resolution and prove that the resulting logic is sound and complete. We then show how to encode a simple system of reasoning agents specified in BMCL-CTL in the description language of the Mocha model checker (Alur et al., Proceedings of the tenth international conference on computer-aided verification (CAV) , 1998), and verify that the agents can achieve a goal only if they are prepared to commit certain time, memory and communication resources. (shrink)

Natural languages vary in their quantity expressions, but the variation seems to be constrained by general properties, so-calleduniversals. Their explanations have been sought among constraints of human cognition, communication, complexity, and pragmatics. In this article, we apply a state-of-the-art language coordination model to the semantic domain of quantities to examine whether two quantity universals—monotonicity and convexity—arise as a result of coordination. Assuming precise number perception by the agents, we evolve communicatively usable quantity terminologies in two separate conditions: a (...) numeric-based condition in which agents communicate about a number of objects and a quotient-based condition in which agents communicate about the proportions. We find out that both universals take off in all conditions but only convexity almost entirely dominates the emergent languages. Additionally, we examine whether the perceptual constraints of the agents can contribute to the further development of universals. We compare the degrees of convexity and monotonicity of languages evolving in populations of agents with precise and approximate number sense. The results suggest that approximate number sense significantly reinforces monotonicity and leads to further enhancement of convexity. Last but not least, we show that the properties of the evolved quantifiers match certain invariance properties from generalized quantifier theory. (shrink)

The “language-communication-society” triangle defies traditional scientific approaches. Rather, it is a phenomenon that calls for an integration of complex, transdisciplinary perspectives, if we are to make any progress in understanding how it works. The highly diverse agents in play are not merely cognitive and/or cultural, but also emotional and behavioural in their specificity. Indeed, the effort may require building a theoretical and methodological body of knowledge that can effectively convey the characteristic properties of phenomena in human terms. New complexity (...) approaches allow us to rethink our limited and mechanistic images of human societies and create more appropriate emo-cognitive dynamic and holistic models. We have to enter into dialogue with the complexity views coming out of other more ‘material’ sciences, but we also need to take steps in the linguistic and psycho-sociological fields towards creating perspectives and concepts better fitted to human characteristics. Our understanding of complexity is different – but not opposed – to the one that is more commonly found in texts written by people working in physics or computer science, for example. The goal of this book is to extend the knowledge of these other more ‘human’ or socially oriented perspectives on complexity, taking account of the language and communication singularities of human agents in society. (shrink)

This book offers insights on the study of natural language as a complex adaptive system. It discusses a new way to tackle the problem of language modeling, and provides clues on how the close relation between natural language and some biological structures can be very fruitful for science. The book examines the theoretical framework and then applies its main principles to various areas of linguistics. It discusses applications in language contact, language change, diachronic linguistics, and the potential enhancement of classical (...) approaches to historical linguistics by means of new methodologies used in physics, biology, and agent systems theory. It shows how studying language evolution and change using computational simulations enables to integrate social structures in the evolution of language, and how this can give rise to a new way to approach sociolinguistics. Finally, it explores applications for discourse analysis, semantics and cognition. (shrink)

Two areas of importance for agents and multiagent systems are investigated: design of agent programming languages, and design of agent communication languages. The paper contributes in the above mentioned areas by demonstrating improved or novel applications for deontic logic and normative reasoning. Examples are taken from computer-supported cooperative work, and electronic commerce.

Despite their diversity, human languages share consistent properties and regularities. Wherefrom does this consistency arise? And does it tell us something about the problem that all languages need to solve? The authors provide an intriguing analyses which focuses on the “communicative function of ambiguity” whose resolution entailed an equally intriguing “speaker–listener cross‐entropy objective for measuring the efficiency of linguistic systems from first principles of efficient language use.”.

Agent communication languages (ACLs) invoke speech act theory and define individual message types by reference to particular combinations of beliefs and desires of the speaker (feasibility preconditions). Even when the mental states are restricted to a small set of nested beliefs, it seems that there might be a very large number of different possible preconditions, and therefore a very large number of different message types. With some constraints on the mental attitude of the speaker, we enumerate the (...) possible belief states that could serve as preconditions for individual message types, and we identify how these states correspond to different possible message types. We then compare these with FIPA’s primitive message types. Our approach clarifies the nature of core message types in an ACL, and perhaps settles issues concerning just how many, and what types of, speech acts should be seen as primitive in such languages. (shrink)

Prominent accounts of language use (those of Grice, Lewis, Stalnaker, Sperber and Wilson among others) have viewed basic communicative acts as essentially involving the attitudes of the participating agents. Developmental data poses a dilemma for these accounts, since it suggests children below age four are competent communicators but would lack the ability to conceptualise communication if philosophers and linguists are right about what communication is. This paper argues that this dilemma is quite serious and that these prominent accounts (...) would be undermined if an adequate more minimal alternative were available. Just such a minimalist account of communication is offered, drawing on ideas from relevance theory and situation theory. (shrink)

In a multiagent and multi-cultural world, the fine-grained analysis of agents’ dynamic behaviour, i.e. of their activities, is essential. Dynamic activities are actions that are characterized by an agent who executes the action and by other participants of the action. Wh-questions on the participants of the actions pose a difficult particular challenge because the variability of the types of possible answers to such questions is huge. To deal with the problem, we propose the analysis and classification of Wh-questions apt (...) for agents’ communication in a multiagent system (MAS). Our proposal of such a system consists of agents who communicate with their fellow agents by messaging so that each autonomous agent, though resource-bounded, can make less or more rational decisions to meet its own and collective goals. In addition, by communicating with other fellow agents and their environment, agents can learn new concepts and enrich their ontology so that their behaviour is dynamic. We aim to make a general proposal of the system so that the ‘envelope’ of agents’ messages can be formalized in any MAS standard, be it The Foundation for Intelligent Physical Agents - Agent Communication Language (FIPA-ACL) or Knowledge Query and Manipulation Language (KQML). Yet, the content of messages is encoded in a formalized natural language. To this end, we apply Transparent Intensional Logic (TIL) with its procedural semantics which is particularly apt for a fine-grained analysis in which all the semantically salient features of natural language can be plausibly formalized. In this paper, we concentrate on analysing the content of query messages, particularly the content of those that encode Wh-questions and the answers to them. We also summarize TIL deduction system that makes it possible to answer such questions in an intelligent way. Linguists distinguish several subtypes of Wh-questions. Though the linguistic classification is helpful, it is not always suitable for agents’ communication and reasoning. We need the classification based on a logical analysis of Wh-questions so that the agents can infer possible answers to such questions rather than only looking for them by keywords. This paper aims to apply an appropriate classification of the logical types of Wh-questions and the analysis of such questions; we concentrate in particular on questions concerning the participants of activities. The application of these results to the analysis of processes and events based on verb valency frames is another novelty of the paper. (shrink)

In a digital communication environment, information security is mandatory. Three essential parameters used in the design process of a steganography algorithm are Payload, security, and fidelity. However, several methods are implemented in information hiding, such as Least Significant Bit (LBS), Discrete Wavelet Transform, Masking, and Discrete Cosine Transform. The paper aims to investigate novel steganography techniques based on agent technology. It proposes a Framework of Steganography based on agent for secret communication using LSB. The most common (...) image steganography databases are explored for training and testing. The methodology in this work is based on the statistical properties of the developed agent software using Matlab. The experiment design is based on six statistical feature measures, including Histogram, Mean, Standard deviation, Entropy, Variance and Energy. For steganography, an Ensemble classifier is used to test two scenarios: embedding a single language message and inserting bilingual messages. ROC Curve represents the evaluation metrics. The result shows that the designed agent-based system with 50% training/testing sample set and 0.2 Payload can pick out the best cover image for the provided hidden message size to avoid visual artifact. (shrink)

This paper explores the significance of intelligent social behavior among non-human animals for philosophical theories of communication. Using the alarm call system of vervet monkeys as a case study, I argue that interpersonal communication (or what I call “minded communication”) can and does take place in the absence of the production and recognition of communicative intentions. More generally, I argue that evolutionary theory provides good reasons for maintaining that minded communication is both temporally and explanatorily prior (...) to the use of communicative intentions. After developing these negative points about the place of communicative intentions in detail, I provide a novel alternative account according to which minded communication is characterized in terms of patterns of action and response that function to coordinate the representational mental states of agents. I show that an account which centers on patterns of representational coordination of this sort is well suited to capture the theoretical roles associated with minded communication and that it does so in a way that provides a good fit with comparative facts about the presence of minded communication among non-human animals. (shrink)

All languages, both spoken and signed, make a formal distinction between two types of terms in a proposition – terms that identify what is to be talked about (nominals) and terms that say something about this topic (predicates). Here we explore conditions that could lead to this property by charting its development in a newly emerging language – Nicaraguan Sign Language (NSL). We examine how handshape is used in nominals vs. predicates in three Nicaraguan groups: (1) homesigners who are (...) not part of the Deaf com- munity and use their own gestures, called homesigns, to communicate; (2) NSL cohort 1 signers who fashioned the first stage of NSL; (3) NSL cohort 2 signers who learned NSL from cohort 1. We compare these three groups to a fourth: (4) native signers of American Sign Language (ASL), an established sign language. We focus on handshape in predicates that are part of a productive classifier system in ASL; handshape in these predicates varies sys- tematically across agent vs. no-agent contexts, unlike handshape in the nominals we study, which does not vary across these contexts. We found that all four groups, including home- signers, used handshape differently in nominals vs. predicates – they displayed variability in handshape form across agent vs. no-agent contexts in predicates, but not in nominals. Variability thus differed in predicates and nominals: (1) In predicates, the variability across grammatical contexts (agent vs. no-agent) was systematic in all four groups, suggesting that handshape functioned as a productive morphological marker on predicate signs, even in homesign. This grammatical use of handshape can thus appear in the earliest stages of an emerging language. (2) In nominals, there was no variability across grammatical con- texts (agent vs. no-agent), but there was variability within- and across-individuals in the handshape used in the nominal for a particular object. This variability was striking in homesigners (an individual homesigner did not necessarily use the same handshape in every nominal he produced for a particular object), but decreased in the first cohort of NSL and remained relatively constant in the second cohort. Stability in the lexical use of handshape in nominals thus does not seem to emerge unless there is pressure from a peer linguistic community. Taken together, our findings argue that a community of users is essential to arrive at a stable nominal lexicon, but not to establish a productive morpholog- ical marker in predicates. Examining the steps a manual communication system takes as it moves toward becoming a fully-fledged language offers a unique window onto factors that have made human language what it is. (shrink)

Current dynamic epistemic logics for analyzing effects of informational events often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions involving common knowledge are essential to successful multi-agent communication. We propose new systems that extend the epistemic base language with a new notion of ‘relativized common knowledge’, in such a way that the resulting full dynamic logic of information flow allows for a compositional analysis of all epistemic postconditions via perspicuous ‘reduction axioms’. (...) We also show how such systems can deal with factual alteration, rather than just information change, making them cover a much wider range of realistic events. After a warm-up stage of analyzing logics for public announcements, our main technical results are expressivity and completeness theorems for a much richer logic that we call LCC. This is a dynamic epistemic logic whose static base is propositional dynamic logic (PDL), interpreted epistemically. This system is capable of expressing all model-shifting operations with finite action models, while providing a compositional analysis for a wide range of informational events. This makes LCC a serious candidate for a standard in dynamic epistemic logic, as we illustrate by analyzing some complex communication scenarios, including sending successive emails with both ‘cc’ and ‘bcc’ lines, and other private announcements to subgroups. Our proofs involve standard modal techniques, combined with a new application of Kleene’s theorem on finite automata, as well as new Ehrenfeucht games of model comparison. (shrink)

How do communities establish shared communication systems? The Common Knowledge view assumes that symbolic conventions develop through the accumulation of common knowledge regarding communication practices among the members of a community. In contrast with this view, it is proposed that coordinated communication emerges a by‐product of local interactions among dyads. A set of multi‐agent computer simulations show that a population of “egocentric” agents can establish and maintain symbolic conventions without common knowledge. In the simulations, convergence to (...) a single conventional system was most likely and most efficient when agents updated their behavior on the basis of local rather than global, system‐level information. The massive feedback and parallelism present in the simulations gave rise to phenomena that are often assumed to result from complex strategic processing on the part of individual agents. The implications of these findings for the development of theories of language use are discussed. (shrink)

The current article is the first in a series of review articles addressing biosemiotic terminology. The biosemiotic glossary project is inclusive and designed to integrate views of a representative group of members within the biosemiotic community based on a standard survey and related publications. The methodology section describes the format of the survey conducted in November–December 2013 in preparation of the current review and targeted on the terms ‘agent’ and ‘agency’. Next, I summarize denotation, synonyms and antonyms, with special (...) emphasis on the denotation of these terms in current biosemiotic usage. The survey findings include ratings of nine citations defining or making use of the two terms. I provide a summary of respondents’ own definitions and suggested term usage. Further sections address etymology, connotations, and related terms in English and other languages. A section on the notions’ mainstream meaning vs. their meaning in biosemiotics is followed by attempt at synthesis and conclusions. Although there is currently no consensus in the biosemiotic community on what constitutes a semiotic agent, i.e., an agent in the context of semiosis, most respondents agree that core attributes of an agent include goal-directedness, self-governed activity, processing of semiosis and choice of action, with these features being vital for the functioning of the living system in question. I agree that these four features are constitutive of biosemiotic agents, and stipulate that biosemiotic agents fall within three major categories, namely 1) sub-organismic biosemiotic agents, 2) organismic biosemiotic agents and 3) super-organismic biosemiotic agents. (shrink)

Natural languages vary widely in the degree to which they make use of nested compositional structure in their grammars. It has long been noted by linguists that the languages historically spoken in small communities develop much deeper levels of compositional embedding than those spoken by larger groups. Recently, this observation has been confirmed by a robust statistical analysis of the World Atlas of Language Structures. In order to examine this connection mechanistically, we propose an agent‐based model that (...) accounts for key cultural evolutionary features of language transfer and language change. We identify transitivity as a physical parameter of social networks critical for the evolution of compositional structure and the hierarchical patterning of scale‐free distributions as inhibitory. (shrink)

This paper outlines a multi-agent architecture for regulated information exchange of crime investigation data between police forces. Interactions between police officers about information exchange are analysed as negotiation dialogues with embedded persuasion dialogues. An architecture is then proposed consisting of two agents, a requesting agent and a responding agent, and a communication language and protocol with which these agents can interact to promote optimal information exchange while respecting the law. Finally, dialogue policies are defined for the (...) individual agents, specifying their behaviour within a negotiation. Essentially, when deciding to accept or reject an offer or to make a counteroffer, an agent first determines whether it is obligatory or permitted to perform the actions specified in the offer. If permitted but not obligatory, the agent next determines whether it is in his interest to accept the offer. (shrink)

This paper outlines a multi-agent architecture for regulated information exchange of crime investigation data between police forces. Interactions between police officers about information exchange are analysed as negotiation dialogues with embedded persuasion dialogues. An architecture is then proposed consisting of two agents, a requesting agent and a responding agent, and a communication language and protocol with which these agents can interact to promote optimal information exchange while respecting the law. Finally, dialogue policies are defined for the (...) individual agents, specifying their behaviour within a negotiation. Essentially, when deciding to accept or reject an offer or to make a counteroffer, an agent first determines whether it is obligatory or permitted to perform the actions specified in the offer. If permitted but not obligatory, the agent next determines whether it is in his interest to accept the offer. (shrink)

The papers collected in this volume exemplify some of the trends in current approaches to logic, language and computation. Written by authors with varied academic backgrounds, the contributions are intended for an interdisciplinary audience. The first part of this volume addresses issues relevant for multi-agent systems: reasoning with incomplete information, reasoning about knowledge and beliefs, and reasoning about games. Proofs as formal objects form the subject of Part II. Topics covered include: contributions on logical frameworks, linear logic, and different (...) approaches to formalized reasoning. Part III focuses on representations and formal methods in linguistic theory, addressing the areas of comparative and temporal expressions, modal subordination, and compositionality. (shrink)

Communication and content presents a comprehensive and foundational account of meaning based on new versions of situation theory and game theory. The literal and implied meanings of an utterance are derived from first principles assuming little more than the partial rationality of interacting agents. New analyses of a number of diverse phenomena – a wide notion of ambiguity and content encompassing phonetics, syntax, semantics, pragmatics, and beyond, vagueness, convention and conventional meaning, indeterminacy, universality, the role of truth in (...) class='Hi'>communication, semantic change, translation, Frege’s puzzle of informative identities – are developed. Communication, speaker meaning, and reference are defined. Frege’s context and compositional principles are generalized and reconciled in a fixed-point principle, and a detailed critique of Grice, several aspects of Lewis, and some aspects of the Romantic conception of meaning are offered. Connections with other branches of linguistics, especially psycholinguistics, sociolinguistics, historical linguistics, and natural language processing, are explored. -/- The book will be of interest to scholars in philosophy, linguistics, artificial intelligence, and cognitive science. It should also interest readers in related fields like literary and cultural theory and the social sciences. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Signs of Logic: Peircean Themes on the Philosophy of Language, Games, and CommunicationRobert W. BurchAhti-Veikko Pietarinen Signs of Logic: Peircean Themes on the Philosophy of Language, Games, and Communication Dordrecht, The Netherlands: Springer, 2006. xiv + 496 pp.This compendious volume of fourteen of Pietarinen's essays on Peirce, plus a three-page set of "Final Words" relating to the work of Robert Aumann, is a "must-have" for both the (...) Peirce scholar and any other philosopher who wishes to relate Peirce's thinking on language and logic to other major thinkers and logical themes of the twentieth century (and beyond). The essays extend or complement discussions of Peirce's logic and philosophy of language that have come to be expected from the "Finnish school" of philosophers, which includes Hintikka and Hilpinen, as well as Pietarinen.Nine of the essays (Chapters 3, 4, 5, 7, 8, 10, 12, 13, and 14), comprising about two-thirds of the entire book, are revised and expanded versions of essays that Pietarinen has previously published. The remaining one-third (approximately) of the book is brand new. Chapters 1 and 2 serve as general introductions to the book's major interests. Chapter 6 is on evidence for constructivism in Peirce, as well as several other topics. Chapter 9 compares Peirce's ideas with Wilfred Hodges's "dialogue foundations" and contains a small philosophical dialogue, which has Peirce, Wittgenstein, and Hodges as its characters. Chapter 11 concerns evolutionary semantics and language [End Page 577] games. And the cursory Chapter 15 of "Final Words" predicts that the game-theoretical approach to semantics and Peirce scholarship has an exploding future, like an erupting volcano.From the foregoing one can gather, correctly, that each essay in the book is separately conceived and that the book is not a single continuous line of argumentative development of one or even of a few themes. Still, the essays are similar to one another in two ways, which ways are closely related to each other. First, they all concern the Peircean doctrine that semeiotic and semeiosis constitute the heartland of logic, and that this heartland is vastly richer than the sort of pure mathematical calculi that might mistakenly be taken for logic itself (and were in fact so taken for much of the twentieth century). Second, they all deal with the Peircean insistence that semeiosis is inherently a form of Praxis in which interchanges occur between or among various "agents" or "actors," one of which might be nature itself; so that at the very least logic is dialogic, and so that more generally one may justifiably speak of semeiosis as involving something like a "game." These lines of exploration will surprise no seasoned Peirce scholar, but the special genius of the Finnish "school" of Peirce interpretation from Hintikka forward is to have spotlighted in dramatic fashion the game-theoretical nature of many elements in Peirce's semeiotic.In these essays Pietarinen amply exhibits two attainments of mind that are indispensable for the serious Peirce scholar. One is the object of what we might call "The Eisele Imperative" after the vehement urgings of Carolyn Eisele: this is the possession of some significant degree of sophistication in mathematics. Pietarinen's mathematical skills are plainly sufficient for his discussions of logic and game theory. For example, his Chapter 5 is an excellent technical discussion of Peirce's existential graphs, and his Chapter 7 is an admirable technical discussion of certain aspects of game theory and generalized quantifiers. Another crucial skill needed by the serious Peirce scholar is the object of what we might call "The Pietarinen Corrective" after the practices exemplified in these essays: this is the possession of extremely broad knowledge of recent and contemporary philosophy, especially philosophy of language, logic, metaphysics, epistemology, and philosophy of science.Indeed, the breadth of Pietarinen's acquaintance with twentieth century logic and philosophy of language, both "analytic" and "continental," is breathtaking. This allows him scope for comparisons of Peirce's views with an extraordinarily wide, and not always easily anticipated, range of philosophers and philosophic traditions. Pietarinen's range of reference is so extensive that it would be pointless to attempt to discuss in... (shrink)

Over the last decade, multi-agent systems have come to form one of the key tech- nologies for software development. The Formal Approaches to Multi-Agent Systems (FAMAS) workshop series brings together researchers from the fields of logic, theoreti- cal computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems. FAMAS addresses the issues of logics for multi-agent systems, formal methods for verification, for example model check- ing, and formal approaches (...) to cooperation, multi-agent planning, communication, coordination, negotiation, games, and reasoning under uncertainty in a distributed environment. In 2007, the third FAMAS workshop, FAMAS'007, was one of the agent workshops gathered together under the umbrella of Multi-Agent Logics, Languages, and Organ- isations - Federated Workshops, MALLOW'007, taking place from 3 to 7 September 2007 in Durham. This current special issue of the Logic Journal of the IGPL gathers together the revised and updated versions of the five best FAMAS'007 contributions. (shrink)

An examination of the ways human movement can be represented as a formal language and how this language can be mediated technologically. In Motion and Representation, Nicolás Salazar Sutil considers the representation of human motion through languages of movement and technological mediation. He argues that technology transforms the representation of movement and that representation in turn transforms the way we move and what we understand to be movement. Humans communicate through movement, physically and mentally. To record and capture integrated (...) movement (both bodily and mental), by means of formal language and technological media, produces a material record and cultural expression of our evolving kinetic minds and identities. Salazar Sutil considers three forms of movement inscription: a written record (notation), a visual record (animation), and a computational record (motion capture). He focuses on what he calls kinetic formalism—formalized movement in such pursuits as dance, sports, live animation, and kinetic art, as well as abstract definitions of movement in mathematics and computer science. He explores the representation of kinetic space and spatiotemporality; the representation of mental plans of movement; movement notation, including stave notation (Labanotation) and such contemporary forms of notation as Choreographic Language Agent; and the impact of digital technology on contemporary representations of movement—in particular motion capture technology and Internet transfer protocols. Motion and Representation offers a unique cultural theory of movement and of the ever-changing ways of representing movement. (shrink)

Biological evolution is often viewed narrowly as a change of morphology or allele frequency in a sequence of generations. Here I pursue an alternative informational concept of evolution, as preservation, advance, and emergence of functional information in natural agents. Functional information is a network of signs that are used by agents to preserve and regulate their functions. Functional information is preserved in evolution via complex interplay of copying and construction processes: the digital components are copied, whereas interpreting subagents together with (...) scaffolds, tools, and resources, are constructed. Some of these processes are simple and invariant, whereas others are complex and contextual. Advance of functional information includes improvement and modification of already existing functions. Although the genome information may change passively and randomly, the interpretation is active and guided by the logic of agent behavior and embryonic development. Emergence of new functions is based on the reinterpretation of already existing information, when old tools, resources, and control algorithms are adopted for novel functions. Evolution of functional information progressed from protosemiosis, where signs correspond directly to actions, to eusemiosis, where agents associate signs with objects. Language is the most advanced form of eusemiosis, where the knowledge of objects and models is communicated between agents. (shrink)

The primary function of language is communication. We use the tools of situation theory and game theory to develop a definition and model of communication between rational agents using a shared situated language. ;A central thesis of this dissertation is that the key feature of situated communication that enables agents to derive content from meaning is a special type of logical inference called a strategic inference. ;The model we develop, called the Strategic Discourse Model, looks at a (...) single strategic inference. An essential element of a strategic inference is that the content depends on the sentence uttered and on the embedding circumstances. This includes the private and public information and beliefs of the agents, their goals and intentions, and crucially, the other sentences the speaker might have uttered but chose not to. A complete model of communication involves a system of simultaneous strategic inferences. ;When the strategic interaction between two agents is common knowledge between them, that is, when it is a game, the information transfer is a communication. The content communicated is given by the solution to the game. This analysis formalizes Grice's ideas on nonnatural meaning within a situation-theoretic framework. A consequence of our situated analysis is that agents do not need to have the complex and infinite set of nested intentions postulated by the Gricean approach. A simple intention to communicate is all that is required, the ambient game doing the rest of the work. ;This model has many applications. Problems like resolving ambiguity, determining reference, inferring implicatures and indirect speech acts fall within its scope. As one application, we outline a new theory of names and definite descriptions. This account builds upon Russell and Strawson, and Barwise and Perry. The basic idea is that names and descriptions can both be used in various ways circumscribed by an ontological and a communicative constraint. This offers a new solution to the puzzle of informative identity statements and clarifies the referential-attributive distinction. It suggests an approach to the concept of representation. ;An underlying theme is to synthesize situation theory and game theory. (shrink)

Testimony and witnessing require sentiency, not humanity. Sentiency is distinguished here as the capacity to experience energetic coalescing between elements/entities/presences and to derive a response from such encounters. Taking as its focal point the kincentric ecology and lifeworld of Yanyuwa Country in the south-west Gulf of Carpentaria, northern Australia, this paper strives to expand the conceptual roots for a discussion of testimony and witnessing through the principle of “unflattening.” Unflattening is a commitment of orientation, one that counteracts the type of (...) narrow, rigid thinking that is flatness, a condition in which humans are often unable to see past the boundaries of current frames of mind, the limits of our existence, our ontology, epistemic and moral habit (Sousanis, Unflattening (Harvard UP, 2015)). In a settler colonial context such as Australia, these are conditions which reflect a dominant epistemic tradition of the West, which relies upon certain ontological habits, reflective of a capitalist, modern, neo-liberal and individualistic tendency. But this is not the only Law and way of knowing that exists across the great landmass of Australia, mapped as it is by the languages and Laws of diverse Indigenous language groups. In Yanyuwa Country, communication between multifarious agents is common, ranging from those between humans, deceased kin who reside as “old people” in Country, Ancestral Beings which have become the embodiment of Country, non-human animals, elements, objects and places. Each and all are capable of communicating; be it as expressions of recognition of one another, revelation of emotional states, health or disorder, responsivity to the presence of others, Law and local empiricism. Drawing on my ethnographic encounters with Yanyuwa families, I aim, throughout this paper, to unflatten on three fronts: first, expand the relational scope of potential communicative pathways to take in sentient presence as a catalyst for relationality (carried forth by responsiveness to and between presences), second, examine the multidimensional nature of testimony and third, expand our vision of the enactment of witnessing – to consider who, what and when. I consider Indigenous, specifically Yanyuwa, relational ontologies as they bond and unify the human and non-human across a field of sentiency and communicative intention, shifting the focus or primal orientation to either side of and all around the human. (shrink)

The astute reviews by Hamlin and by Revencu and Csibra provide compelling arguments and evidence for the early emergence of moral evaluation, communication, and pedagogical learning. I accept these conclusions but not the reviewers' claims that infants' talents in these domains depend on core systems of moral evaluation or pedagogical communication. Instead, I suggest that core knowledge of people as agents and as social beings, together with infants' emerging understanding of their native language, support learning about people as (...) moral agents, moral patients, communicators, and teachers. These issues are open, however, and our competing views invite further testing. (shrink)

Though a common language of science allows for easier communication of the results among researchers, the use of lingua franca also comes with the cost of losing some of the diverse ideas and results arising from the plurality of languages. Following Quine’s famous thesis about the indeterminacy of translation, we elaborate on the inherent loss of diverse ideas when only one language of science is used. Non-native speakers sometimes experience epistemic injustice due to their language proficiency and consequently, (...) their scientific insights get marginalized. Thus, it is important epistemically to include the results of all researchers independent of their native language. As a solution, we promote epistemic equity and inclusion both on the individual level and on the level of the scientific community. Epistemic equity means that researchers who suffer disadvantages because of their language skills get support from the rest of the scientific community that will compensate for their disadvantage and at the same time facilitate their epistemic inclusion. This can be achieved through the introduction of mitigating agents – the individuals and organizations that ought to serve as a communication bridge between individual researchers and the scientific community. (shrink)

This article proposes a number of models to examine through which mechanisms a population of autonomous agents could arrive at a repertoire of perceptually grounded categories that is sufficiently shared to allow successful communication. The models are inspired by the main approaches to human categorisation being discussed in the literature: nativism, empiricism, and culturalism. Colour is taken as a case study. Although we take no stance on which position is to be accepted as final truth with respect to human (...) categorisation and naming, we do point to theoretical constraints that make each position more or less likely and we make clear suggestions on what the best engineering solution would be. Specifically, we argue that the collective choice of a shared repertoire must integrate multiple constraints, including constraints coming from communication. Key Words: autonomous agents; colour categorisation; colour naming; connectionism; cultural evolution; genetic evolution; memes; origins of language; self-organisation; semiotic dynamics; symbol grounding. (shrink)

Diversity of agents occurs naturally in epistemic logic, and dynamic logics of information update and belief revision. In this paper we provide a systematic discussion of different sources of diversity, such as introspection ability, powers of observation, memory capacity, and revision policies, and we show how these can be encoded in dynamic epistemic logics allowing for individual variation among agents. Next, we explore the interaction of diverse agents by looking at some concrete scenarios of communication and learning, and we (...) propose a logical methodology to deal with these as well. We conclude with some further questions on the logic of diversity and interaction. (shrink)

Background: Medical tourism, thought of as patients seeking non-emergency medical care outside of their home countries, is a growing industry worldwide. Canadians are amongst those engaging in medical tourism, and many are helped in the process of accessing care abroad by medical tourism brokers - agents who specialize in making international medical care arrangements for patients. As a key source of information for these patients, brokers are likely to play an important role in communicating the risks and benefits of undergoing (...) surgery or other procedures abroad to their clientele. This raises important ethical concerns regarding processes such as informed consent and the liability of brokers in the event that complications arise from procedures. The purpose of this article is to examine the language, information, and online marketing of Canadian medical tourism brokers' websites in light of such ethical concerns. Methods: An exhaustive online search using multiple search engines and keywords was performed to compile a comprehensive directory of English-language Canadian medical tourism brokerage websites. These websites were examined using thematic content analysis, which included identifying informational themes, generating frequency counts of these themes, and comparing trends in these counts to the established literature. Results: Seventeen websites were identified for inclusion in this study. It was found that Canadian medical tourism broker websites varied widely in scope, content, professionalism and depth of information. Three themes emerged from the thematic content analysis: training and accreditation, risk communication, and business dimensions. Third party accreditation bodies of debatable regulatory value were regularly mentioned on the reviewed websites, and discussion of surgical risk was absent on 47% of the websites reviewed, with limited discussion of risk on the remaining ones. Terminology describing brokers' roles was somewhat inconsistent across the websites. Finally, brokers' roles in follow up care, their prices, and the speed of surgery were the most commonly included business dimensions on the reviewed websites. Conclusion: Canadian medical tourism brokers currently lack a common standard of care and accreditation, and are widely lacking in providing adequate risk communication for potential medical tourists. This has implications for the informed consent and consequent safety of Canadian medical tourists. (shrink)

One of the central issues of contemporary philosophy and biology is the nature of communication. Early accounts of communication tended to focus on just one side of the communicative divide – the speaker side or the receiver side – and took as their starting point the case of human language. Animal communication, historically, was largely treated as a special case. Now things are different. Now it appears we might have a model that makes sense of sign use (...) in both the human and animal realms and brings together both sides of the signaling divide. It’s still to be seen, however, how much the model actually captures, especially the farther down we go on the animal side, and it’s still to be seen how well the model captures the human cases, especially those around the edges. The purpose of this thesis is to explore the foundations of the sender-receiver model and to show that it can cover more than was previously imagined. Topics discussed include the nature of communication and signaling, animal communication, the nature of meaning or content, the communicative nature of objects such as works of art, blueprints, and maps, and the possibility of communication between groups and collective agents. (shrink)

Argument evaluation, one of the central problems in argumentation theory, consists in studying what makes an argument a good one. This paper proposes a formal approach to argument evaluation from the perspective of justification logic. We adopt a multi-agent setting, accepting the intuitive idea that arguments are always evaluated by someone. Two general restrictions are imposed on our analysis: non-deductive arguments are left out and the goal of argument evaluation is fixed: supporting a given proposition. Methodologically, our approach uses (...) several existing tools borrowed from justification logic, awareness logic, doxastic logic and logics for belief dependence. We start by introducing a basic logic for argument evaluation, where a list of argumentative and doxastic notions can be expressed. Later on, we discuss how to capture the mentioned form of argument evaluation by defining a preference operator in the object language. The intuitive picture behind this definition is that, when assessing a couple of arguments, the agent puts them to a test consisting of several criteria. As a result of this process, a preference relation among the evaluated arguments is established by the agent. After showing that this operator suffers a special form of logical omniscience, called preferential omniscience, we discuss how to define an explicit version of it, more suitable to deal with non-ideal agents. The present work exploits the formal notion of awareness in order to model several informal phenomena: awareness of sentences, availability of arguments and communication between agents and external sources. We discuss several extensions of the basic logic and offer completeness and decidability results for all of them. (shrink)

A case situation arising in a normal interaction among people is the baseline for discussing properties of the theory of viewpoints. In particular we consider how to ensure agreement on the meaning of certain utterances by agents who have different perspectives on the situation, while maintaning other knowledge as private. We argue that communication should be modeled as adding facts to the common knowledge of agents. We introduce the principle of ''referent sharing'' in communications and argue that common knowledge (...) resulting from communication should only use constants whose referent is manifest to the parties involved. (shrink)

David Kaplan's semantic theory for indexicals yields a distinct logic for indexical languages that generates contingent a priori truths. These special truths of the logic of indexicals include examples like "I am here now", an utterance of which expresses a contingent state of affairs and yet which, according to Kaplan, cannot fail to be true when it is uttered. This claim is threatened by the problem of displaced communications: answerphone messages, for example, seem to facilitate true instances of the (...) negation of this supposed logical truth as they allow the agent of the message to no longer be at the location of the message when it is encountered by an audience. Many such displaced communications can be identified in everyday natural language uses of indexicals. Recent discussion has suggested that Kaplan's error is to be overly restrictive in the possible contexts of utterance his semantic theory recognizes, as he fails to acknowledge the possibility of utterances that occur at a context distinct from that in which they are constructed. I reject this diagnosis and defend Kaplan's semantic theory. Displaced communications, I argue, are best understood as resulting from a pragmatically introduced metalinguistic context-shifting operation and hence do not demand revision of Kaplan's semantic theory. I provide an analysis of the pragmatic process underlying this operation and make the case for its merits over those of rival accounts of displaced communications. (shrink)

Manfred Eigen extended Erwin Schroedinger’s concept of “life is physics and chemistry” through the introduction of information theory and cybernetic systems theory into “life is physics and chemistry and information.” Based on this assumption, Eigen developed the concepts of quasispecies and hypercycles, which have been dominant in molecular biology and virology ever since. He insisted that the genetic code is not just used metaphorically: it represents a real natural language.However, the basics of scientific knowledge changed dramatically within the second half (...) of the 20th century.Unfortunately, Eigen ignored the results of the philosophy of science discourse on essential features of natural languages and codes: a natural language or code emerges from populations of living agents that communicate. This contribution will look at some of the highlights of this historical development and the results relevant for biological theories about life. (shrink)

Advances in artificial intelligence (AI) create an increasing similarity between the performance of AI systems or AI-based robots and human communication. They raise the questions: whether it is possible to communicate with, understand, and even empathically perceive artificial agents; whether we should ascribe actual subjectivity and thus quasi-personal status to them beyond a certain level of simulation; what will be the impact of an increasing dissolution of the distinction between simulated and real encounters. (1) To answer these questions, the (...) paper argues that the precondition for actually understanding others consists in the implicit assumption of the subjectivity of our counterpart, which makes shared feelings and a „we-intentionality” possible. This assumption is ultimately based on the presupposition of a shared form of life, conceived here as „conviviality.” (2) The possibility that future artificial agents could meet these preconditions is refuted on the basis of embodied and enactive cognition, which links subjectivity and consciousness to the aliveness of an organism. (3) Even if subjectivity is in principle impossible for artificial agents, the distinction between simulated and real subjectivity might nevertheless become increasingly blurred. Here, possible consequences are discussed, especially using the example of virtual psychotherapy. Finally, the paper makes case for a mindful appproach to the language we use to talk about artificial systems and pleads for preventing a systematic pretense of subjectivity. (shrink)

Traditional western linguistics portrays language as a fixed code and the language user as a code operator. Accordingly, knowing the code should guarantee the ability to communicate well. Yet asymmetrical cultural backgrounds in communicating agents can be seen to compromise or enable communication in ways that are not explainable based on this view. I suggest that we can move beyond this anomaly in our current understanding of language and communication by changing our minds on human perception so as (...) to encompass the individual contribution. I describe sign-making as an act of perception that helps the perceiver find the interaction potential in a situation, and look at how such an account can better accommodate an understanding of what happens during cross-cultural communication. (shrink)

Language—often said to set human beings apart from other animals—has resisted explanation in terms of evolution. Language has—among others—two fundamental and distinctive features: syntax and the ability to express non-present actions and events. We suggest that the relation between this representation (of non-present action) and syntax can be analyzed as a relation between a function and a structure to fulfill this function. The strategy of the paper is to ask if there is any evidence of pre-linguistic communication that fulfills (...) the function of communicating an absent action. We identify a structural similarity between understanding indexes of past actions of conspecifics (who did what to whom) and one of the simplest and most paradigmatic linguistic syntactic patterns – that of the simple transitive sentence. When a human being infers past events from an index (i.e., a trace, the conditions of a conspecifics or an animal, a constellation or an object) the interpreters’ comprehension must rely on concepts similar in structure and function to the ‘thematic roles’ believed to underpin the comprehension of linguistic syntax: in his or her mind the idea of a past action or event emerges along with thematic role-like concepts; in the case of the presentation of, e.g., a hunting trophy, the presenter could be understood to be an agent (subject) and the trophy a patient (direct object), while the past action killed is implied by the condition of the object and its possession by the presenter. We discuss whether both the presentation of a trophy and linguistic syntax might have emerged independently while having the same function (to represent a past action) or whether the presentation of an index of a deed could constitute a precursor of language. Both possibilities shed new light on early, and maybe first, language use. (shrink)

Large-scale language technologies are increasingly used in various forms of communication with humans across different contexts. One particular use case for these technologies is conversational agents, which output natural language text in response to prompts and queries. This mode of engagement raises a number of social and ethical questions. For example, what does it mean to align conversational agents with human norms or values? Which norms or values should they be aligned with? And how can this be accomplished? In (...) this paper, we propose a number of steps that help answer these questions. We start by developing a philosophical analysis of the building blocks of linguistic communication between conversational agents and human interlocutors. We then use this analysis to identify and formulate ideal norms of conversation that can govern successful linguistic communication between humans and conversational agents. Furthermore, we explore how these norms can be used to align conversational agents with human values across a range of different discursive domains. We conclude by discussing the practical implications of our proposal for the design of conversational agents that are aligned with these norms and values. (shrink)