If we express our knowledge in sentences, we will find that these sentences are linked in complex patterns governed by our observations and our inferences from these observations. These inferences are to a large extent driven by logical rules. We ask whether the structure logic imposes on our knowledge restricts what we forget and what we remember. The model is a two period S5 logic. In this logic, we propose a memory loss operator: the agent forgets a sentence pif (...) and only if he knows pat time 1 and he does not know pat time 2. Equipped with the operator, we prove theorems on the relation between knowledge and memory loss. The main results point to classes of formulas that an agent cannot forget, and classes of formulas he must forget. A desirable feature is that most results hold in the S4 logic. The results illustrate bounds to memory loss, and thus to bounded rationality. We apply the model to single-agent conventions: conventions made between an agent and himself. (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)

Conformity by an agent to a convention to which the agent is a party is rational only if the agent prefers to conform given the other parties conform and believes the others will conform. But this justification is inadequate; what, for example, is the justification for this belief? The required rational justification requires recourse to (a) preferences for general conformity (as opposed to merely conditional preferences for one's own conformity) and (b) procedures. An agent adopts a (...) procedure when he chooses to perform a whole set of future actions, as opposed to a single action. (shrink)

This paper investigates Western professional bankers’ perceptions of Islamic finance. Exploiting data from an original survey, we carry out a principal component analysis to characterize the main dimensions on which financial agents diverge. The PCA extracts five dimensions—accounting for 61 % of the variance in the agents’ answers—that we interpret with the help of a pilot field survey. In addition to confirm the increased association of Islamic financial values with ethical practices in the West, our results allow us to understand (...) how the observed growth of the industry has been conceptualized by conventional agents. The five dimensions identified shed light on the multitude of constructs that have informed the diffusion of Islamic financial ideas to international markets. This supports the fact that Islamic finance cannot be seen as a single movement but is characterized by opposing and concurrent logics in global markets. (shrink)

Open peer commentary on the article “Exploration of the Functional Properties of Interaction: Computer Models and Pointers for Theory” by Etienne B. Roesch, Matthew Spencer, Slawomir J. Nasuto, Thomas Tanay & J. Mark Bishop. Upshot: We support Roesch and his co-authors’ theoretical stance on constructivist artificial agents, and wish to enrich their “exploration of the functional properties of interaction” with complementary results. By revisiting their experiments with an agent that we developed previously, we explore two issues that they deliberately (...) left aside: autonomous intentionality and dynamic reutilization of knowledge by the agent. Our results reveal an alternative pathway to constructivism that addresses the central question of intentionality in a single agent from the very beginning of its design, suggesting that the property of distributed processing proposed by Roesch et al. is not essential to constructivism. (shrink)

Conventional economic theory assumes that agents should be consistent across decisions. However, it is often observed that experimental subjects fail to report consistent preferences. So far, these inconsistencies are almost always examined singly. We thus wonder whether the more inconsistent individuals in one task are also more inconsistent in other tasks. We propose an experiment in which subjects are asked to report their preferences over risky bets so as to obtain, for each subject, three measures of inconsistencies: classical preference reversals, (...) framing effects and preference instability. In line with previous experimental findings, subjects are largely inconsistent according to each of these three measures and there are considerable individual differences. The main result is that we find no correlation among these three measures of inconsistency. (shrink)

In this paper we present a sequent calculus for the multi-agent system S5 m . First, we introduce a particularly simple alternative Kripke semantics for the system S5 m . Then, we construct a hypersequent calculus for S5 m that reflects at the syntactic level this alternative interpretation. We prove that this hypersequent calculus is theoremwise equivalent to the Hilbert-style system S5 m , that it is contraction-free and cut-free, and finally that it is decidable. All results are proved (...) in a purely syntactic way and the cut-elimination procedure yields an upper bound of ip 2 (n, 0) where ip 2 is an hyperexponential function of base 2. (shrink)

The purpose of this paper is to prove the decidability ofstit theory (a logic of seeing to it that) with a single agent andRefref Equivalence. This result is obtained through an axiomatization of the theory and a proof that it has thefinite model property. A notion ofcompanions to stit formulas is introduced and extensively used in the proof.

We present in this paper an axiomatization of Belnap and Perloff's stit theory (a logic of "seeing to it that") with a single agent. The idea of the proof is to apply the notion of companion sets--the same notion as used in another paper by the author that showed the decidability of stit theory with a single agent and Refref equivalence.

Temporal epistemic logics are known, from results of Halpern and Vardi, to have a wide range of complexities of the satisfiability problem: from PSPACE, through non-elementary, to highly undecidable. These complexities depend on the choice of some key parameters specifying, inter alia, possible interactions between time and knowledge, such as synchrony and agents' abilities for learning and recall. In this work we develop practically implementable tableau-based decision procedures for deciding satisfiability in single-agent synchronous temporal-epistemic logics with interactions between (...) time and knowledge. We discuss some complications that occur, even in the single-agent case, when interactions between time and knowledge are assumed and show how the method of incremental tableaux can be adapted to work in EXPSPACE, respectively 2EXPTIME, for these logics, thereby also matching the upper bounds obtained for them by Halpern and Vardi. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:GOOD MEN'S WOMEN: HUME ON CHASTITY AND TRUST At the very heart of Hume's philosophy in the Treatise, namely between his discussion of the artificial and the natural virtues, he places a short chapter entitled "Of Chastity and Modesty." Its central position is appropriate, since these supposed virtues present something of a test case for Hume's account of the relation between nature and artifice, and, more generally, beyond his (...) moral philosophy, for his views on regularity and constancy in and out of individual lives. For these theoretical reasons, as well as for the calm realism of his treatment of sexual inequality, the chapter warrants more attention than it has received. Perhaps Hume's most important contribution to moral philosophy is his account of the difference between natural virtues, displayed in actions which do good one by one, each act having value independently of whether similar acts are performed by oneself and others on other occasions, and artificial virtues displayed in acts in essential conformity to established socially useful conventions, which do good only in so far as they are supported by general conformity. Hume does not, like Kant, insist that we always see morally good action as obedience to law, nor does he neglect the importance of those areas where good can be done only if acts are correctly seen as conforming to general laws, general conformity to which is not only willed by the agent but assumed by him to be in effect. Hume gives a subtle and elaborate account of when we do and when we do not need moral and social conformity, of which virtues are and which virtues are not mediated by changeable public will or convention. Conventions must operate before any act can count as property-respecting, but there is no need to ask 'can I will this as universal law?' before comforting a frightened child. Whatever the conventions, whatever others do, such an act does some good, and is the sort of 2. act which displays the natural virtue of kindness. Hume requires of a virtuous act not merely that it be helpful or agreeable to someone (or some public) but that it display a durable character trait in the agent. An uncharacteristic act of kindness to a child may do good without displaying a virtue or a good character. Approval is given, according to Hume, to persons on account of theii durable character traits, as displayed in their actions and reactions. The natural response to virtue is to welcome its possessor: His company is a satisfaction to me (T588), and virtue in rags will be the exception in a smoothly functioning society. The fact that Hume's ethics is an agent ethics, and that the concept of welcome virtue is more fundamental to it than that of a useful action, commits Hume, throughout his moral philosophy and especial!, in his treatment of the natural virtues, to an emphasis on consistency or integrity of character, to a search for durable character traits and so for characteristic actions. Now a person might be characteristically kind, yet on occasion, under stress, give expression to unaccustomed malice. The uncharacteristic malicious act may weaken but not destroy the virtue of kindness which kind acts have both expressed and infixed (T411). When the malicious act is known, the person's reputation for benevolence may be slightly sullied, but certainly not ruined. Both within one person's life, and within one population, there will be reason to encourage consistently virtuous action, but no reason to feel that all is lost or spoiled if lapses from the natural virtues occur. Even when cruelty is the norm, the rare kind act may be appreciated, if not rewarded, the rare kind person may be welcome, if also exploited and victimized. With the artificial virtues there is a stronger demand and need for uniformity in a population, since the value of any one just act, or one person's character trait, depends upon the support received from the similar acts and 3. traits of others. Every single act is performed in the expectation that others are to perform the like (T498). To display artificial virtues, actions must be seen as rule... (shrink)

Visual narratives, like comics, at times show depictions of characters’ imagination, dreams, or flashbacks, which seem incongruent with the ongoing primary narrative. Such “domain constructions” thus integrate an auxiliary domain (e.g. a dream) within the primary domain (the expected, physical storyworld), and may require readers to resolve seemingly non-co-referential figures as co-referential (e.g. when a character’s dream shows that character as an animal). In three self-paced reading experiments, we investigate the processing and understanding of single vs. multiple domains in (...) sequences with co-reference issues (Exp. 1) and whether graphic cues facilitate such domain switches (Exp. 2 and 3). Domain switches incurred greater updating costs but were comprehensible, with greater similarity across panels predicting faster processing, and comic reading experience affecting viewing times. The successful integration of fantasized agents which seem to lack co-reference implies that visual narrative comprehension goes beyond event and scene perception alone, but also involves proficiency in conventional constructions related to perspective-taking and inferencing. (shrink)

Although Habermas has never worked out a conception of virtue and indeed criticizes this notion whenever he uses it, his theory crucially depends on the virtuous attitude of participants in discourse — be it in the realm of democracy and law or that of morality. In this paper, in which I deal only with the ethical foundations of morality, I argue first that the norms of discourse which are gained from a presuppositional analysis of speech as such have to be (...) complemented by the sensitive perception on the side of the recipients. Only when the claims are understood in their full significance for the speaker does the discourse live up to the ideal which is already anticipated in every speech act. This presuppositional analysis shows secondly that it is mainly the virtuous attitude that is morally relevant and not those capacities for acting morally that the agent already possesses. However, the virtuous attitude genuinely entails the obligation to strive to perfect all those capacities that enable us to sensitively understand the other's claim. A discussion of the capacities that have to be promoted leads to the singling out of sensitivity as contrasted to immediate empathy. It is the reflexive transcendence of the agent's evaluative patterns that allows this emotion to sit well with a post-conventional morality. Finally, I discuss a possible caveat of Wellmer and Habermas who might claim that the proposed conception of virtue would only be valid for participants in discourse, but not for agents acting in the life-world. However, because the discursive virtue is of wide latitude, it does not fall under this objection. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:On Wu-wei as a Unifying MetaphorChris FraserEffortless Action: Wu-wei as Conceptual Metaphor and Spiritual Ideal in Early China. By Edward Slingerland. New York: Oxford University Press, 2003. Pp. xii + 352. $60.00.This provocative work is the most ambitious general study of pre-Qin thought to appear in more than a decade. It deals with what is increasingly recognized as one of the period's key themes, the ethical ideal of perfected (...) action and the processes of cultivation, or uncultivation, by which it might be achieved. The book has two specific aims, one substantive, one methodological (p. vii). The substantive aim is to show that the notion of wu-wei, which Slingerland renders as "effortless action," functioned as a shared ideal and problematic for both Daoists and Confucians and that internal tensions in this ideal motivated much of the development of Warring States thought (p. 5). The methodological aim is to illustrate the fruitfulness of conceptual-metaphor theory, familiar from the work of Lakoff and Johnson, by employing it to articulate and support the book's substantive theses (p. vii).For Slingerland, wu-wei is "a state of personal harmony in which actions flow freely and instantly from one's spontaneous inclinations... and yet nonetheless accord perfectly with the dictates of the situation at hand, display an almost supernatural efficacy, and (in the Confucian context at least) harmonize with the demands of conventional morality" (p. 7). Slingerland expands on this characterization in various ways, without making it entirely clear how all the features he identifies fit together. On the one hand, he explains that wu-wei is a phenomenological feature of the agent's subjective mental state: "wu-wei properly refers not to what is actually happening (or not happening) in the realm of observable action but rather to... the phenomenological state of the doer" (p. 7), primarily one of effortlessness and unselfconsciousness (pp. 29-33). But wu-wei is also "action that... accords in every particular with the normative order of the cosmos" (p. 5), so beyond its phenomenological features, it must include an objective normative component as well. Another remark suggests that wu-wei fundamentally is not a phenomenological state after all, since "it represents not a transitory state but rather a set of dispositions" (p. 7). Probably these various statements are meant to emphasize that the crux of wu-wei is to achieve and sustain a certain sort of psychological state, which then reliably generates effortless, normatively appropriate, efficacious action.The phrase 'wu-wei' plays essentially no role in Confucian texts and is absent from large chunks of the Zhuangzi. So Slingerland's thesis that wu-wei is the joint [End Page 97] ideal of both Daoist and Confucian thought faces a daunting justificatory challenge, which he proposes to meet by applying conceptual metaphor theory (p. 10). On his interpretation, wu-wei is not to be understood literally, as "non-doing," since in the state denoted by wu-wei, the agent is not actually inactive, doing nothing at all (p. 11). This gap between literal meaning and actual reference indicates that the term 'wu-wei' functions metaphorically, referring to "a metaphorically conceived situation" in which an action occurs even though the agent exerts no effort (p. 11). Slingerland hypothesizes that wu-wei became a technical term for effortless action because it is the most general of a network of conceptual metaphors for effortlessness and unselfconsciousness, including families of metaphors for "following" (p. 29), "ease" (p. 30), and "forgetting" (p. 33). This network expresses a unified, "deeper conceptual structure," appeal to which justifies the claim that "apparently diverse ideals of perfected action" are in fact articulations and developments of a single metaphorically conceived ideal, though the term denoting it—'wu-wei'—may not appear in a particular text (p. 11).Once we have a grip on the conceptual structure of wu-wei through the families of metaphors that constitute it, we can identify wu-wei as a central problematic of pre-Qin thought and trace its development by examining the use of these metaphors in texts from the Book of Odes and the Book of History (chapter 1) through the Xunzi (chapter 7). Each... (shrink)

Big cities and growing industrial areas bring high risk of different kinds of pollutions which would implicate to the quality of life of the society. Discovering and monitoring of polluted areas using autonomous mobile robots is nowadays a frequently considered solution concerning both environmental and human safety problems. Being part of a distributed control system, such robots can help to improve the efficiency of the existing conventional pollution prevention systems. On the other hand, during the last decade, wireless sensor networks (...) have provoked the interest of specialists from different areas by imposing a large number of theoretical and practical challenges related to their implementation. This paper attempts to deal with both issues by presenting a possible way for building robotized WSNs that can be suitable for solving different environmental monitoring tasks. The goal is to transform the WSN into an adaptive sensor system with intelligent behavior that can be used to discover and track spots or areas where given monitored environmental parameters violate defined thresholds. The inclusion of robotized agents into the WSN structure can provide additional flexibility with respect to the installation of the network sensors and allow reliable information gathering and transfer. The proposed algorithmic methods have been tested on a pre-built laboratory prototype of a robotized WSN. The robotized agents have been built using iRobot Create mobile platforms that are additionally equipped with a single-chip computers Gumstix Verdex pro TM XL6P with various expansion modules. (shrink)

Starting from 2009, national courts of the EU Member States for the first time gained a “real” right to request the EU Court of Justice for preliminary rulings in asylum matters. First judgments of this Court demonstrate equivocal tendencies: some are blaming the Court for incompetence in asylum matters, others believe that the adoption of authoritative decisions at the European level will assist in developing consistent practice of applying asylum law in the European Union, something that failed at international level (...) due to absence of a single authoritative body to provide guidance on interpretation and application of the 1951 Refugee Convention. Considering that the judgments of the EU Court are part of the EU law, the Member States should develop their national asylum law with due regard being taken to those judgments. By the beginning of 2012, the Court has issued eight judgments on the interpretation of various problematic issues of EU asylum law. This Article analyses the jurisprudence of the EU Court in asylum cases, related to the granting of refugee status and subsidiary protection. It also provides a critical evaluation of those judgments. The main objective of the Article is to familiarise the relevant Lithuanian institutions and lawyers with the first judgments of the EU Court in asylum cases and encourage discussions concerning the application of rules established by the Court in the Lithuanian context. Due to limited size, this Article presents the analysis of two EU Court judgments adopted on interpretation of the 2004 Qualification Directive: Elgafaji v. The Netherlands (2009) dealing with granting of subsidiary protection, and Abdulla and others v. Bundesrepublik Deutschland (2010), dealing with cessation of refugee status. The value of those judgments first of all lies in the guidance they provided to the Member States on such concepts as: protection in a situation of an armed conflict, agents of protection, effectiveness of protection; as well as determination of a relationship between refugee status and subsidiary protection, relationship of the Qualification Directive with the European Convention on Human Rights and Fundamental Freedoms (ECHR), also cessation of protection. Elgafaji decision, while quite liberal with regard to persons seeking international protection, is not so liberally applied in the Member States’ practice and does not in itself guarantee positive outcome of the application of a concrete individual fleeing from an armed conflict, or a liberal approach to granting subsidiary protection in the Member States. Based on Elgafaji judgment it is clear that: Art. 15(b) of the Qualification Directive correspond to Art. 3 ECHR, while Art. 15(c) provides additional protection and in that it expands the Member States’ obligations beyond the ECHR to provide protection to persons fleeing in situations of armed conflict. While not every person arriving from an armed conflict situation would automatically fall under the granting of subsidiary protection, in certain exceptional situations indiscriminate violence may amount to individual threat without invoking personal circumstances. The EU Court departed from the individualisation requirement applied by the European Court of Human Rights in Art. 3 cases and did not also rely on international humanitarian law, by introducing a “sliding scale” formula for establishing an individual threat in armed conflict situation instead. This formula addressed the alleged internal discrepancy between “individual threat” and “indiscriminate violence”. The Abdulla decision brought in the human rights and law enforcement perspectives to the interpretation of cessation clauses, however it represents a rather superficial approach in the context of the analysed concepts (e.g. towards effectiveness of protection provided by the multinational armed forces) and is likely to be incompatible with the latest legislative trends in the EU asylum instruments (e.g. determination of refugee status and subsidiary protection by means of a single procedure) and the recent jurisprudence under the ECHR (e.g. failure to ensure a minimum standard of living may violate the ECHR). (shrink)

In this paper, we investigate the use of event models for automated planning. Event models are the action defining structures used to define a semantics for dynamic epistemic logic. Using event models, two issues in planning can be addressed: Partial observability of the environment and knowledge. In planning, partial observability gives rise to an uncertainty about the world. For single-agent domains, this uncertainty can come from incomplete knowledge of the starting situation and from the nondeterminism of actions. In (...) multi-agent domains, an additional uncertainty arises from the fact that other agents can act in the world, causing changes that are not instigated by the agent itself. For an agent to successfully construct and execute plans in an uncertain environment, the most widely used formalism in the literature on automated planning is “belief states”: sets of different alternatives for the current state of the world. Epistemic logic is a significantly more expressive and theoretically better founded method for representing knowledge and ignorance about the world. Further, epistemic logic allows for planning according to the knowledge (and iterated knowledge) of other agents, allowing the specification of a more complex class of planning domains, than those simply concerned with simple facts about the world. We show how to model multi-agent planning problems using Kripke-models for representing world states, and event models for representing actions. Our mechanism makes use of slight modifications to these concepts, in order to model the internal view of agents, rather than that of an external observer. We define a type of planning domain called epistemic planning domains, a generalisation of classical planning domains, and show how epistemic planning can successfully deal with partial observability, nondeterminism, knowledge and multiple agents. Finally, we show epistemic planning to be decidable in the single-agent case, but only semi-decidable in the multi-agent case. (shrink)

I present a game-theoretical multi-agent system to simulate the evolutionary process responsible for the pragmatic phenomenon division of pragmatic labour (DOPL), a linguistic convention emerging from evolutionary forces. Each agent is positioned on a toroid lattice and communicates via signaling games , where the choice of an interlocutor depends on the Manhattan distance between them. In this framework I compare two learning dynamics: reinforcement learning (RL) and belief learning (BL). An agent’s experiences from previous plays influence his (...) communication behaviour, and RL agents act in a non-rational way whereas BL agents display a small degree of rationality by using best response dynamics . The complete system simulates an evolutionary process of communication strategies, which agents can learn in a structured spatial society. The significant questions are: what circumstances could lead to an evolutionary process that doesn’t result in the expected DOPL convention; and to what extent is interlocutor rationality necessary for the emergence of a society-wide convention à la DOPL? (shrink)

The paper considers two-agent order acceptance scheduling problems with different scheduling criteria. Two agents have a set of jobs to be processed by a single machine. The processing time and due date of each job are known in advance. In the order accepting scheduling problem, jobs are allowed to be rejected. The objective of the problem is to maximize the net revenue while keeping the weighted number of tardy jobs for the second agent within a predetermined value. (...) A mixed-integer linear programming formulation is provided to obtain the optimal solution. The problem is considered as an NP-hard problem. Therefore, MILP can be used to solve small problem instances optimally. To solve the problem instances with realistic size, heuristic and metaheuristic algorithms have been proposed. A heuristic method is used to determine and secure a quick solution while the metaheuristic based on particle swarm optimization is designed to obtain the near-optimal solution. A numerical experiment is piloted and conducted on the benchmark instances that could be obtained from the literature. The performances of the proposed algorithms are tested through numerical experiments. The proposed PSO can obtain the solution within 0.1% of the optimal solution for problem instances up to 60 jobs. The performance of the proposed PSO is found to be significantly better than the performance of the heuristic. (shrink)

M. B. Hintikka and J. Hintikka claimed that their reconstruction of the ‘Sherlock Holmes sense of deduction’ can “serve as an explication for the link between intelligence and memory”. The claim is vindicated, first for the single-agent case, where the reconstruction captures strategies for accessing the content of a distributed and associative memory; then, for the multi-agent case, where the reconstruction captures strategies for accessing knowledge distributed in a community. Moreover, the reconstruction of the ‘Sherlock Holmes sense (...) of deduction’ allows to conceptualize those strategies as belonging to a continuum of behavioral strategies. (shrink)

Neoclassical economics assumes that individuals have stable and context-independent preferences, and uses preference satisfaction as a normative criterion. By calling this assumption into question, behavioural findings cause fundamental problems for normative economics. A common response to these problems is to treat deviations from conventional rational choice theory as mistakes, and to try to reconstruct the preferences that individuals would have acted on, had they reasoned correctly. We argue that this preference purification approach implicitly uses a dualistic model of the human (...) being, in which an inner rational agent is trapped in an outer psychological shell. This model is psychologically and philosophically problematic. (shrink)

In this paper we present some concepts and their relations that are necessary for modeling autonomous agents in an environment that is governed by some (social) norms. We divide the norms over three levels: the private level the contract level and the convention level. We show how deontic logic can be used to model the concepts and how the theory of speech acts can be used to model the generation of (some of) the norms. Finally we give some idea about (...) an agent architecture incorporating the social norms based on a BDI framework. (shrink)

Conventions are regularities in social behaviour of the past that enable us to coordinate our actions. Some conventions are lawlike: they are expected to be observed always or nearly always. However, in order to coordinate our actions, it may suffice that a precedent has occurred often enough, and sometimes even a single precedent will do. So, in general, conventions merely enable us to solve our coordination problems; lawlike conventions are a special case. Grammatical conventions (...) are often lawlike; sense conventions are typically enabling. In order to resolve the indeterminacies that sense conventions give rise to, interlocutors must rely on the common ground. In this and other ways, common ground is a prerequisite for convention‐based communication. (shrink)

Macromolecular interactions play a central role in many biological processes. Protein‐protein interactions have mostly been studied by co‐immunoprecipitation, which cannot provide quantitative information on all possible molecular connections present in the complex. We will review a new approach that allows cellular proteins and biomolecular complexes to be studied in real‐time at the single‐molecule level. This technique is called single‐molecule pull‐down (SiMPull), because it integrates principles of conventional immunoprecipitation with the powerful single‐molecule fluorescence microscopy. SiMPull is used to (...) count how many of each protein is present in the physiological complexes found in cytosol and membranes. Concurrently, it serves as a single‐molecule biochemical tool to perform functional studies on the pulled‐down proteins. In this review, we will focus on the detailed methodology of SiMPull, its salient features and a wide range of biological applications in comparison with other biosensing tools. (shrink)

Lewis signalling games are often used to explain how it is possible for simple agents to develop systems of conventional semantic meaning. In these games, all players obtain identical payoffs in every outcome. This is an unrealistic payoff structure, but it is often employed because it is thought that semantic meaning will not emerge if interests conflict. Here it is shown that not only is conventional meaning possible when interests conflict, but it is the most likely outcome in a finite (...) population model of learning known as the Moran process. On the basis of this result it is suggested that evolutionary game theory’s standard models may yield results that are systematically distorted for a class of signalling games that have the abstract structure of social dilemmas. 1 Introduction2 The Seduction Game3 Imitation Dynamics with Small Mutations4 Dynamics with Unverifiable Message5 Analysis of a Related Three-Strategy Game6 Conclusion. (shrink)

The ethical authority carried in the conventions of fairness and human well-being has been widely adopted under the idea of “moral economy,” forming an eclectic and interdisciplinary debate. Significant, though external to this debate, is a corpus of medieval thought which exhibits a fundamental interest in legitimate market protocols, and the political rights and obligations of agents in relation to the common good of the community. This article asserts the imperative status of a customary basis for understanding not just (...) the analytic version of moral economy but the legacy contained in what might be termed the “the moral economy of Aquinas.”. (shrink)

This paper evaluates the current use of the Principal Agent Model (PAM) in accounting and finance, focusing on the agent'ss use of private information. The agent'ss behavioral norms in the the PAM deviate from commonly held ethical values in society, from models of man in conventional economic theory, and also from behavioral foundations of related business school fields like corporate strategy, business ethics, and human resource management. Still, it would be unwise to reject the PAM solely because (...) of its distasteful ethical assumptions. The model does appear to have predictive power, but its descriptive or normative qualities remain unexplored. The popularity of the PAM, with its extreme model of man, raises fundamental questions about the impact of this model on business school stakeholders and society at large. (shrink)

This paper addresses weighting and partitioning in complex reinforcement learning tasks, with the aim of facilitating learning. The paper presents some ideas regarding weighting of multiple agents and extends them into partitioning an input/state space into multiple regions with di erential weighting in these regions, to exploit di erential characteristics of regions and di erential characteristics of agents to reduce the learning complexity of agents (and their function approximators) and thus to facilitate the learning overall. It analyzes, in reinforcement learning (...) tasks, di erent ways of partitioning a task and using agents selectively based on partitioning. Based on the analysis, some heuristic methods are described and experimentally tested. We nd that some o -line heuristic methods performed the best, signi cantly better than single-agent models. (shrink)

Most of the paper is devoted to examining and discussing a conceptual scheme devised by Jakob Mel?e for the description of human action. The main focus is on that part of the scheme which Mel?e has developed in detail in his ?Akt?ren og hans verden?, and which is a scheme for describing single practical operations by a single agent. These operations have the form ?x operates on y?. I identify as central in this scheme the four concepts (...) of the operation's tautologous object, the operation's tautologous subject, the agent and the agent's tautologous body. The common thematic concern of Mel?e's work and this paper is the question of the extent to which the agent's landscape (in a fairly broad sense of the term) is a determinant of the identity of his action. (shrink)

The aim of this paper is to clarify what kind of normativity characterizes a convention. First, we argue that conventions have normative consequences because they always involve a form of trust and reliance. We contend that it is by reference to a moral principle impinging on these aspects (i.e. the principle of Reliability) that interpersonal obligations and rights originate from conventional regularities. Second, we argue that the system of mutual expectations presupposed by conventions is a source of agreements. (...) Agreements stemming from conventions are “tacit” in the sense that they are implicated by what agents do (or forbear from doing) and without that any communication between them is necessary. To justify this conclusion, we assume that: (1) there is a salient interpretation, in some contexts, of everyone’s silence as confirmatory of the others’ expectations (an epistemic assumption), and (2) the participating agents share a value of not being motivated by hostile attitudes (a motivational assumption). By clarifying the relation between conventions and agreements, the peculiar normativity of conventions is analyzed. (shrink)

This paper addresses automatic partitioning in complex reinforcement learning tasks with multiple agents, without a priori domain knowledge regarding task structures. Partitioning a state/input space into multiple regions helps to exploit the di erential characteristics of regions and di erential characteristics of agents, thus facilitating learning and reducing the complexity of agents especially when function approximators are used. We develop a method for optimizing the partitioning of the space through experience without the use of a priori domain knowledge. The method (...) is experimentally tested and compared to a number of other algorithms. As expected, we found that the multi-agent method with automatic partitioning outperformed single-agent learning. (shrink)

Various special investigative methods are more often applied nowadays; their use is unavoidably induced by today’s reality in combating organised crime in the spheres such as corruption, prostitution, drug trafficking, trafficking in persons, money counterfeit and etc. Therefore, special secret investigative methods are more often used and they are very effective in gathering evidence for the purpose of detecting and investigating very well-organised or latent crimes. Both the Convention on the Protection on Human Rights and Fundamental Freedoms itself, i.e. its (...) Article 6, and other international instruments, such as the Council of Europe’s Criminal Law Convention, the Council of Europe’s Convention on Laundering, Search, Seizure and Confiscation of the Proceeds from Crime and others, do not prohibit the use of special investigative methods, provided that their use does not violate human rights. The use of special investigative methods, such as undercover agents or other undercover investigative methods, cannot in itself infringe human rights and the right to a fair trial; however, its use must have clear limits and safeguards. The recent judgements of the European Court of Human Rights regarding the use of undercover agents confirm that the use of undercover agents in certain types of cases is often unavoidable and also very problematic, because the Court imposes on the member states of the Convention increasingly wider obligations. Partly this is determined by the fact that the current jurisprudence of the Court is still in the state of formation, therefore many questions are left unanswered. (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)

In this paper, a model of norms as cognitive objects is applied to establish connections between social conventions and prescriptions. Relevant literature on this issue, especially found in AI and the social sciences, will be shown to suffer from a dychotomic view: a conventionalistic view proposed by rationality and AI scientists; and a prescriptive view proposed by some philosophers of law (Kelsen 1934/1979, Hart 1961, Ross, 1958).In the present work, the attempt is made to fill the gap between these (...) views by putting forward a hypothesis concerning the process from perceived behavioural regularities to normative assumptions. The emergence of norms will be here seen as intrinsically intertwined with the emergence of normative beliefs. Unlike that assumed by the conventionalistic sight, the process of emergence is seen as a non-continuous phenomenon. A given behavioural regularity will be argued to give rise to a normative belief if and as long as that regularity is believed to be prescribed within the community. Two corollaries of this hypothesis will be examined: (1) unlike that implied by the conventionalistic view, the spreading of norms is not only due to a passive behavioural social influence (imitation) but also to an active cognitive one (the spreading of normative wants and beliefs); (2) unlike that assumed by the prescriptive view, a norm is not necessarily explicitly and deliberately issued by some normative authority, but is grounded upon the norm-addressees' beliefs that they are generally prescribed to comply with it. (shrink)

At the start of Convention (1969) Lewis says that it is "a platitude that language is ruled by convention" and that he proposes to give us "an analysis of convention in its full generality, including tacit convention not created by agreement." Almost no clause, however, of Lewis's analysis has withstood the barrage of counter examples over the years,1 and a glance at the big dictionary suggests why, for there are a dozen different senses listed there. Left unfettered, convention wanders freely (...) from conventional wisdom through conventional medicine, conventions of art and "conventions of morality" to conventions of bidding in bridge.2 Surely it is unwise to try to fell these all with a single stone. Lewis's original goal, however, pursued further in (Lewis 1975), was to describe the conventionality of language, and this may be a more reasonable target. (shrink)

The doctrine of agent-causation has been suggested by many interested in defending libertarian theories of free action to provide the conceptual apparatus necessary to make the notion of incompatibility freedom intelligible. In the present essay the conceptual viability of the doctrine of agent-causation will be assessed. It will be argued that agent-causation is, insofar as it is irreducible to event-causation, mysterious at best, totally unintelligible at worst. First, the arguments for agent-causation made by such eighteenth-century luminaries (...) as Samuel Clarke and Thomas Reid will be considered alongside the defenses of agent-causation proffered in this century by C.A. Campbell, Roderick Chisholm, and Richard Taylor. It will be shown that the case for agent-causation made by these figures is ultimately unconvincing. Two defenses of agent-causation made within the past ten years will then be taken up for examination and critique. First, Timothy O'Connor's attempt at advancing an unrefined and unrepentant doctrine of agent-causation will be shown to suffer from the same maladies as its predecessors. Next, Randolph Clarke's causal agent-causal theory of free action, which seeks a via media between agent-causal theories of free action and causal theories of action, is examined. Clarke's theory is an attempt at providing an account of how both events and agents qua substances can be the codeterminants of free actions. Despite the improvement of Clarke's theory over more conventional agent-causal theories of free action, it will be shown that agent-causation makes his theory more cumbersome than it needs to be. Clarke is able to get as much mileage out of a causal indeterminacy theory of action that does not require him to posit obscure agent-causes. Finally, a sketch of an alternative theory of free action will be offered. While it may suffer from its own conceptual deficiencies, it may not suffer from the same conceptual problems as agent-causal theories of free action. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Norms, Conventions, and PsychopathsNeil Levy (bio)Keywordspsychopathy, morality, conventions, responsibilityI am grateful to my commentators for their provocative challenges to my claim that psychopaths ought to be excused moral responsibility for their wrongdoing owing to their (alleged) failure to grasp the moral/conventional distinction. I have learned from all the commentators—now, and in some cases in the past as well—and I am sincerely honored by their having taken my (...) work seriously enough to comment on it, even if only to take issue with it. In what follows, I shall attempt to reply to their main criticisms. As will shortly become clear, I do not here have the space for anything like adequate responses. Instead, I shall have to content myself with programmatic statements of how such responses might go. Let me admit at the outset that until the details of these responses are fully worked out, and the relevant empirical research conduced, I cannot be sure that the responses will succeed. Nevertheless, there are grounds for confidence, given the available data.Because there is some overlap between the criticisms, I shall address some of them—those of Blair, Nichols, and Vargas—by topic rather than by commentator, before turning to Mullen and Matravers.Is the Ability to Understand the Moral/Conventional Distinction a Necessary Condition of Aptness for Moral Responsibility?Blair, as well as Vargas and Nichols, suggests that an agent's knowing that an action is against the rules might be sufficient to ground responsibility for performing that action, even if the agent lacks the ability to draw the moral/conventional distinction. As Blair points out, we do not reserve blame only for those who violate moral rules. Blame, and sometimes punishments, are also meted out to those who violate merely conventional norms. Because psychopaths can understand conventional norms perfectly well, they may therefore seem to be appropriate targets of at least some kind of moral blame.But is it really the case that agents are (ever) blameworthy for violating conventional norms alone? Many philosophers, for instance when considering the morality of civil disobedience, have argued that conventional norms are typically backed by second-order moral norms. Hence, for many or all conventional norms, there is a (defeasible) moral obligation not to violate that norm, an obligation independent of the content of the conventional norm; it is because there are such second-order moral obligations that agents are blameworthy for violating conventional norms. [End Page 163] But if this is the case, then the fact that we sometimes blame agents for violating conventional norms is not evidence against the claim that the ability to grasp moral norms is a necessary condition of blameworthiness. There is no reason to think that psychopaths will find it any easier to grasp second-order moral norms than first-order (of course, they may understand that there are such things as second-order norms—norms concerning norms—but for them such norms will only be conventional). In fact, it might be more difficult to understand the moral force of second-order moral norms than first, inasmuch as the harms caused by violating such norms are emotional and not physical. Normal subjects invest (some) conventional norms with moral significance, and it is for this reason that we regard violations of such norms as apt to give rise to blame; lacking the ability to draw the moral/conventional distinction, psychopaths cannot invest such norms with moral significance. Once again, for them these norms are merely conventional, and they therefore fail to grasp the full significance of violating them.It might be objected that if conventional transgressions are (sometimes) backed up by second-order moral norms, children would not classify them as neatly as they do. They would misclassify some conventional norms as moral, insofar as they are backed up by second-order moral norms. They would therefore deny that violations of conventions are permissible on the say-so of an authority. There are two possible explanations of children's classifications, compatible with the suggestion that some conventions are backed by second-order moral norms. First, it may be that greater cognitive sophistication is required to grasp second-order moral norms than... (shrink)

In this paper we forge a connection between dynamic epistemic logics of belief revision on one hand and studies of collective judgement and multi-agent preference change on the other. Belief revision in the spirit of dynamic epistemic logic uses updating with relational substitutions to change the beliefs of individual agents. Collective judgement in social choice theory studies the collective outcomes of individual belief changes. We start out from the logic of communication and change (LCC), which is basically epistemic propositional (...) dynamic logic (PDL) extended with update action modalities. We show how epistemic PDL can be made to handle belief operators. Our new version of epistemic/doxastic PDL does not impose any constraints on the basic relations. Because of this it does not suffer from the drawback of LCC that constraints on epistemic relations, such as transitivity and reflexivity, may get lost under updates that are admitted by the system. After introducing the base system without constraints, we study the effects of imposing a single constraint, namely the constraint that the agent’s preference relations are linked. Linkedness is a natural extension of local connectedness to the multi-agent case. It assures that if Alice prefers y to x and Bob prefers z to x, then both Alice and Bob can make up their minds when given a choice between y and z. Since general belief changes may not preserve linkedness, we propose a recipe for belief change that does preserve it. Finally, we show that the resulting framework can be used to model consensus seeking procedures. We focus on the case of plenary Dutch meetings. In Dutch meetings, a belief change (or rather: preference change) is performed for all agents in the meeting if a majority believes (or: is in favour of) the proposition that is under discussion. A special case of these meetings is judgement aggregation, and we apply our framework to the discursive dilemma in.. (shrink)

Neo-pragmatists propose that content is determined by social convention. A convention is a coordination problem in which each agent prefers any solution to none, yet has no preference amongst the alternative solutions. This paper argues that the best known theory of convention, David Lewis’, cannot yield a theory of content because it appeals to beliefs and other states that themselves have content. The question then arises whether a theory of convention that does not appeal to states with content can (...) be developed. The idea that a radical enactivist approach to convention based on basic emotions is then tentatively proposed. (shrink)

Recent work in social epistemology has shown that, in certain situations, less communication leads to better outcomes for epistemic groups. In this paper, we show that, ceteris paribus, a Bayesian agent may believe less strongly that a single agent is biased than that an entire group of independent agents is biased. We explain this initially surprising result and show that it is in fact a consequence one may conceive on the basis of commonsense reasoning.

We consider how human subjects establish signaling conventions in the context of Lewis-Skyrms signaling games. These experiments involve games where there are precisely the right number of signal types to represent the states of nature, games where there are more signal types than states, and games where there are fewer signal types than states. The aim is to determine the conditions under which subjects are able to establish signaling conventions in such games and to identify a learning dynamics (...) that approximates how they succeed when they do. Our results suggest that human agents tend to use a win-stay/lose-shift with inertia dynamics to establish conventions in such games. We briefly consider the virtues and vices of this low-rationality dynamics. (shrink)

According to some accounts, an individual participates in joint intentional cooperative action by virtue of conceiving of him- or herself and other participants as if they were parts of a single agent or body that performs the action. I argue that this notional singularization move fails if they act as if they were parts of a single agent. It can succeed, however, if the participants act as if to bring about the goal of a properly functioning (...) single body in action of which they would be parts. This latter version of the move manages to capture the cooperative character of joint intentional cooperative action. It does this without requiring of participants that they act on higher-order interlocking intentions. (shrink)

Economies are complicated systems encompassing micro behaviors, interaction patterns, and global regularities. Whether partial or general in scope, studies of economic systems must consider how to handle difficult real-world aspects such as asymmetric information, imperfect competition, strategic interaction, collective learning, and the possibility of multiple equilibria. Recent advances in analytical and computational tools are permitting new approaches to the quantitative study of these aspects. One such approach is Agent-based Computational Economics (ACE), the computational study of economic processes modeled as (...) dynamic systems of interacting agents. This chapter explores the potential advantages and disadvantages of ACE for the study of economic systems. General points are concretely illustrated using an ACE model of a two-sector decentralized market economy. Six issues are highlighted: Constructive understanding of production, pricing, and trade processes; the essential primacy of survival; strategic rivalry and market power; behavioral uncertainty and learning; the role of conventions and organizations; and the complex interactions among structural attributes, institutional arrangements, and behavioral dispositions. (shrink)