Asia
Evolution of International Law: Two Thresholds, Maybe a Third
D’Amato, Anthony (Northwestern University School of Law)
International law is a singular exception to the top-down systems of law within nations. It presents the puzzle of how the law can be created or changed in the absence of authoritative rule-making institutions. The present paper is part of a work in progress that locates the law-making apparatus of international law in a complex adaptive system. Herein the focus is on thresholds. The first and most detailed threshold describes the emergence of the complex adaptive system. The second threshold consists of the transformation of international law from the voluntary to the automatic. The third threshold is here but has not yet been crossed: actualizing human rights as enforceable claims by individuals against States.
The Rise of the Modern State: Gradual Reform or Punctuated Transition
Root, Hilton L. (George Mason University)
A state is not alive, yet it performs many of the central enjoys few bonds of kinship: and residence depends upon functions of life like replication and adaptation to new conditions occupational specialization rather than blood relations. A to balance social protection and opportunity. As a modern state can declare war on behalf of the entire collectivity, lifelike system the rise of the modern state raises four sets reserving the right to declare mandatory participation of fundamental questions about its evolutionary design. A and to contract the area of private vengeance. They proclaim first set concerns how it became a sustainable, autonomously a monopoly of force and of law, while requiring citizens to replicating system, capable of evolution. All non-state agglomerations forgo violence; vengeance is not the responsibility of the offended such as empires or chiefdoms eventually stagnate party. Almost any crime against one member is a because they are closed systems that break down over crime against the state. Subgroups seeking vengeance are time (Weber). A state is an open system that must able to viewed as threatening to the order of the state.
A Pragmatic Approach to Implementation of Emotional Intelligence in Machines
Ptaszynski, Michal (Hokkaido University) | Rzepka, Rafal (Hokkaido University) | Araki, Kenji (Hokkaido University)
By this paper we would like to open a discussion on the need ofBy this paper we would like to open a discussion on the need of Emotional Intelligence as a feature in machines interacting with humans. However, we restrain from making a statement about the need of emotional experience in machines. We argue that providing machines computable means for processing emotions is a practical need requiring implementation of a set of abilities included in the Emotional Intelligence Framework. We introduce our methods and present the results of some of the first experiments we performed in this matter.
Data Theory, Discourse Mining and Thresholds
Sallach, David L. (Argonne National Laboratory) | Ozik, Jonathan (Argonne National Laboratory)
The availability of online documents coupled with emergent text mining methods has opened new research horizons. To achieve their potential, mining technologies need to be theoretically focused. We present data theory as a crucial component of text mining, and provide a substantive proto- theory from the synthesis of complex multigames, prototype concepts, and emotio-cognitive orientation fields. We discuss how the data theory presented informs the application of text mining to mining discourse(s) and how, in turn, this allows for modeling across contextual thresholds. Finally, the relationship between discourse mining, data theory, and thresholds is illustrated with an historical example, the events surrounding the 1992 civil war in Tajikistan.
Formal Argumentation and Human Reasoning: The Case of Reinstatement
Madakkatel, Mohammed Iqbal (British University in Dubai) | Rahwan, Iyad (British University in Dubai &) | Bonnefon, Jean-Francois (University of Edinburgh) | Awan, Ruqiyabi Naz (CNRS and Universite de Toulouse) | Abdallah, Sherief (British University in Dubai)
Argumentation is now a very fertile area of research in Artificial Intelligence. Yet, most approaches to reasoning with arguments in AI are based on a normative perspective, relying on intuition as to what constitutes correct reasoning, sometimes aided by purpose-built hypothetical examples. For these models to be useful in agent-human argumentation, they can benefit from an alternative, positivist perspective that takes into account the empirical reality of human reasoning. To give a flavour of the kinds of lessons that this methodology can provide, we report on a psychological study exploring simple reinstatement in argumentation semantics. Empirical results show that while reinstatement is cognitively plausible in principle, it does not yield full recovery of the argument status, a notion not captured in Dung's classical model. This result suggests some possible avenues for research relevant to making formal models of argument more useful.
Causal Inference on Discrete Data using Additive Noise Models
Peters, Jonas, Janzing, Dominik, Schölkopf, Bernhard
Inferring the causal structure of a set of random variables from a finite sample of the joint distribution is an important problem in science. Recently, methods using additive noise models have been suggested to approach the case of continuous variables. In many situations, however, the variables of interest are discrete or even have only finitely many states. In this work we extend the notion of additive noise models to these cases. We prove that whenever the joint distribution $\prob^{(X,Y)}$ admits such a model in one direction, e.g. $Y=f(X)+N, N \independent X$, it does not admit the reversed model $X=g(Y)+\tilde N, \tilde N \independent Y$ as long as the model is chosen in a generic way. Based on these deliberations we propose an efficient new algorithm that is able to distinguish between cause and effect for a finite sample of discrete variables. In an extensive experimental study we show that this algorithm works both on synthetic and real data sets.
Content Modeling Using Latent Permutations
Chen, H., Branavan, S.R.K., Barzilay, R., Karger, D. R.
We present a novel Bayesian topic model for learning discourse-level document structure. Our model leverages insights from discourse theory to constrain latent topic assignments in a way that reflects the underlying organization of document topics. We propose a global model in which both topic selection and ordering are biased to be similar across a collection of related documents. We show that this space of orderings can be effectively represented using a distribution over permutations called the Generalized Mallows Model. We apply our method to three complementary discourse-level tasks: cross-document alignment, document segmentation, and information ordering. Our experiments show that incorporating our permutation-based model in these applications yields substantial improvements in performance over previously proposed methods.
Sum of Us: Strategyproof Selection from the Selectors
Alon, Noga, Fischer, Felix, Procaccia, Ariel D., Tennenholtz, Moshe
We consider directed graphs over a set of n agents, where an edge (i,j) is taken to mean that agent i supports or trusts agent j. Given such a graph and an integer k\leq n, we wish to select a subset of k agents that maximizes the sum of indegrees, i.e., a subset of k most popular or most trusted agents. At the same time we assume that each individual agent is only interested in being selected, and may misreport its outgoing edges to this end. This problem formulation captures realistic scenarios where agents choose among themselves, which can be found in the context of Internet search, social networks like Twitter, or reputation systems like Epinions. Our goal is to design mechanisms without payments that map each graph to a k-subset of agents to be selected and satisfy the following two constraints: strategyproofness, i.e., agents cannot benefit from misreporting their outgoing edges, and approximate optimality, i.e., the sum of indegrees of the selected subset of agents is always close to optimal. Our first main result is a surprising impossibility: for k \in {1,...,n-1}, no deterministic strategyproof mechanism can provide a finite approximation ratio. Our second main result is a randomized strategyproof mechanism with an approximation ratio that is bounded from above by four for any value of k, and approaches one as k grows.
Deus Ex Machina — A Higher Creative Species in the Game of Chess
Bushinsky, Shay (University of Tel-Aviv)
Computers and human beings play chess differently. The basic paradigm that computer programs employ is known as "search and evaluate." Their static evaluation is arguably more primitive than the perceptual one of humans. Yet the intelligence emerging from them is phenomenal. A human spectator would not be able to tell the difference between a brilliant computer game and one played by Kasparov. Chess played by today's machines looks extraordinary, full of imagination and creativity. Such elements may be the reason why computers are superior to humans in the sport of kings, at least for the moment. This paper article about how roles have changed: Humans play chess like machines and machines play chess the way humans used to play.
Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results)
Abreu, Salvator, Diaz, Daniel, Codognet, Philippe
We explore the use of the Cell Broadband Engine (Cell/BE for short) for combinatorial optimization applications: we present a parallel version of a constraint-based local search algorithm that has been implemented on a multiprocessor BladeCenter machine with twin Cell/BE processors (total of 16 SPUs per blade). This algorithm was chosen because it fits very well the Cell/BE architecture and requires neither shared memory nor communication between processors, while retaining a compact memory footprint. We study the performance on several large optimization benchmarks and show that this achieves mostly linear time speedups, even sometimes super-linear. This is possible because the parallel implementation might explore simultaneously different parts of the search space and therefore converge faster towards the best sub-space and thus towards a solution. Besides getting speedups, the resulting times exhibit a much smaller variance, which benefits applications where a timely reply is critical.