11363478
Learning To Cooperate in a Social Dilemma: A Satisficing Approach to Bargaining
Learning in many multi-agent settings is inherently repeated play. This calls into question the naive application of single play Nash equilibria in multi-agent learning and suggests, instead, the application of give-and-take principles of bargaining. We modify and analyze a satisficing algorithm based on (Karandikar et al., 1998) that is compatible with the bargaining perspective. This algorithm is a form of relaxation search that converges to a satisficing equilibrium without knowledge of game payoffs or other agents' actions. We then develop an M action, N player social dilemma that encodes the key elements of the Prisoner's Dilemma. This game is instructive because it characterizes social dilemmas with more than two agents and more than two choices. We show how several different multi-agent learning algorithms behave in this social dilemma, and demonstrate that the satisficing algorithm converges, with high probability, to a Pareto efficient solution in self play and to the single play Nash equilibrium against selfish agents. Finally, we present theoretical results that characterize the behavior of the algorithm.
451273
Comparing the usefulness of video and map information in navigation tasks
One of the fundamental aspects of robot teleoperation is the ability to successfully navigate a robot through an environment. We define successful navigation to mean that the robot minimizes collisions and arrives at the destination in a timely manner. Often video and map information is presented to a robot operator to aid in navigation tasks. This paper addresses the usefulness of map and video information in a navigation task by comparing a side-by-side (2D) representation and an integrated (3D) representation in both a simulated and a real world study. The results suggest that sometimes video is more helpful than a map and other times a map is more helpful than video. From a design perspective, an integrated representation seems to help navigation more than placing map and video side-by-side.
29722627
A theory of satisficing decisions and control
The existence of an optimal control policy and the techniques for finding it are grounded fundamentally in a global perspective. These techniques can be of limited value when the global behaviour of the system is difficult to characterize, as it may be when the system is nonlinear, when the input is constrained, or when only partial information is available regarding system dynamics or the environment. Satisficing control theory is an alternative approach that is compatible with the limited rationality associated with such systems. This theory is extended by the introduction of the notion of strong satisficing to provide a systematic procedure for the design of satisficing controls. The power of the satisficing approach is illustrated by applications to representative control problems.
44773632
Satisficing Games
Optimization is a mathematical sophistication of the common sense view that decision makers ought to do the best they can, and leads to well known solution concepts for mathematical games. For multi-agent systems in naturalistic settings, however, uncertainty and complexity may subordinate optimal performance to the more moderate goals of functionality and robustness. Moderation is another common sense idea that can be made mathematically precise by defining a notion of comparative rationality, leading to a theory of satisficing games. Preferences in an m-agent satisficing game are characterized by a 2m-dimensional interdependence function, from which the joint m-dimensional gains and losses of the agent system can be derived and compared to determine the set of jointly satisficing decisions. This paradigm permits decision makers in the presence of uncertainty to consider multiple sets of possible actions and make decisions that are both robust and functional. Two well-known games, Prisoner's Dilemma and Battle of the Sexes, are analyzed from this, point of view.
13562077
Satisficing Equilibria: A Non-Classical Theory of Games and Decisions
Satisficing, or being “good enough,” is the fundamental obligation of rational decision makers. We cannot rationally choose an option, even when we do not know of anything better, unless we know it is good enough. Unfortunately, we are not often in the position of knowing that there could be no better option, and hence that the option must be good enough. A complete search through all logical possibilities is often impractical, particularly in multi-agent contexts, due to excessive computational difficulty, modeling complexity, and uncertainty. It can be equally impractical, if it is even possible, to determine the cost of the additional required search to find an option that is good enough. In a departure from the traditional notion of satisficing as a species of bounded rationality, satisficing is here redefined in terms of a notion of intrinsic rationality. Epistemic utility theory serves as the philosophical foundation of a new praxeological decision-making paradigm of satisficing equilibria that is applicable to both single- and multiple-agent scenarios. All interagent relationships are modeled by an interdependence function that explicitly accommodates both self and group interest, from which multilateral and unilateral selectability and rejectability mass functions can be derived and compared via the praxeic likelihood ratio test.
15752591
Satisficing anytime action search for behavior-based voting
Within the field of behavior-based robotics, a useful and popular technique for robot control is that of utilitarian voting, where behaviors representing objectives assign utilities to candidate actions. Utilitarian voting allows for distributed, modular control but is not well suited to systems with very high resolution or several, dependent degrees of freedom. Past systems have depended on exhaustive searches that choose the action with the highest combined utility. We present, instead, a framework that casts the action search problem as an anytime algorithm. This allows directed searches to be used with time limit constraints. Aspiration-based satisficing additionally helps to reduce CPU usage. In experiments so far, we have decreased CPU usage by UP to 42% while causing result quality to be no more than 6% worse.
1377517
Efficient perspective-accurate silhouette computation and applications
Silhouettes are perceptually and geometrically salient features of geo metric models. Hence a number of graphics and visualization applications need to find them to aid further processing. The efficient computation of silhouettes, especially in the context of perspective projection, is known to be difficult. This paper presents a novel efficient and practical algorithm to compute silhouettes from a sequence of viewpoints under perspective projection. Parallel projection is a special case of this algorithm. Our approach is based on a point-plane duality in three dimensions, which allows an efficient computation of the \emph{changes} in the silhouette of a polygonal model between consecutive frames. In addition, we present several applications of our technique to problems from computer graphics and medical visualization. We also provide experimental data that show the efficiency of our approach.
 million vertices on an SGI Onyx workstation.
