92,049 research outputs found
Clues About Bluffing in Clue: Is Conventional Wisdom Wise?
We have used the board game Clue as a pedagogical tool in our course on Artificial Intelligence to teach formal logic through the development of logic-based computational game-playing agents. The development of game-playing agents allows us to experimentally test many game-play strategies and we have encountered some surprising results that refine “conventional wisdom” for playing Clue. In this paper we consider the effect of the oft-used strategy wherein a player uses their own cards when making suggestions (i.e., “bluffing”) early in the game to mislead other players or to focus on acquiring a particular kind of knowledge. We begin with an intuitive argument against this strategy together with a quantitative probabilistic analysis of this strategy’s cost to a player that both suggest “bluffing” should be detrimental to winning the game. We then present our counter-intuitive simulation results from playing computational agents that “bluff” against those that do not that show “bluffing” to be beneficial. We conclude with a nuanced assessment of the cost and benefit of “bluffing” in Clue that shows the strategy, when used correctly, to be beneficial and, when used incorrectly, to be detrimental
Dispute Resolution Using Argumentation-Based Mediation
Mediation is a process, in which both parties agree to resolve their dispute
by negotiating over alternative solutions presented by a mediator. In order to
construct such solutions, mediation brings more information and knowledge, and,
if possible, resources to the negotiation table. The contribution of this paper
is the automated mediation machinery which does that. It presents an
argumentation-based mediation approach that extends the logic-based approach to
argumentation-based negotiation involving BDI agents. The paper describes the
mediation algorithm. For comparison it illustrates the method with a case study
used in an earlier work. It demonstrates how the computational mediator can
deal with realistic situations in which the negotiating agents would otherwise
fail due to lack of knowledge and/or resources.Comment: 6 page
Morphological Computing as Logic Underlying Cognition in Human, Animal, and Intelligent Machine
This work examines the interconnections between logic, epistemology, and
sciences within the Naturalist tradition. It presents a scheme that connects
logic, mathematics, physics, chemistry, biology, and cognition, emphasizing
scale-invariant, self-organizing dynamics across organizational tiers of
nature. The inherent logic of agency exists in natural processes at various
levels, under information exchanges. It applies to humans, animals, and
artifactual agents. The common human-centric, natural language-based logic is
an example of complex logic evolved by living organisms that already appears in
the simplest form at the level of basal cognition of unicellular organisms.
Thus, cognitive logic stems from the evolution of physical, chemical, and
biological logic. In a computing nature framework with a self-organizing
agency, innovative computational frameworks grounded in
morphological/physical/natural computation can be used to explain the genesis
of human-centered logic through the steps of naturalized logical processes at
lower levels of organization. The Extended Evolutionary Synthesis of living
agents is essential for understanding the emergence of human-level logic and
the relationship between logic and information processing/computational
epistemology. We conclude that more research is needed to elucidate the details
of the mechanisms linking natural phenomena with the logic of agency in nature.Comment: 20 pages, no figure
Intelligent Association Exploration and Exploitation of Fuzzy Agents in Ambient Intelligent Environments
This paper presents a novel fuzzy-based intelligent architecture that aims to find relevant and important associations between embedded-agent based services that form Ambient Intelligent Environments (AIEs). The embedded agents are used in two ways; first they monitor the inhabitants of the AIE, learning their behaviours in an online, non-intrusive and life-long fashion with the aim of pre-emptively setting the environment to the users preferred state. Secondly, they evaluate the relevance and significance of the associations to various services with the aim of eliminating redundant associations in order to minimize the agent computational latency within the AIE. The embedded agents employ fuzzy-logic due to its robustness to the uncertainties, noise and imprecision encountered in AIEs. We describe unique real world experiments that were conducted in the Essex intelligent Dormitory (iDorm) to evaluate and validate the significance of the proposed architecture and methods
Social Influence and the Generation of Joint Mental Attitudes in Multi-agent Systems
This work examines the social structural and cognitive foundations of joint mental attitudes in complexly differentated multi-agent systems, and incorporates insights from a variety of disciplines, including mainstream Distributed Artificial Intelligence, sociology, administrative science, social psychology, and organisational perspectives. At the heart of this work lies the understanding of the on-going processes by which socially and cognitively differentiated agents come to be socially and cognitively integrated. Here we claim that such understanding rests on the consideration of the nature of the influence processes that affect socialisation intensity. To this end, we provide a logic-based computational model of social influence and we undertake a set of virtual experiments to investigate whether and to what extent this process, when it is played out in a system of negotiating agents, results in a modification of the agents' mental attitudes and impacts on negotiation performance
Control with probabilistic signal temporal logic
Autonomous agents often operate in uncertain environments where their decisions are made based on beliefs over states of targets. We are interested in controller synthesis for complex tasks defined over belief spaces. Designing such controllers is challenging due to computational complexity and the lack of expressivity of existing specification languages. In this paper, we propose a probabilistic extension to signal temporal logic (STL) that expresses tasks over continuous belief spaces. We present an efficient synthesis algorithm to find a control input that maximises the probability of satisfying a given task. We validate our algorithm through simulations of an unmanned aerial vehicle deployed for surveillance and search missions
- …