Online research in philosophy

Agents which perform inferences on the basis of unreliable information need an ability to revise their beliefs if they discover an inconsistency. Such a belief revision algorithm ideally should be rational, should respect any preference ordering over the agent’s beliefs (removing less preferred beliefs where possible) and should be fast. However, while standard approaches to rational belief revision for classical reasoners allow preferences to be taken into account, they typically have quite high complexity. In this paper, we consider belief (...) revision for agents which reason in a simpler logic than full first-order logic, namely rule-based reasoners. We show that it is possible to define a contraction operation for rule-based reasoners, which we call McAllester contraction, which satisfies all the basic Alchourrón, Gärdenfors and Makinson (AGM) postulates for contraction (apart from the recovery postulate) and at the same time can be computed in polynomial time. We prove a representation theorem for McAllester contraction with respect to the basic AGM postulates (minus recovery), and two additional postulates. We then show that our contraction operation removes a set of beliefs which is least preferred, with respect to a natural interpretation of preference. Finally, we show how McAllester contraction can be used to define a revision operation which is also polynomial time, and prove a representation theorem for the revision operation. (shrink)

The aim of this paper is to discuss the “Framework for M&S with Agents” (FMSA) proposed by Zeigler et al. [2000, 2009] in regard to the diverse epistemological aims of agent simulations in social sciences. We first show that there surely are great similitudes, hence that the aim to emulate a universal “automated modeler agent” opens new ways of interactions between these two domains of M&S with agents. E.g., it can be shown that the multi-level conception at the (...) core of the FMSA is similar in both contexts: notions of “levels of system specifi cation”, “behavior of models”, “simulator”and “endomorphic agents” can be partially translated in the terms linked to the “denotational hierarchy” (DH) and recently introduced in a multi-level centered epistemology of M&S. Second, we suggest considering the question of “credibility” of agent M&S in social sciences when we do not try to emulate but only to simulate target systems. Whereas a stringent and standardized treatment of the heterogeneous internal relations (in the DH) between systems of formalisms is the key problem and the essential challenge in the scope of Agent M&S driven engineering, it is urgent too to address the problem of the external relations (and of the external validity, hence of the epistemic power and credibility) of such levels of formalisms in the specific domains of agent M&S in social sciences, especially when we intend to introduce the concepts of activity tracking. (shrink)

Rational decision making depends on what one believes, what one desires, and what one knows. In conventional decision models, beliefs are represented by probabilities and desires are represented by utilities. Software agents are knowledgeable entities capable of managing their own set of beliefs and desires, and they can decide upon the next operation to execute autonomously. They are also interactive entities capable of filtering communications and managing dialogues. Knowledgeability includes representing knowledge about the external world, reasoning with it, and (...) sharing it. Interactions include negotiations to perform tasks in cooperative, coordinative, and competitive ways. In this paper we focus on decision-making mechanisms for agent-based systems on the basis of agent interaction. We identify possible interaction scenarios and define mechanisms for decision making in uncertain environments. It is believed that software agents will become the underlying technology that offers the capability of distribution of competence, control, and information for the next generation of ubiquitous, distributed, and heterogeneous information systems. (shrink)

The distinction between personal level explanations and subpersonal ones has been subject to much debate in philosophy. We understand it as one between explanations that focus on an agent’s interaction with its environment, and explanations that focus on the physical or computational enabling conditions of such an interaction. The distinction, understood this way, is necessary for a complete account of any agent, rational or not, biological or artificial. In particular, we review some recent research in Artificial Life that pretends to (...) do completely without the distinction, while using agent-centered concepts all the way. It is argued that the rejection of agent level explanations in favour of mechanistic ones is due to an unmotivated need to choose among representationalism and eliminativism. The dilemma is a false one if the possibility of a radical form of externalism is considered. (shrink)

This article argues that agents can initiate causal processes.

Here is an important new theory of human action, a theory that assumes actions are founded on choices made by agents who face an open future.

Are companies, churches, and states genuine agents? Or are they just collections of individuals that give a misleading impression of unity? This question is important, since the answer dictates how we should explain the behaviour of these entities and whether we should treat them as responsible and accountable on the model of individual agents. Group Agency offers a new approach to that question and is relevant, therefore, to a range of fields from philosophy to law, politics, and the (...) social sciences. Christian List and Philip Pettit argue that there really are group or corporate agents, over and above the individual agents who compose them, and that a proper approach to the social sciences, law, morality, and politics must take account of this fact. Unlike some earlier defences of group agency, their account is entirely unmysterious in character and, despite not being technically difficult, is grounded in cutting-edge work in social choice theory, economics, and philosophy. (shrink)

* Fascinating topic in the philosophy of mind and action * Changes the focus of, and gives fresh momentum to, current discussions of self-identification and self-reference * Rigorous discussion of rival views Lucy OBrien argues that a satisfactory account of first-person reference and self-knowledge needs to concentrate on our nature as agents. She considers two main questions. First, what account of first-person reference can we give that respects the guaranteed nature of such reference? Second, what account can we give (...) of our knowledge of our mental and physical actions? Clearly written, with rigorous discussion of rival views, this book will be of interest to anyone working in the philosophy of mind and action. (shrink)

A situated agent is one which operates within an environment. In most cases, the environment in which the agent exists will be more complex than the agent itself. This means that an agent, human or artificial, which wishes to carry out non-trivial operations in its environment must use techniques which allow an unbounded world to be represented within a cognitively bounded agent. We present a brief description of some important theories within the fields of epistemology and metaphysics. We then discuss (...) ways in which philosophical problems of scepticism are related to the problems faced by knowledge representation. We suggest that some of the methods that philosophers have developed to address the problems of epistemology may be relevant to the problems of representing knowledge within artificial agents. (shrink)

A socio-cognitive approach to trust can help us envisage a notion of networked trust for multi-agent systems (MAS) based on different interacting agents. In this framework, the issue is to evaluate whether or not a socio-cognitive analysis of trust can apply to the interactions between human and autonomous agents. Two main arguments support two alternative hypothesis; one suggests that only reliance applies to artificial agents, because predictability of agents’ digital interaction is viewed as an absolute value (...) and human relation is judged to be a necessary requirement for trust. The other suggests that trust may apply to autonomous agents because predictability of agents’ interaction is viewed only as a relative value since the digital normativity that grows out of the communication process between interacting agents in MAS has always deal with some unpredictable outcomes (reduction of uncertainty). Furthermore, human touch is not judged to be a necessary requirement for trust. In this perspective, a diverse notion of trust is elaborated, as trust is no longer conceived only as a relation between interacting agents but, rather, as a relation between cognitive states of control and lack of control (double bind). (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)

According to a naïve view sometimes apparent in the writings of moral philosophers, ‘ought’ often expresses a relation between agents and actions – the relation that obtains between an agent and an action when that action is what that agent ought to do. It is not part of this naïve view that ‘ought’ always expresses this relation – on the contrary, adherents of the naïve view are happy to allow that ‘ought’ also has an epistemic sense, on which it (...) means, roughly, that some proposition is likely to be the case, and adherents of the naïve view are also typically happy to allow that ‘ought’ also has an evaluative sense, on which it means, roughly, that were things ideal, some proposition would be the case.1 What is important to the naïve view is not that these other senses of ‘ought’ do not exist, but rather that they are not exhaustive – for what they leave out, is the important deliberative sense of ‘ought’, which is the central subject of moral inquiry about what we ought to do and why – and it is this deliberative sense of ‘ought’ which the naïve view understands to express a relation between agents and actions.2 In contrast, logically and linguistically sophisticated philosophers – with a few notable exceptions3 – have rejected this naïve view. According to a dominant perspective in the interpretation of deontic logic and in linguistic semantics, for example, articulated by Roderick Chisholm (1964) and Bernard Williams (1981) in philosophy and in the dominant paradigm in linguistic semantics as articulated in particular by.. (shrink)

University of Cologne, Germany Joint action and group agency have emerged as focuses of attention in recent social theory and philosophy but they have rarely been connected with one another. The argument of this article is that whereas joint action involves people acting together to achieve any sort of result, group agency requires them to act together for the achievement of one result in particular: the construction of a centre of attitude and agency that satisfies the usual constraints of consistency (...) and rationality in adequate measure. The main discovery in the recent theory of group agency is that this result is not easily achieved; no regular voting procedure will ensure, for example, that a group of individually consistent agents will display consistency in group judgments. Key Words: groups • group agents • collective agents • joint action • joint intention. (shrink)

Claims about agents’ abilities—practical abilities—are common in the literature on free will, moral responsibility, moral obligation, personal autonomy, weakness of will, and related topics. These claims typically ignore differences among various kinds or levels of practical ability. In this article, using ‘A’ as an action variable, I distinguish among three kinds or levels: simple ability to A; ability to A intentionally; and a more reliable kind of ability to A associated with promising to A. I believe that attention to (...) them will foster progress on the topics I mentioned. Substantiating that belief—by making progress on these topics in light of such attention—is a project for other occasions. My aim here is to lay a partial foundation for that project. (shrink)