126023693
Confluent Drawings: Visualizing Non-planar Diagrams in a Planar Way
In this paper, we introduce a new approach for drawing diagrams that have applications in software visualization. Our approach is to use a technique we call confluent drawing for visualizing non-planar diagrams in a planar way. This approach allows us to draw, in a crossing-free manner , graphs—such as software interaction diagrams—that would normally have many crossings. The main idea of this approach is quite simple: we allow groups of edges to be merged together and drawn as " tracks " (similar to train tracks). Producing such confluent diagrams automatically from a graph with many crossings is quite challenging, however , so we offer two heuristic algorithms to test if a non-planar graph can be drawn efficiently in a confluent way. In addition, we identify several large classes of graphs that can be completely categorized as being either confluently drawable or confluently non-drawable.
1926136
On the Complexity of Optimization Problems for 3-dimensional Convex Polyhedra and Decision Trees
Abstract We show that several well-known optimization problems involving 3-dimensional convex polyhedra and decision trees are NP-hard or NP-complete. One of the techniques we employ is a linear-time method for realizing a planar 3-connected triangulation as a convex polyhedron, which may be of independent interest.
43822433
Contour interpolation by straight skeletons
In this paper we present an efficient method for interpolating a piecewise-linear surface between two parallel slices, each consisting of an arbitrary number of (possibly nested) polygons that define 'material' and 'non-material' regions. This problem has applications to medical imaging, geographic information systems, etc. Our method is fully automatic and is guaranteed to produce non-self-intersecting surfaces in all cases regardless of the number of contours in each slice, their complexity and geometry, and the depth of their hierarchy of nesting. The method is based on computing cells in the overlay of the slices that form the symmetric difference between them. Then, the straight skeletons of the selected cells guide the triangulation of each face of the skeletons. Finally, the resulting triangles are lifted up in space to form an interpolating surface. We provide some experimental results on various complex examples to show the good and robust performance of our algorithm.
34686455
Drawing planar graphs with circular arcs
In this paper we address the problem of drawing planar graphs with circular arcs while maintaining good angular resolution and small drawing area. We present a lower bound on the area of drawings in which edges are drawn using exactly one circular arc. We also give an algorithm for drawing n-vertex planar graphs such that the edges are sequences of two continuous circular arcs. The algorithm runs in O(n) time and embeds the graph on the O(n) × O(n) grid, while maintaining Θ(1/d(v)) angular resolution, where d(v) is the degree of vertex v. Since in this case we use circular arcs of infinite radius, this is also the first algorithm that simultaneously achieves good angular resolution, small area, and at most one bend per edge using straight-line segments. Finally, we show how to create drawings in which edges are smooth C1-continuous curves, represented by a sequence of at most three circular arcs.