Assuming that states can hold moral duties, it can easily be seen that states—just like any other moral agent—can sometimes fail to discharge those moral duties. In the context of climate change examples of states that do not meet their emission reduction targets abound. If individual moral agents do wrong they usually deserve and are liable to some kind of punishment. But how can states be punished for failing to comply with moral duties without therewith also punishing their citizens (...) who are not necessarily deserving of any punishment? (shrink)

Genuine agents are able to engage in activity because they find it worth pursuing—because they care about it. In this respect, they differ from what might be called “mere intentional systems”: systems like chess-playing computers that exhibit merely goal-directed behavior mediated by instrumental rationality, without caring. A parallel distinction can be made in the domain of social activity: plural agents must be distinguished from plural intentional systems in that plural agents have cares and engage in activity because (...) of those cares. In this paper, I sketch an account of what it is for an individual to care about things in terms of her exhibiting a certain pattern of emotions. After extending this account to make sense of an individual's caring about other agents, I then show how a certain sort of emotional connectedness among a group of people can make intelligible the group's having cares and thereby constitute that group as a plural agent. Alternative accounts of social action, by ignoring the difference between mere intentional systems and genuine agents, and so by leaving out these emotional entanglements from their accounts of social action, thereby fail to capture a whole range of social phenomena involving plural agents. (shrink)

While differing widely in other respects, both neo-Humean and neo-Kantian approaches to normativity embrace an internalist thesis linking reasons for acting to potential motivation. This thesis pushes in different directions depending on the underlying view of the powers of practical reason, but either way it sets the stage for an attack on realist attempts to ground reasons directly in facts about value. How can reasons that are not somehow grounded in motivational features of the agent nonetheless count as reasons for (...) that particular agent, having genuine normative force for her? Won't any realist, externalist view threaten to alienate the individual from the reasons that obtain for her, particularly if she fails (even after rational deliberation) to care about the values that are supposed to ground them? I argue that such objections can successfully be answered, and that externalist views of reasons need not be plagued with normative alienation. Focusing largely on a recent debate between Williams and McDowell over the nature of normative reasons, I show that a value-based externalist theory, when properly conceived, can account for the normative relevance of reasons to the particular agents for whom they obtain. Moreover, Williams's own sophisticated neo-Humeanism turns out to be vulnerable to parallel charges of normative alienation, which it cannot escape without compromising the very psychologistic orientation that has been its chief attraction. Realist externalism about reasons turns out to be a more viable and attractive alternative to both neo-Humeanism and neo-Kantianism than many currently take it to be. (shrink)

The Humean theory of motivation remains the default position in much of the contemporary literature in meta-ethics, moral psychology, and action theory. Yet despite its widespread support, the theory is implausible as a view about what motivates agents to act. More specifically, my reasons for dissatisfaction with the Humean theory stem from its incompatibility with what I take to be a compelling model of the role of motivating reasons in first-person practical deliberation and third-person action explanations. So after first (...) introducing some assumptions about the nature of agency in section one, I will turn to articulating and defending this account of motivating reasons in sections two through four of the paper. Section five then provides some background on the Humean theory before I argue directly against it in section six and critically examine the leading arguments for the view in section seven. Given limitations of space, however, I save the task of developing a positive anti-Humean view for another occasion. (shrink)

This paper has three goals. The first is to introduce the “knowledge game”, a new, simple and yet powerful tool for analysing some intriguing philosophical questions. The second is to apply the knowledge game as an informative test to discriminate between conscious (human) and conscious-less agents (zombies and robots), depending on which version of the game they can win. And the third is to use a version of the knowledge game to provide an answer to Dretske’s question “how do (...) you know you are not a zombie?”. (shrink)

This book addresses two related topics: self-control and individual autonomy. In approaching these issues, Mele develops a conception of an ideally self-controlled person, and argues that even such a person can fall short of personal autonomy. He then examines what needs to be added to such a person to yield an autonomous agent and develops two overlapping answers: one for compatibilist believers in human autonomy and one for incompatibilists. While remaining neutral between those who hold that autonomy is compatible with (...) determinism and those who deny this, Mele shows that belief that there are autonomous agents is better grounded than belief that there are not. (shrink)

This paper offers an account of how individuals act as agents when we employ a narrative approach to explaining their personal identities. It applies Korsgaard's idea of a "reflective structure of consciousness" to provide foundations for a richer account of the individual economic agent, and uses this to explain and distinguish the concepts of personal identity, individual identity, and social identity. The paper argues that individuals' personal identities may be in conflict with their socially constructed individual identities. Individuals' social (...) identities are represented as a link between personal identity and individual identity. The overall framework is proposed as an alternative to the atomistic individual conception and a contribution to the socially embedded individual conception. (shrink)

Hans Herzberger's 1973 essay 'Ordinal Preference and Rational Choice' is a classic milestone in the erosion of the idea that rational agents are maximizers of utility. By the time Herzberger wrote, many authors had replaced this claim with the thesis that rational agents are maximizers of preference. That is to say, it was assumed that at the moment of choice a rational agent has a weak ordering representing his or her preferences among the options available to the agent (...) for choice and that the rational agent restricts choice to one of the optimal options. Such an option is an available option judged at least as good as any other.Herzberger explored the prospects of weakening this ordinalist view of maximizing .. (shrink)

The logical omniscience problem, whereby standard models of epistemic logic treat an agent as believing all consequences of its beliefs and knowing whatever follows from what else it knows, has received plenty of attention in the literature. But many attempted solutions focus on a fairly narrow specification of the problem: avoiding the closure of belief or knowledge, rather than showing how the proposed logic is of philosophical interest or of use in computer science or artificial intelligence. Sentential epistemic logics, as (...) opposed to traditional possible worlds approaches, do not suffer from the problems of logical omniscience but are often thought to lack interesting epistemic properties. In this paper, I focus on the case of rule-based agents, which play a key role in contemporary AI research but have been neglected in the logical literature. I develop a framework for modelling monotonic, nonmonotonic and introspective rule-based reasoners which have limited cognitive resources and prove that the resulting models have a number of interesting properties. An axiomatization of the resulting logic is given, together with completeness, decidability and complexity results. (shrink)

This article provides an overview of current and prospective ethical issues facing commercial (as opposed to leisure) travel agents. Industry wide ethical issues include conflicting pressures from suppliers and clients, competency requirements for agents and misleading advertising and sales claims (vaporware in industry jargon). Issues with travel suppliers include calculation and payment of commissions, fare loopholes, frequent flyer plans and the use and abuse of benefits directed to individual employees. Issues with corporate clients of travel agents include (...) hidden preferred carriers or suppliers, client pressure to use fare loopholes and hidden relationships with corporate travel consultants. Future issues include protecting client privacy, free riding, and divergent international business practices. (shrink)

There is widespread agreement in both business and society that MNCs have an enormous potential for contributing to the betterment of the world (WBCSD: 2006, From Challenge to Opportunity, in L. Timberlake (ed.), A paper from the Tomorrow's Leaders Group of the World Business Council for Sustainable Development). In fact, a discussion has evolved around the role of "Business as an Agent of World Benefit."¹ At the same time, there is also growing willingness among business leaders to spend time, expertise, (...) and resources to help solve some of the most pressing problems in the world, such as global warming, poverty, HIV/AIDS, and other pandemic diseases. One example of business leaders engagement in citizenship activities is PricewaterhouseCoopers' (PwC) leadership development program called "Project Ulysses" which we present and discuss in this article. Using a narrative approach we ask: "What can business leaders learn from selected Ulysses narratives for acting as agents of world benefit and with respect to engaging responsibly in the fight against some of the most pressing social problems at the local level?" Our contribution is organized as follows. We begin the article with a brief discussion on the role of business leaden in the fight against world's social problems and address some areas of concern as to whether or not business leaders should play a role in fighting these global issues. We then introduce "Project Ulysses" which takes place in cross-sector partnership in developing countries. Following an overview of the research methodology we present four Ulysses narratives which tell us about learnings in the light of fundamental human problems, such as poverty and misery. Each story is analyzed with regard to the above question. We conclude the article by summarizing key lessons learned and some recommendations for business leaders as agents of world benefit. (shrink)

The goal of this paper is to connect managerial behavior on the “agent-steward” scale to managerial moral development and motivation. I introduce agent- and steward-like behavior: the former is self-serving while the latter is others-serving. I suggest that managerial moral development and motivation may be two of the factors that may predict the tendency of managers to behave in a self-serving way (like agents) or to serve the interests of the organization (like stewards). Managers at low levels of moral (...) development are more likely to behave like agents, while managers at higher levels of moral development are more likely to behave like stewards. I also argue that managers at the highest level of moral development may serve the interests of people other than the firm’s owners and thereby transfer wealth from the firm’s owners to third parties. Moral motivation is likely to be a factor that moderates the proposed relationships. Finally, I develop propositions that address the role of material incentives in controlling behavior of managers at different levels of moral development. (shrink)

Artificial agents (AAs), particularly but not only those in Cyberspace, extend the class of entities that can be involved in moral situations. For they can be conceived of as moral patients (as entities that can be acted upon for good or evil) and also as moral agents (as entities that can perform actions, again for good or evil). In this paper, we clarify the concept of agent and go on to separate the concerns of morality and responsibility of (...) agents (most interestingly for us, of AAs). We conclude that there is substantial and important scope, particularly in Computer Ethics, for the concept of moral agent not necessarily exhibiting free will, mental states or responsibility. This complements the more traditional approach, common at least since Montaigne and Descartes, which considers whether or not (artificial) agents have mental states, feelings, emotions and so on. By focussing directly on mind-less morality we are able to avoid that question and also many of the concerns of Artificial Intelligence. A vital component in our approach is the Method of Abstraction for analysing the level of abstraction (LoA) at which an agent is considered to act. The LoA is determined by the way in which one chooses to describe, analyse and discuss a system and its context. The Method of Abstraction is explained in terms of an interface or set of features or observables at a given LoA. Agenthood, and in particular moral agenthood, depends on a LoA. Our guidelines for agenthood are: interactivity (response to stimulus by change of state), autonomy (ability to change state without stimulus) and adaptability (ability to change the transition rules by which state is changed) at a given LoA. Morality may be thought of as a threshold defined on the observables in the interface determining the LoA under consideration. An agent is morally good if its actions all respect that threshold; and it is morally evil if some action violates it. That view is particularly informative when the agent constitutes a software or digital system, and the observables are numerical. Finally we review the consequences for Computer Ethics of our approach. In conclusion, this approach facilitates the discussion of the morality of agents not only in Cyberspace but also in the biosphere, where animals can be considered moral agents without their having to display free will, emotions or mental states, and in social contexts, where systems like organizations can play the role of moral agents. The primary cost of this facility is the extension of the class of agents and moral agents to embrace AAs. (shrink)

The “grand problem” of AI has always been to build artificial agents of human-level intelligence, capable of operating in environments of real-world complexity. OSCAR is a cognitive architecture for such agents, implemented in LISP. OSCAR is based on my extensive work in philosophy concerning both epistemology and rational decision making. This paper provides a detailed overview of OSCAR. The main conclusions are that such agents must be capablew of operating against a background of pervasive ignorance, because the (...) real world is too complex for them to know more than a small fraction of what is true. This is handled by giving the agent the power to reason defeasibily. The OSCAR system of defeasible reasoning is sketched. It is argued that if epistemic cognition must be defeasible, planning must also be done defeasibly, and the best way to do that is to reason defeasibly about plans. A sketch is given about how this might work. (shrink)

I shall argue that software agents can be attributed cognitive states, since their behaviour can be best understood by adopting the intentional stance. These cognitive states are legally relevant when agents are delegated by their users to engage, without users’ review, in choices based on their the agents’ own knowledge. Consequently, both with regard to torts and to contracts, legal rules designed for humans can also be applied to software agents, even though the latter do not (...) have rights and duties of their own. The implications of this approach in different areas of the law are then discussed, in particular with regard to contracts, torts, and personality. (shrink)

The objective of this paper is to construct an implementable theory of rational decision-making for cognitive agents subject to realistic resource constraints. It is argued that decision-making should select actions indirectly by selecting plans that prescribe them. It is also argued that although expected values provide the tool for evaluating plans, plans cannot be compared straightforwardly in terms of their expected values, and the objective of a realistic agent cannot be to find optimal plans. The theory of Locally Global (...) planning is proposed as a realistic alternative to standard "maximizing" theories of rational decision-making. (shrink)

This paper examines four interpretations of the observation that humanitarian intervention might be used ‘selectively’ or ‘inconsistently’ in order to elucidate the normative commitments of the deliberative process in international relations. The paper argues that there are several types of concerns that are implicit in the accusation of inconsistency, and only some of them amount to objections to humanitarian intervention as a whole. The paradox of humanitarian intervention is that intervention is prohibited except where the intervention is humanitarian, yet humanitarian (...) reasons never exist in isolation, and it is nearly impossible to determine the real reason for intervention (or any other collective action) in the international arena. The problems revealed by an examination of inconsistency in the example of humanitarian intervention turn out to be general problems with applying the norms of practical reasoning to moral questions dealing with collective agents. (shrink)

Information and representation are thought to be intimately related. Representation, in fact, is commonly considered to be a special kind of information. It must be a _special_ kind, because otherwise all of the myriad instances of informational relationships in the universe would be representational -- some restrictions must be placed on informational relationships in order to refine the vast set into those that are truly representational. I will argue that information in this general sense is important to genuine agents, (...) but that it is a blind alley with regard to the attempt to understand representation. On the other hand, I will also argue that a different, quite non-standard, form of information is central to genuine representation. First I turn to some of the reasons why information as usually considered is the wrong category for understanding representation; second to an alternative model of representation -- one that is naturally emergent in autonomous agents, and that does involve information, but not in any standard form; and third I return to standard notions of informational relationships and show what they are in fact useful for. (shrink)

Several conditions for being an intrinsically intentional agent are put forward. On a first level of intentionality the agent has representations. Two kinds are described: cued and detached. An agent with both kinds is able to represent both what is prompted by the context and what is absent from it. An intermediate level of intentionality is achieved by having an inner world, that is, a coherent system of detached representations that model the world. The inner world is used, e.g., for (...) conditional and counterfactual thinking. Contextual or indexical representations are necessary in order that the inner world relates to the actual external world and thus can be used as a basis for action. To have full-blown intentionality, the agent should also have a detached self-awareness, that is, be able to entertain self-representations that are independent of the context. (shrink)

Although appearances may deceive them, agents are capable of achieving their ends; this success is frequently explained by the fact that the agents may, for example, see a stick in water as bent without believing that it is actually bent. Although the notion of 'seeing as' is supposed to both bridge the gap between experience and action and explain our reaction to illusions, such accounts break down because of their exclusive focus on visual episodes and their tendency to (...) interpret the metaphysics of agency in a psychologistic fashion. This paper shows that 'seeing as' needs to be understood as a species of the genus 'taking as.' The genus admits a wider array of expression, in terms of the kinds of attitudes, actions, and epistemological statuses involved. Such an analysis allows us to avoid the problems of 'seeing as' accounts and deepens our understanding of the relationship between practical and theoretical reason. (shrink)

In their important paper “Autonomous Agents”, Floridi and Sanders use “levels of abstraction” to argue that computers are or may soon be moral agents. In this paper we use the same levels of abstraction to illuminate differences between human moral agents and computers. In their paper, Floridi and Sanders contributed definitions of autonomy, moral accountability and responsibility, but they have not explored deeply some essential questions that need to be answered by computer scientists who design artificial (...) class='Hi'>agents. One such question is, “Can an artificial agent that changes its own programming become so autonomous that the original designer is no longer responsible for the behavior of the artificial agent?” To explore this question, we distinguish between LoA1 (the user view) and LoA2 (the designer view) by exploring the concepts of unmodifiable, modifiable and fully modifiable tables that control artificial agents. We demonstrate that an agent with an unmodifiable table, when viewed at LoA2, distinguishes an artificial agent from a human one. This distinction supports our first counter-claim to Floridi and Sanders, namely, that such an agent is not a moral agent, and the designer bears full responsibility for its behavior. We also demonstrate that even if there is an artificial agent with a fully modifiable table capable of learning* and intentionality* that meets the conditions set by Floridi and Sanders for ascribing moral agency to an artificial agent, the designer retains strong moral responsibility. (shrink)

Two groups of agents, G1 and G2, face a *moral conflict* if G1 has a moral obligation and G2 has a moral obligation, such that these obligations cannot both be fulfilled. We study moral conflicts using a multi-agent deontic logic devised to represent reasoning about sentences like "In the interest of group F of agents, group G of agents ought to see to it that phi". We provide a formal language and a consequentialist semantics. An illustration of (...) our semantics with an analysis of the Prisoner’s Dilemma follows. Next, necessary and sufficient conditions are given for (1) the possibility that a single group of agents faces a moral conflict, for (2) the possibility that two groups of agents face a moral conflict within a single moral code, and for (3) the possibility that two groups of agents face a moral conflict. (shrink)

Floridi and Sanders, seminal work, “On the morality of artificial agents” has catalyzed attention around the moral status of computer systems that perform tasks for humans, effectively acting as “artificial agents.” Floridi and Sanders argue that the class of entities considered moral agents can be expanded to include computers if we adopt the appropriate level of abstraction. In this paper we argue that the move to distinguish levels of abstraction is far from decisive on this issue. We (...) also argue that adopting certain levels of abstraction out of context can be dangerous when the level of abstraction obscures the humans who constitute computer systems. We arrive at this critique of Floridi and Sanders by examining the debate over the moral status of computer systems using the notion of interpretive flexibility. We frame the debate as a struggle over the meaning and significance of computer systems that behave independently, and not as a debate about the ‘true’ status of autonomous systems. Our analysis leads to the conclusion that while levels of abstraction are useful for particular purposes, when it comes to agency and responsibility, computer systems should be conceptualized and identified in ways that keep them tethered to the humans who create and deploy them. (shrink)

Understanding the role of ‘‘representations’’ in cognitive science is a fundamental problem facing the emerging framework of embodied, situated, dynamical cognition. To make progress, I follow the approach proposed by an influential representational skeptic, Randall Beer: building artificial agents capable of minimally cognitive behaviors and assessing whether their internal states can be considered to involve representations. Hence, I operationalize the concept of representing as ‘‘standing in,’’ and I look for representations in embodied agents involved in simple categorization tasks. (...) In a first experiment, no representation can be found, but the relevance of the task is undermined by the fact that agents with no internal states can reach high performance. A simple modification makes the task more “representationally hungry,” and in this case, agents’ internal states are found to qualify as representations. I conclude by discussing the benefits of reconciling the embodied-dynamical approach with the notion of representation. (shrink)

Recently, there has been a resurgence of interest in general, comprehensive models of human cognition. Such models aim to explain higher-order cognitive faculties, such as deliberation and planning. Given a computational representation, the validity of these models can be tested in computer simulations such as software agents or embodied robots. The push to implement computational models of this kind has created the field of artificial general intelligence (AGI). Moral decision making is arguably one of the most challenging tasks for (...) computational approaches to higher-order cognition. The need for increasingly autonomous artificial agents to factor moral considerations into their choices and actions has given rise to another new field of inquiry variously known as Machine Morality, Machine Ethics, Roboethics, or Friendly AI. In this study, we discuss how LIDA, an AGI model of human cognition, can be adapted to model both affective and rational features of moral decision making. Using the LIDA model, we will demonstrate how moral decisions can be made in many domains using the same mechanisms that enable general decision making. Comprehensive models of human cognition typically aim for compatibility with recent research in the cognitive and neural sciences. Global workspace theory, proposed by the neuropsychologist Bernard Baars (1988), is a highly regarded model of human cognition that is currently being computationally instantiated in several software implementations. LIDA (Franklin, Baars, Ramamurthy, & Ventura, 2005) is one such computational implementation. LIDA is both a set of computational tools and an underlying model of human cognition, which provides mechanisms that are capable of explaining how an agent’s selection of its next action arises from bottom-up collection of sensory data and top-down processes for making sense of its current situation. We will describe how the LIDA model helps integrate emotions into the human decision-making process, and we will elucidate a process whereby an agent can work through an ethical problem to reach a solution that takes account of ethically relevant factors. (shrink)

This essay critically examines Alfred R. Mele’s attempt to solve a problem for libertarianism that he calls the problem of present luck. Many have thought that the traditional libertarian belief in basically free acts (where the latter are any free A-ings that occur at times at which the past up to that time and the laws of nature are consistent with the agent’s not A-ing at that time) entail that the acts are due to luck at the time of the (...) act (present luck) rather than to the kind of agent control required for genuinely free, morally responsible action. While libertarians frequently have tried to rebut the claim that basically free acts are due to present luck, Mele argues for the daring thesis that they should embrace present luck rather than try to explain it away. His strategy is to argue that the assumption of present luck in the decisions of very young children (or “little agents”) does not preclude us from attributing to them a small amount of moral responsibility and that this makes it possible to conceive of moral development as a gradual process in which as the frequency of the indeterministically caused free actions increases, the agents take on greater and greater moral responsibility. In this paper I give several possible reconstructions of Mele’s argument and analyze in detail why none of them succeeds. (shrink)

In modern technical societies computers interact with human beings in ways that can affect moral rights and obligations. This has given rise to the question whether computers can act as autonomous moral agents. The answer to this question depends on many explicit and implicit definitions that touch on different philosophical areas such as anthropology and metaphysics. The approach chosen in this paper centres on the concept of information. Information is a multi-facetted notion which is hard to define comprehensively. However, (...) the frequently used definition of information as data endowed with meaning can promote our understanding. It is argued that information in this sense is a necessary condition of cognitivist ethics. This is the basis for analysing computers and information processors regarding their status as possible moral agents. Computers have several characteristics that are desirable for moral agents. However, computers in their current form are unable to capture the meaning of information and therefore fail to reflect morality in anything but a most basic sense of the term. This shortcoming is discussed using the example of the Moral Turing Test. The paper ends with a consideration of which conditions computers would have to fulfil in order to be able to use information in such a way as to render them capable of acting morally and reflecting ethically. (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)

Traditional approaches to computer ethics regard computers as tools, andfocus, therefore, on the ethics of their use. Alternatively, computer ethicsmight instead be understood as a study of the ethics of computationalagents, exploring, for example, the different characteristics and behaviorsthat might benefit such an agent in accomplishing its goals. In this paper,I identify a list of characteristics of computational agents that facilitatetheir pursuit of their end, and claim that these characteristics can beunderstood as virtues within a framework of virtue ethics. (...) This frameworkincludes four broad categories – agentive, social, environmental, and moral– each of which can be understood as a spectrum of virtues rangingbetween two extreme subcategories. Although the use of a virtue frameworkis metaphorical rather than literal, I argue that by providing a frameworkfor identifying and critiquing assumptions about what a `good' computer is,a study of android arete provides focus and direction to the developmentof future computational agents. (shrink)

The purpose of this paper is to address some of the questions on the notion of agent and agency in relation to property and personhood. I argue that following the Kantian criticism of Aristotelian metaphysics, contemporary biotechnology and information and communication technologies bring about a new challenge—this time, with regard to the Kantian moral subject understood in the subject’s unique metaphysical qualities of dignity and autonomy. The concept of human dignity underlies the foundation of many democratic systems, particularly in Europe (...) as well as of international treaties, including the Universal Declaration of Human Rights. Digital agents, artificial organisms as well as new capabilities of the human agents related to their embeddedness in digital and biotechnological environments bring about an important transformation of the human self-appraisal. A critical comparative reflection of this transformation is important because of its ethical implications. I deal first with the concept of agent within the framework of Aristotelian philosophy, which is the basis for further theories in accordance with and/or in opposition to it, particularly since modernity. In the second part of this paper, I deal with the concept of personhood in Kantian philosophy, which supersedes the Aristotelian metaphysics of substance and builds the basis of a metaphysics of the moral human subject. In the third part, I discuss the question of artificial agents arising from modern biology and ICT. Blurring the difference between the human and the natural and/or artificial opens a “new space” for philosophical reflection as well as for debate in law and practical policy. (shrink)

The main task is to discuss the issue in belief dynamics in which philosophical beliefs and rational introspective agents incorporate Moorean type new information. First, a brief survey is conducted on Moore’s Paradox, and one of its solutions is introduced with the help of Update Semantics. Then, we present a Dynamic Doxastic Logic (DDL) which revises the belief of introspective agents put forward by Lindström & Rabinowicz. Next, we attempt to incorporate Moorean type new information within the DEL (...) (DDL) framework, as advised by van Benthem, Segerberg et al. Though we maintain the principle of “the primacy of new information” from the literature on traditional belief revision theory, several unsuccessful ways are also presented. We then conclude that some special kind of success (weak success) can still be found in those revision processes although absolute success does not hold. At last, the relevant problem of “learnability” is re-considered through weak success. (shrink)

Artificial Life (ALife) has two goals. One attempts to describe fundamental qualities of living systems through agent based computer models. And the second studies whether or not we can artificially create living things in computational mediums that can be realized either, virtually in software, or through biotechnology. The study of ALife has recently branched into two further subdivisions, one is “dry” ALife, which is the study of living systems “in silico” through the use of computer simulations, and the other is (...) “wet” ALife that uses biological material to realize what has only been simulated on computers, effectively wet ALife uses biological material as a kind of computer. This is challenging to the field of computer ethics as it points towards a future in which computer and bioethics might have shared concerns. The emerging studies into wet ALife are likely to provide strong empirical evidence for ALife’s most challenging hypothesis: that life is a certain set of computable functions that can be duplicated in any medium. I believe this will propel ALife into the midst of the mother of all cultural battles that has been gathering around the emergence of biotechnology. Philosophers need to pay close attention to this debate and can serve a vital role in clarifying and resolving the dispute. But even if ALife is merely a computer modeling technique that sheds light on living systems, it still has a number of significant ethical implications such as its use in the modeling of moral and ethical systems, as well as in the creation of artificial moral agents. (shrink)

Some philosophers – notably Bernard Williams, Martha Nussbaum and Ruth Barcan Marcus – argue that agents in moral dilemmas are blameworthy whatever they do. I begin by uncovering the connection these philosophers are presupposing between the agent’s judgement of wrongdoing and her tendency to self-blame. Next, I argue that while dilemmatic choosers cannot help but see themselves as wrongdoers, they both can and should divorce this judgement from an ascription of self-blame. As I argue, dilemmatic choosers are morally sui (...) generis in that their actions result in a diminishment of their personal integrity with no corresponding failure of character. It is this that makes them non-blameworthy wrongdoers. This way of seeing the problem should provide dilemmatic choosers with a novel conception of their own moral psychology, one that allows them to view their actions in a manner that is given neither to moral insensitivity nor to pathological self-accusation. (shrink)

What are the agents of life? Central to our conception of the biological world is the idea that it contains various kinds of individuals, including genes, organisms, and species. How we conceive of these agents of life is central to our understanding of the relationship between life and mind, the place of hierarchical thinking in the biological sciences, and pluralistic views of biological agency. Genes and the Agents of Life rethinks the place of the individual in the (...) biological sciences, drawing parallels with the cognitive and social sciences. Genes, organisms, and species are all agents of life, but how are each of these conceptualized within genetics, developmental biology, evolutionary biology, and systematics? The book includes highly accessible discussions of genetic encoding, species and natural kinds, and pluralism above the levels of selection, drawing on work from across the biological sciences. A companion to Boundaries of the Mind, (Cambridge, 2004) where the focus is on the cognitive sciences, this volume will appeal to professionals and students in philosophy, biology, and the history of science. Robert A. Wilson is Professor of Philosophy at the University of Alberta. He is the author of Cartesian Psychology and Physical Minds (Cambridge, 1995). (shrink)

In this paper we discuss the hypothesis that, ‘moral agency is distributed over both humans and technological artefacts’, recently proposed by Peter-Paul Verbeek. We present some arguments for thinking that Verbeek is mistaken. We argue that artefacts such as bridges, word processors, or bombs can never be (part of) moral agents. After having discussed some possible responses, as well as a moderate view proposed by Illies and Meijers, we conclude that technological artefacts are neutral tools that are at most (...) bearers of instrumental value. (shrink)

This paper provides a new analysis of e - trust , trust occurring in digital contexts, among the artificial agents of a distributed artificial system. The analysis endorses a non-psychological approach and rests on a Kantian regulative ideal of a rational agent, able to choose the best option for itself, given a specific scenario and a goal to achieve. The paper first introduces e-trust describing its relevance for the contemporary society and then presents a new theoretical analysis of this (...) phenomenon. The analysis first focuses on an agent’s trustworthiness , this one is presented as the necessary requirement for e-trust to occur. Then, a new definition of e-trust as a second-order-property of first-order relations is presented. It is shown that the second-order-property of e-trust has the effect of minimising an agent’s effort and commitment in the achievement of a given goal. On this basis, a method is provided for the objective assessment of the levels of e-trust occurring among the artificial agents of a distributed artificial system. (shrink)

Agents are entities that act upon the world. Rational agents are those that do so in an intelligent fashion. What is essential to such an agent is the ability to select and perform actions. Actions are selected by planning, and performing such actions is a matter of plan execution. So the essence of a rational agent is the ability to make and execute plans. This constitutes practical cognition. In order to perform its principal function of practical cognition, a (...) rational agent must also be able to acquire the knowledge of the world that is required for making and executing plans. This is done by epistemic cognition. Rational agents embedded in a realistically complicated world (e.g., human beings) may devote more time to epistemic cognition than to practical cognition, but even for such agents, epistemic cognition is in an important sense subservient to practical cognition. (shrink)

In the literature on social ontology, two perspectives on collective agency have been developed. The first is the internal perspective, the second the external one. The internal perspective takes the point of view of the members as its point of departure and appeals, inter alia, to the joint intentions they form. The idea is that collective agents perform joint actions such as dancing the tango, organizing prayer meetings, or performing symphonies. Such actions are generated by joint intentions, a topic (...) which has been investigated extensively in recent decades.1 The external perspective takes the point of view of outsiders as its point of departure. Here the idea is that outsiders ascribe certain properties to collections of individuals that thereby acquire a new status. An example that is discussed in some detail below is provided by universities that, at least initially, had to be recognized by the pope in order to perform the actions that are characteristic of universities, in particular the awarding of academic degrees. This perspective has received considerably less attention.2 In this paper I present and defend a new account of collective agents from the external perspective. I call it ‘the status account’. At the heart of this account lies the idea just mentioned. A collective agent can come into existence by outsiders granting a collection of individuals some kind of status. I call a collective agent for which this holds a ‘corporate agent’, because such an agent is or has been, in a sense to be explained, incorporated. I develop this idea by distinguishing between two kinds of rules: status rules and constitutive rules. Status rules explicate the normative attributes that are characteristic of a particular kind of corporate agent. Constitutive rules specify the conditions that have to be met for a certain collection of individuals to have those attributes. The status account shares some important features with John Searle’s social ontology.3 The advantages that my account has over Searle’s are discussed in section 2.2, immediately after the account has been introduced in section 2.1. Before doing that, however, I shall discuss the internal perspective.. (shrink)

what is now the mainstream view as to the best way forward in the dream of engineering reliable software systems out of autonomous agents. The way of using formal logics to specify, implement and verify distributed systems of interacting units using a guiding analogy of beliefs, desires and intentions. The implicit message behind the book is this: Distributed Artificial Intelligence (DAI) can be a respectable engineering science. It says: we use sound formal systems; can cite established philosophical foundations; and (...) will be able to build reliable and flexible software systems. (shrink)

Classical evolutionary explanations of social behavior classify behaviors from their effects, not from their underlying mechanisms. Here lies a potential objection against the view that morality can be explained by such models, e.g. Trivers’reciprocal altruism. However, evolutionary theory reveals a growing interest in the evolution of psychological mechanisms and factors them in as selective forces. This opens up perspectives for evolutionary approaches to problems that have traditionally worried moral philosophers. Once the ability to mind-read is factored-in among the relevant variables (...) in the evolution of moral abilities and counted among the selection pressures that have plausibly shaped our nature as moral agents, an evolutionary approach can contribute, so I will argue, to the solution of a long-standing debate in moral philosophy and psychology concerning the basic motivation for moral behavior. (shrink)

Stit theory (a logic of seeing-to-it-that) is applied to cases involving many agents. First treated are complex nestings of stits involving distinct agents. The discussion is driven by the logical impossibility of "a sees to it that b sees to it that Q" in the technical sense, even though that seems to make sense in everyday language, Of special utility are the concepts of "forced choice", of the creation of deontic states, and of probabilities, Second, joint agency, both (...) plain and strict (every participant is essential) is given a rigorous treatment. A central theorem is that strict joint agency is itself agentive. (shrink)

The question of liability in the case of using intelligent agents is far from simple, and cannot sufficiently be answered by deeming the human user as being automatically responsible for all actions and mistakes of his agent. Therefore, this paper is specifically concerned with the significant difficulties which might arise in this regard especially if the technology behind software agents evolves, or is commonly used on a larger scale. Furthermore, this paper contemplates whether or not it is possible (...) to share the responsibility with these agents and what are the main objections surrounding the assumption of considering such agents as responsible entities. This paper, however, is not intended to provide the final answer to all questions and challenges in this regard, but to identify the main components, and provide some perspectives on how to deal with such issue. (shrink)

Current evolutionary and cognitive theories of religion posit that supernatural agent concepts emerge from cognitive systems such as theory of mind and social cognition. Some argue that these concepts evolved to maintain social order by minimizing antisocial behavior. If these theories are correct, then people should process information about supernatural agents’ socially strategic knowledge more quickly than non-strategic knowledge. Furthermore, agents’ knowledge of immoral and uncooperative social behaviors should be especially accessible to people. To examine these hypotheses, we (...) measured response-times to questions about the knowledge attributed to four different agents—God, Santa Claus, a fictional surveillance government, and omniscient but non-interfering aliens—that vary in their omniscience, moral concern, ability to punish, and how supernatural they are. As anticipated, participants respond more quickly to questions about agents’ socially strategic knowledge than non-strategic knowledge, but only when agents are able to punish. (shrink)

The agent-structure problem is a much discussed issue in the field of international relations. In his comprehensive analysis of this problem, Colin Wight deconstructs the accounts of structure and agency embedded within differing IR theories and, on the basis of this analysis, explores the implications of ontology - the metaphysical study of existence and reality. Wight argues that there are many gaps in IR theory that can only be understood by focusing on the ontological differences that construct the theoretical landscape. (...) By integrating the treatment of the agent-structure problem in IR theory with that in social theory, Wight makes a positive contribution to the problem as an issue of concern to the wider human sciences. At the most fundamental level politics is concerned with competing visions of how the world is and how it should be, thus politics is ontology. (shrink)

This book is an archetypal product of the Belief-Desire-Intention (BDI) school of multi-agent systems. It presents what is now the mainstream view as to the best way forward in the dream of engineering reliable software systems out of autonomous agents. The way of using formal logics to specify, implement and verify distributed systems of interacting units using a guiding analogy of beliefs, desires and intentions. The implicit message behind the book is this: Distributed Artificial Intelligence (DAI) can be a (...) respectable engineering science. It says: we use sound formal systems; can cite established philosophical foundations; and will be able to build reliable and flexible software systems. (shrink)

In their important paper “Autonomous Agents”, Floridi and Sanders use “levels of abstraction” to argue that computers are or may soon be moral agents. In this paper we use the same levels of abstraction to illuminate differences between human moral agents and computers. In their paper, Floridi and Sanders contributed definitions of autonomy, moral accountability and responsibility, but they have not explored deeply some essential questions that need to be answered by computer scientists who design artificial (...) class='Hi'>agents. One such question is, “Can an artificial agent that changes its own programming become so autonomous that the original designer is no longer responsible for the behavior of the artificial agent?” To explore this question, we distinguish between LoA1 (the user view) and LoA2 (the designer view) by exploring the concepts of unmodifiable, modifiable and fully modifiable tables that control artificial agents. We demonstrate that an agent with an unmodifiable table, when viewed at LoA2, distinguishes an artificial agent from a human one. This distinction supports our first counter-claim to Floridi and Sanders, namely, that such an agent is not a moral agent, and the designer bears full responsibility for its behavior. We also demonstrate that even if there is an artificial agent with a fully modifiable table capable of learning* and intentionality* that meets the conditions set by Floridi and Sanders for ascribing moral agency to an artificial agent, the designer retains strong moral responsibility. (shrink)

The “grand problem” of AI has always been to build artificial agents with human-like intelligence. That is the stuff of science fiction, but it is also the ultimate aspiration of AI. In retrospect, we can understand what a difficult problem this is, so since its inception AI has focused more on small manageable problems, with the hope that progress there will have useful implications for the grand problem. Now there is a resurgence of interest in tackling the grand problem (...) head-on. Perhaps AI has made enough progress on the little problems that we can fruitfully address the big problem. The objective is to build agents of human-level intelligence capable of operating in environments of real-world complexity. I will refer to these as GIAs — “generally intelligent agents”. OSCAR is a cognitive architecture for GIAs, implemented in LISP.1 OSCAR draws heavily on my work in philosophy concerning both epistemology (Pollock 1974, 1986, 1990, 1995, 1998, 2008b, 2008; Pollock and Cruz 1999; Pollock and Oved, 2005) and rational decision making (2005, 2006, 2006a). (shrink)

Cognitive science's basic premises are under attack. In particular, its focus on internal cognitive processes is a target. Intelligence is increasingly interpreted, not as a matter of reclusive thought, but as successful agent-environment interaction. The critics claim that a major reorientation of the field is necessary. However, this will only occur when there is a distinct alternative conceptual framework to replace the old one. Whether or not a serious alternative is provided is not clear. Among the critics there is some (...) consensus, however, that this role could be fulfilled by the concept of a 'behavioral system'. This integrates agent and environment into one encompassing general system. We will discuss two contexts in which the behavioral systems idea is being developed. Autonomous Agents Research is the enterprise of building behavior-based robots. Dynamical Systems Theory provides a mathematical framework well suited for describing the interactions between complex systems. We will conclude that both enterprises provide important contributions to the behavioral systems idea. But neither turns it into a full conceptual alternative which will initiate a major paradigm switch in cognitive science. The concept will need a lot of fleshing out before it can assume that role. (shrink)

Donald MacKay's description of the embodiment of an efficacious conscious mind is reviewed as a version of non-reductive physicalism. Particular focus is given to MacKay's analysis of the emergence of consciousness in the capacity for self-evaluation which results from informational feedback regarding the results of action. Unique to MacKay's posthumously published Gifford Lectures is his analysis of agents in dialog as a particular form of an environmental feedback loop. His analysis of dialog is reviewed and expanded to encompass (...) concepts of a First and Second Order Theory of Mind. Finally, MacKay's view of the status of the soul is considered, and the particular role of dialogue as critical to the instantiation of soul is suggested. (shrink)

The necessity to model the mental ingredients of norm compliance is a controversial issue within the study of norms. So far, the simulation-based study of norm emergence has shown a prevailing tendency to model norm conformity as a thoughtless behavior, emerging from social learning and imitation rather than from specific, norm-related mental representations. In this paper, the opposite stance—namely, a view of norms as hybrid, two-faceted phenomena, including a behavioral/social and an internal/mental side—is taken. Such a view is aimed at (...) accounting for the difference between norms, on one hand, and either behavioral regularities (conventions) on the other. This paper, in particular, is addressed to find out the internal ingredients required for the former distinction, i.e., to model norms as distinct from mere conventions, and defined as behaviors spreading to the extent that and because the corresponding commands and beliefs do spread as well. After a brief presentation of a normative agent architecture, the results of agent-based simulations testing the impact of norm recognition and the role of normative beliefs in the emergence and innovation of social norms are presented and discussed. More specifically, the present work will endeavour to show that a sudden external constraint (e.g. a barrier preventing agents from moving among social settings) facilitates norm innovation: under such a condition, agents provided with a module for telling what a norm is can generate new (social) norms by forming new normative beliefs, irrespective of the most frequent actions. (shrink)

Abstract In this paper, I argue that the traditional philosophical approach of taking cognitively and emotionally competent adult people to be the prototypical instances of agency should be revised in light of current work in the behavioral sciences. Logical consistency in application is better served by taking simple goal-directed and feedback-governed systems such as insects as the prototypes of the concept of agency, with people being agents ?by extension? in the same sense as countries or corporations.

Decision-theoretic planning is normally based on the assumption that plans can be compared by comparing their expected-values, and the objective is to find an optimal plan. This is typically defended by reference to classical decision theory. However, classical decision theory is actually incompatible with this “simple plan-based decision theory”. A defense of plan-based decision theory must begin by showing that classical decision theory is incorrect insofar as the two theories conflict, so this paper begins by raising objections to classical decision (...) theory . First, there is a discussion of the considerations arising out of the Newcomb problem that have given rise to causal decision theory. Next, counterexamples are constructed for classical decision theory turning on the fact that an agent may be unable to perform an action, and may even be unable to try to perform an action. A proposal is made for how to repair classical decision theory in light of these counterexamples. But then turning to the concept of an “alternative” that is presupposed by classical decision theory, it is argued that actions must often be chosen in groups rather than individually, i.e., the objects of rational choice are plans. It is argued that optimality cannot be defined for plans, and even if it could be, it would not be reasonable to require rational agents to find optimal plans. So simple plan-based decision theory must also be rejected. An alternative called “locally global planning” is proposed as a replacement for both classical decision theory and simple plan-based decision theory. (shrink)

This article uses sociological role theory to help understand ethical challenges faced by Norwegian real estate agents. The article begins with an introductory case, and then briefly examines the strengths and limitations of using legal definitions and rules for understanding real estate agency and real estate agent ethics. It goes on to argue that the ethical challenges of real estate agency can be described and understood as a system of conflicting roles with associated rights and duties, in particular sales (...) agent, intermediary and adviser sub-roles. The arguments are developed using exploratory findings from a survey of Norwegian real estate agents and from several focus groups. The article then suggests the use of various intranet tools as a kind of action research aimed at putting ethics on the real estate agents' agenda, working to develop a collective conscience and collective selfcriticism among the agents, and, in doing so, building bridges between academic research and the practical working world of the agents. (shrink)

Computational approaches based on autonomous agents share with new ape language research the same principles of dynamical system paradigms. A recent model for the evolution of symbolization and language in autonomous agents is briefly described in order to highlight the similarities between these two methodologies. The additional benefits of autonomous agent modeling in the field of language origin research are highlighted.

In <em>How We Get Along</em>, J. David Velleman argues for two related theses: first, that “making sense” of oneself to oneself and others is a constitutive aim of action; second, that this fact about action grounds normativity. Examining each thesis in turn, I argue against the first that an agent may deliberately act in ways which make sense in terms of neither her self-conception nor others’ conceptions of her. Against the second thesis, I argue that some vices are such that (...) the agents concerned would make more sense to neither themselves nor others if they were to reform, and, furthermore, that an agent may make more sense to herself and others by becoming more, rather than less, vicious. I conclude that both theses should be rejected. (shrink)

The combined use of computers and telecommunications and the latest evolution in the field of Artificial Intelligence brought along new ways of contracting and of expressing will and declarations. The question is, how far we can go in considering computer intelligence and autonomy, how can we legally deal with a new form of electronic behaviour capable of autonomous action? In the field of contracting, through Intelligent Electronic Agents, there is an imperious need of analysing the question of expression of (...) consent, and two main possibilities have been proposed: considering electronic devices as mere machines or tools, or considering electronic devices as legal persons. Another possibility that has been frequently mentioned consists in the application of the rules of agency to electronic transactions. Meanwhile, the question remains: would it possible, under a Civil Law framework, to apply the notions of “legal personhood” and “representation” to electronic agents? It is obvious that existing legal norms are not fit for such an endeavouring challenge. Yet, the virtual world exists and it requires a new but realistic legal approach on software agents, in order to enhance the use of electronic commerce in a global world. (shrink)

The emergence of intelligent software agents that operate autonomously with little or no human intervention has generated many doctrinal questions at a conceptual level and has challenged the traditional rules of contract especially those relating to the intention as an essential requirement of any contract conclusion. In this paper, we will try to explore some of these challenges, and shed light on the conflict between the traditional contract theory and the transactional practice in the case of using intelligent software (...) agents. We will try further to examine how intelligent software agents differ from other software applications, and consider then how such differences are legally relevant. This paper, however, is not intended to provide the final answer to all questions and challenges in this regard, but to identify the main components, and provide perspectives on how to deal with such issue. (shrink)

Background: The advent of AIDS brought about a group of patients unwilling to accept crucial aspects of the methodological standards for clinical research investigating Phase 1 drugs, surgeries or devices. Their arguments against placebo controls in trials, which depended-at the time-on the terminal status of patient volunteers led to a renewed discussion of the ethics of denying patients with catastrophic illnesses access to last-chance experimental drugs, surgeries or devices. Sources of data: Existing ethics and health policy literature on the topic (...) of access to experimental drugs. Areas of agreement: The positions of those arguing for or against free access to experimental drugs for terminally ill patients are irreconcilable. Areas of controversy: At stake are questions about the kinds of personal sacrifices society can reasonably expect patients in clinical trials to make to ensure statistically predictive results. These would benefit by necessity a much larger number of current and future patients-the conflict is about individual versus public interests. It is also about the question of whether or not the state can legitimately prevent patients with terminal illnesses from unfettered access to experimental drugs, surgeries or devices in order to motivate them to participate in clinical trials. We review the ethical arguments for and against the provision of access to Phase 1 agents for terminally ill patients. Growing points: Finding a compromise between providing free or no access to Phase 1 drugs for terminally ill patients. Areas timely for developing research: We ought to investigate means to increase access to experimental drugs for terminally ill patients without sacrificing necessary clinical trials' sounds scientific methods. (shrink)

Can we draw substantive conclusions about the reasons for action agents have from premisses about the desires of their idealized counterparts? The answer is that we can. The argument for this conclusion is Rawlsian in spirit, focusing on the choices that our idealized counterparts must make simply in virtue of being ideal, and inferring from these choices the contents of the desires that they must have. It turns out that our idealized counterparts must have desires in which we ourselves (...) figure as both agents and patients, and in which others must figure too, though only as patients. (shrink)

The universal early experience of all humans, which means being totally dependent on caretakers who attempt to inculcate impulse control, should be considered as the psychological framework for the creation of significant supernatural agents. The same early experiences put us at the center of a moral universe, but there is no necessary connection between the two processes. We do not need disgruntled ancestors to make us behave; disgruntled parents will do.

Atran & Norenzayan's (A&N's) target article effectively combines the insights of evolutionary biology and interdisciplinary cognitive science, neither of which alone yields sufficient explanatory power to help us fully understand the complexities of supernatural belief. Although the authors' ideas echo those of other researchers, they are perhaps the most squarely grounded in neo-Darwinian terms to date. Nevertheless, A&N overlook the possibility that the tendency to infer supernatural agents' communicative intent behind natural events served an ancestrally adaptive function.

This commentary validates the fundamental evolutionary interconnection between the emergence of imitation and the mirror system. We present a novel computational framework for studying the evolutionary origins of imitative behavior and examining the emerging underlying mechanisms. Evolutionary adaptive agents that evolved in this framework demonstrate the emergence of neural “mirror” mechanisms analogous to those found in biological systems.

According to Thomas Aquinas, the ideas in the mind of God serve two distinct although interrelated roles: (1) as epistemological principles accounting for God’s knowledge of things other than himself, and (2) as ontological or causal principles involved in God’s creative activity. This article examines the causal role of the divine ideas by focusing on their relation to natural agents. Given Thomas’s observation that from God’s intellect “forms flow forth (effluunt) into all creatures,” the article considers whether the causality (...) of the divine ideas excludes that of natural agents, or whether both modes of causality can somehow produce one and the same effect. (shrink)

This paper investigates the semantic treatment of conditional obligation, explicit permission (often called positive permission), and prohibition based on models with agents and branched time. In such models branches (rather than moments) are taken as basic, and the branching provides a way to represent the indeterminism which is normally presupposed by talk of free will, responsibility, action and ability. Careful treatment of the relation between ability and responsibility avoids many common problems with accounts of conditional obligation. Recognition of the (...) generality often involved in conditional obligations makes possible a sensitive way of expressing some kinds of general prohibitions, which in turn makes it possible to account for the special role of explicit permission. (shrink)

This paper formalizes part of a well-known psychological model of emotions. In particular, the logical structure underlying the conditions that trigger emotions are studied and then hierarchically organized. The insights gained therefrom are used to guide a formalization of emotion triggers, which proceeds in three stages. The first stage captures the conditions that trigger emotions in a semiformal way, i.e., without committing to an underlying formalism and semantics. The second stage captures the main psychological notions used in the emotion model (...) in dynamic doxastic logic. The third stage introduces a BDI-based framework (belief–desire–intention) with achievement goals, which is used to firmly ground the preceding stages. The result is a formalization of emotion triggers for BDI agents with achievement goals. The idea of proceeding in these stages is to provide different levels of commitment to formalisms, so that it remains relatively easy to extend or replace the used formalisms without having to start from scratch. Finally, we show that the formalization renders properties of emotions that are in line with the psychological model on which it is based. (shrink)

This paper instigates a discourse on the unplanned effects of intelligent agents in the context of their use on the Internet. By utilizing a social informatics framework as a lens of analysis, the study identifies several unanticipated consequences of using intelligent agents for information- and commerce-based tasks on the Internet. The effects include those that transpire over time at the organizational level, such as e-commerce transformation, operational encumbrance and security overload, as well as those that emerge on a (...) cultural level, such as trust affliction, skills erosion, privacy attrition and social detachment. Furthermore, three types of impacts are identified: economic, policy, and social. The discussion contends that economic impacts occur on the organizational level, social effects transpire on a cultural level, and policy impacts take place on both levels. These effects of the use of intelligent agents have seldom been predicted and discussed by visionaries, researchers, and practitioners in the field. The knowledge of these unplanned outcomes can improve our understanding of the overall impacts that innovative agent technologies may potentially have on organizations and individuals. Subsequently, this may help us develop better agent applications, facilitate the formulation of appropriate contingencies, and provide impetus for future research. (shrink)

Software agents extend the current, information-based Internet to include autonomous mobile processing. In most countries such processes, i.e., software agents are, however, without an explicit legal status. Many of the legal implications of their actions (e.g., gathering information, negotiating terms, performing transactions) are not well understood. One important characteristic of mobile software agents is that they roam the Internet: they often run on agent platforms of others. There often is no pre-existing relation between the owner of a (...) running agents process and the owner of the agent platform on which an agent process runs. When conflicts arise, the position of the agent platform administrator is not clear: is he or she allowed to slow down the process or possibly remove it from the system? Can the interests of the user of the agent be protected? This article explores legal and technical perspectives in protecting the integrity and availability of software agents and agent platforms. (shrink)

Thesis: Macro-level social phenomena are implemented through the (social) actions and minds of the individuals. Without an explicit theory of the agents' minds that founds, agents' behavior we cannot understand macro-level social phenomena, and in particular how they work. AntiThesis: Mind is not enough: the theory of individual (social) mind and action is not enough to explain several macro-level social phenomena. First, there are pre-cognitive, objective social structures that constrain the actions of the agents; second, there are (...) emergent, unaware or non-contractual forms of cooperation, organisation, and intelligence. Synthesis: The real challenge is how to reconcile, cognition with emergence, intention and deliberation with unknown or unplanned social functions and social order . Both objective structures and unplanned self-organising complex forms of social order and social function emerge from the interactions of agents and from their individual mental states; both these structures and self-organising systems feedback on agents' behaviors through the agents' individual minds. (shrink)

This paper reports our research concerning dialogue strategies suitable for adoption by a human-computer debating system. We propose a set of strategic heuristics for a computer to adopt to enable it to function as a dialogue participant. In particular, we consider means of assessing the proposed strategy. A system involving two agents in dialogue with each other and a human-agent debate system are constructed and subsequently used to facilitate the evaluations. The evaluations suggest that the proposed strategy can enable (...) the computer to act as an effective dialogue participant. It is anticipated that this work will contribute towards the development of computerised dialogue systems and help to illuminate research issues concerning strategies in dialectical systems. (shrink)

This paper investigates decision-theoretic planning in sophisticated autonomous agents operating in environments of real-world complexity. An example might be a planetary rover exploring a largely unknown planet. It is argued th a t existing algorithms for decision-theoretic planning are based on a logically incorrect theory of rational decision making. Plans cannot be evaluated directly in terms of their expected values, because plans can be of different scopes, and they can interact with other previously adopted plans. Furthermore, in the real (...) world, the search for optimal plans is completely intractable. An alternative theory of rational decision making is proposed, called “locally global planning”. (shrink)

This paper addresses the logical foundations of goal-regression planning in autonomous rational agents. It focuses mainly on three problems. The first is that goals and subgoals will often be conjunctions, and to apply goal-regression planning to a conjunction we usually have to plan separately for the conjuncts and then combine the resulting subplans. A logical problem arises from the fact that the subplans may destructively interfere with each other. This problem has been partially solved in the AI literature (e.g., (...) in SNLP and UCPOP), but the solutions proposed there work only when a restrictive assumption is satisfied. This assumption pertains to the computability of threats. It is argued that this assumption may fail for an autonomous rational agent operating in a complex environment. Relaxing this assumption leads to a theory of defeasible planning. The theory is formulated precisely and an implementation in the OSCAR architecture is discussed. (shrink)

Kantians argue that any sound theory of practical reason must be universalizable. Their opponents argue that insofar as universalizability is hedged enough to be defensible it is an "empty formalism." The critic presents the Kantian with a dilemma. They argue that if the only notion of a contradiction in play in the categorical imperative is simply that of logical one (as opposed to some sort of practical or teleological contradiction)1 then the categorical imperative it too anemic to have interesting consequences. (...) If, on the other hand, the categorical imperative employs a more robust conception of contradictions then the critics argue that the categorical imperative, so understood, is not supported by Kant's arguments. In discussing the first horn of this dilemma (concerning the implications of universalizability read in the more modest logical contradiction way) Kantians and their opponents have both focused on the possibility of universal compliance with a proposed theory of practical reason by all individual agents. However, it is plausible to suppose that not all possible rational agents are individuals. For it is also reasonable to suppose that collective rational agents are also possible. After all, we speak of nation-states, lobbying groups, churches, corporations, universities, trade unions and other groups as performing actions for reasons and as proper objects of both moral and legal responsibility. Nor is there any obvious reason not to take this talk at face value. (shrink)

On a common view of evolution, natural selection is the major force that produces evolutionary change. Selection is thought to operate on different types (genotypes or phenotypes) in populations so as to generate differential reproductive survival of these types. This should engender changes in population composition. The conception of selection as a "force" should be considered as a convenient shorthand that easily misleads us. Selection is not a factor over and above items such as temperature regimes, predators, and so forth. (...) These items do causal work in evolutionary processes. The term "selection" is merely an abstract placeholder for them. Differential reproductive survival thus appears to depend on particular environmental items that influence different types in different ways. Such items are properly regarded as the selective agents. On the face of it, selection processes must always be due to the operation of such agents. I argue that this is a mistaken assumption. Processes of selection may well occur in the absence of selective agents. That is because environmental factors may contribute to differential reproductive survival even if they do not affect different genotypes or phenotypes in different ways. Considering the role of the environment in selection, we should distinguish between selective agents and contributive agents. (shrink)

In this paper, I analyze the significance of Ernest Nagel's introduction of the notion of model in his reconstruction of scientific theories. Nagel's account is generally considered as a version of the "received view" of theories, whose main advocate is Carnap. However, I will show that Nagel's considerations on models imply a renunciation to the logical empiricists' project of the formalization of scientific theories. I will argue that Nagel implicitly acknowledges that, in order to study the content of theories, one (...) cannot abstract away from the agents' understanding of theories, and from the reasoning processes they perform when using them. (shrink)

The development of electronic agents that increasingly play an active role in the contract formation and execution process has highlighted the need for the creation of law-abiding autonomous agent systems. The principle of good faith is an important guideline for contractual behaviour which permeates civil law systems. This paper examines how this principle is applied both during the negotiation of a contract and during its performance. Selected examples from civil law literature of precontractual duties of good faith, and of (...) precontractual behaviour that is deemed to be contrary to good faith, are discussed. This is followed by a discussion of the extent to which such duties are recognised, or such behaviour proscribed, in common law jurisdictions. Some common standards for precontractual behaviour in civil and common law systems are identified. There is then a parallel analysis of the principle of good faith in contract performance with a view to identifying common traits or standards between civil and common law systems. These standards, in the situation where contracts are being negotiated and/or performed by or through electronic agents, would need to be reflected in the way such agents operate. (shrink)

In modern technical societies computers interact with human beings in ways that can affect moral rights and obligations. This has given rise to the question whether computers can act as autonomous moral agents. The answer to this question depends on many explicit and implicit definitions that touch on different philosophical areas such as anthropology and metaphysics. The approach chosen in this paper centres on the concept of information. Information is a multi-facetted notion which is hard to define comprehensively. However, (...) the frequently used definition of information as data endowed with meaning can promote our understanding. It is argued that information in this sense is a necessary condition of cognitivist ethics. This is the basis for analysing computers and information processors regarding their status as possible moral agents. Computers have several characteristics that are desirable for moral agents. However, computers in their current form are unable to capture the meaning of information and therefore fail to reflect morality in anything but a most basic sense of the term. This shortcoming is discussed using the example of the Moral Turing Test. The paper ends with a consideration of which conditions computers would have to fulfil in order to be able to use information in such a way as to render them capable of acting morally and reflecting ethically. (shrink)

Lawsuits alleging illegal and unethical insurance sales practices have received widespread publicity in recent years. Although many observers have argued that one source of ethical conflicts for insurance agents is the industry's reliance on straight commission compensation, there remains a paucity of empirical data to support the claim. Therefore, we tested whether different forms of compensation influence insurance agent recommendations of products. We obtained survey responses from 336 insurance agents. Respondents were presented with a composite sketch of a (...) hypothetical client. Following this description, they were asked to identify which one of eight specified life insurance products they would recommend to the client. A between-groups design was employed to manipulate differences in compensation associated with the eight products. Results indicated that neither amount of coverage nor type of coverage (term life versus cash value) recommended was associated with compensation. However, an unanticipated finding was that amount of coverage recommended was significantly higher when the insured was male than when the insured was female. (shrink)

The upshot of the No Free Lunch theorems is that averaged over all fitness functions, evolutionary computation does no better than blind search (see Dembski 2002, ch 4 as well as Dembski 2005 for an overview). But this raises a question: How does evolutionary computation obtain its power since, clearly, it is capable of doing better than blind search? One approach is to limit the fitness functions (see Igel and Toussaint 2001). Another, illustrated in David Fogel’s work on automated checker (...) and chess playing (see, for instance, Chellapilla and Fogel 1999 and Fogel et al. 2004) and, more recently, given a theoretical underpinning by David Wolpert and William Macready (2005), is to limit optimization problems to search spaces consisting of agents that play competitively against one another. In this brief note, I focus on the latter attempt to get around the force of No Free Lunch. (shrink)

We here describe research into the formal specification and implementation of resource-bounded agents. In particular, we provide an overview of our work on incorporating resource limitations into executable agent specifications. In addition, we outline future directions, highlighting both their promise and their problems.

Cognition, writ broadly to include motivation and emotion, is best conceived of as control structure for autonomous agents . Autonomous agents are situated in a environment. They both sense and act on that environment, over time, so as to effect subsequent sensing. Examples of such agents include humans, animals, some mobile robots, some artificial life creatures (who "live" in a simulated environment on a computer) and some software agents (who "live" in a file system, a database, (...) or on a network). Their actions are in pursuit of their own agendas, as designed in by their maker or programmer, or as evolved and shaped by culture. Each such agent employs some control mechanism whose continual duty is to select the next action. The term "cognition," in its broad sense, refers to the workings of such control mechanisms. (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)

Gendered Agents, edited by Silvestra Mariniello and Paul A. Bove, presents essays by influential feminist theorists who challenge traditional Western ...

We present a logic-based formalism for modeling ofdialogues between intelligent and autonomous software agents,building on a theory of abstract dialogue games which we present.The formalism enables representation of complex dialogues assequences of moves in a combination of dialogue games, and allowsdialogues to be embedded inside one another. The formalism iscomputational and its modular nature enables different types ofdialogues to be represented.

Calcium plays an important role in regulating a great variety of neuronal processes, and many efforts are made to generate gadolinium complexes that can act as calcium-dependent MRI contrast agents. A series of gadolinium chelate complexes based on DO3A were developed, bearing phosphonate groups as an additional coordination sites, which is hypothesized to change relaxivity in magnetic resonance experiments dynamically with Ca2+ concentration. Different lengths of the phosphonate side chains are expected to lead to different binding constants of the (...) phosphonate - gadolinium bonds. The latter property can be exploited for fine-tuning the sensitivity of the agent to calcium ion concentration. (shrink)

Suppose we have a group of Bayesian agents, and suppose that theywould like for their group as a whole to be a Bayesian agent as well. Moreover, suppose that thoseagents want the probabilities and utilities attached to this group agent to be aggregated from theindividual probabilities and utilities in reasonable ways. Two ways of aggregating their individual data areavailable to them, viz., ex ante aggregation and ex post aggregation. The former aggregatesexpected utilities directly, whereas the latter aggregates (...) probabilities and utilities separately.A number of recent formal results show that both approaches have problematic implications. This studydiscusses the philosophical issues arising from those results. In this process, I hope to convincethe reader that these results about Bayesian aggregation are highly significant to decision theorists, butalso of immense interest to theorists working in areas such as ethics and political philosophy. (shrink)

We model differences among agents in their ability to recognize temporal patterns of prices. Using the concept of DeBruijn sequences in two dynamic models of markets, we demonstrate the existence of equilibria in which prices fluctuate in a pattern that is independent of the fundamentals and that can be recognized only by the more competent agents. (JEL: C7, D4.