In this paper, we discuss guidelines for a reward design problem that defines when and what amount of reward should be given to the agent/s, within the context of reinforcement learning approach. We would like to take keepaway soccer as a standard task of the multiagent domain which requires skilled teamwork. The difficulties of designing reward for this task are due to its features as follows: i) since it belongs to the continuing task which has no explicit goal to achieve, (...) it is hard to tell when reward should be given to the agent/s. ii) since it is a multiagent cooperative task, it is hard to decide what is a fair share of reward for each agent's contribution to achieve the goal. Through some experiments, we show that the reward design have a major effect on the agent's behavior, and introduce the successful reward function that makes agents perform keepaway better and more interesting than the conventional one does. Finally, we explore the relationship between `reward design' and `acquired behaviors' from the viewpoint of teamwork. (shrink)

In this paper we formulate epsilon substitution method for a theory $\Pi _{2}^{0}$-FIX for non-monotonic $\Pi _{2}^{0}$ inductive definitions. Then we give a termination proof of the H-processes based on Ackermann [1].

Identifying a range of key concerns related to representation and difference, Representing the Other offers a provocative agenda for the future development of feminist theory and practice. The book's contributors, including many key international researchers in women's studies, draw on personal experiences of speaking "for" and "about" others in their research, professional practice, academic writing, or political activism. They highlight problems of representing the Other with an ethnic or cultural background different from one's own and extend discussions of "Othering" to (...) representations of children, prostitutes, infertile women, fat women, gay men with HIV/AIDS, and people with disabilities. The reader, which includes articles and discussions from four issues of the journal Feminism & Psychology, also features new pieces and an extensive editorial introduction. Representing the Other will be integral reading for students and academics in women's studies, gender studies, and feminist theory across a range of social science disciplines, including social psychology, sociology, anthropology, sociolinguistics, social policy, and political science. (shrink)

For many people "animal rights" suggests campaigns against factory farms, vivisection or other aspects of our woeful treatment of animals. Zoopolis moves beyond this familiar terrain, focusing not on what we must stop doing to animals, but on how we can establish positive and just relationships with different types of animals.

Feminist theory is a central strand of cultural studies. This book explores the history of feminist cultural studies from the early work of Mary Wollstonecraft, Charlotte Perkins Gilman, Virginia Woolf, Simone de Beauvoir, through the 1970s Women's Liberation Movement. It also provides a comprehensive introduction to the contemporary key approaches, theories and debates of feminist theory within cultural studies, offering a major re-mapping of the field. It will be an essential text for students taking courses within both cultural studies and (...) women's studies departments. (shrink)

India has a long, rich, and diverse tradition of philosophical thought, spanning some two and a half millenia and encompassing several major religious traditions. Now, in this intriguing introduction to Indian philosophy, the diversity of Indian thought is emphasized. It is structured around six schools of thought that have received classic status. Sue Hamilton explores how the traditions have attempted to understand the nature of reality in terms of inner or spiritual quest and introduces distinctively Indian concepts, such as karma (...) and rebirth. She also explains how Indian thinkers have understood issues of reality and knowledge-issues that re also an important part of the Western philosophical tradition. (shrink)

The method of analytic tableaux is employed in many introductory texts and has also been used quite extensively as a basis for automated theorem proving. In this paper, we discuss the complexity of the system as a method for refuting contradictory sets of clauses, and resolve several open questions. We discuss the three forms of analytic tableaux: clausal tableaux, generalized clausal tableaux, and binary tableaux. We resolve the relative complexity of these three forms of tableaux proofs and also resolve the (...) relative complexity of analytic tableaux versus resolution. We show that there is a quasi-polynomial simulation of tree resolution by analytic tableaux; this simulation is close to optimal, since we give a matching lower bound that is tight to within a polynomial. (shrink)

A biography of the philosopher Friedrich Nietzsche.

The reconstructive turn in memory theory challenges us to provide an account of successful remembering that is attentive to the ways in which we use memory, both individually and socially. I investigate conceptualizations of accuracy and integrity useful to memory theorists and argue that faithful recollection is often a complex epistemological/ethical achievement.

This paper deals with a proof theory for a theory T22 of recursively Mahlo ordinals in the form of Π2-reflecting on Π2-reflecting ordinals using a subsystem Od of the system O of ordinal diagrams in Arai 353). This paper is the first published one in which a proof-theoretic analysis à la Gentzen–Takeuti of recursively large ordinals is expounded.

Hilbert proposed the epsilon substitution method as a basis for consistency proofs. Hilbert's Ansatz for finding a solving substitution for any given finite set of transfinite axioms is, starting with the null substitution S0, to correct false values step by step and thereby generate the process S0,S1,… . The problem is to show that the approximating process terminates. After Gentzen's innovation, Ackermann 162) succeeded to prove termination of the process for first order arithmetic. Inspired by G. Mints as an Ariadne's (...) thread we formulate the epsilon substitution method for the theory ID1 of non-iterated inductive definitions for disjunctions of simply universal and existential operators, and give a termination proof of the H-process based on Ackermann 162). The termination proof is based on transfinite induction up to the Howard ordinal. (shrink)

Hilbert proposed the epsilon substitution method as a basis for consistency proofs. Hilbert’s Ansatz for finding a solving substitution for any given finite set of transfinite axioms is, starting with the null substitution S0, to correct false values step by step and thereby generate the process S0,S1,…. The problem is to show that the approximating process terminates. After Gentzen’s innovation, Ackermann [W. Ackermann, Zur Widerspruchsfreiheit der Zahlentheorie, Math. Ann. 117 162–194] succeeded in proving the termination of the process for the (...) first order arithmetic. In this note we report recent progress on the subject, and expound basic ideas of the epsilon substitution method à la Ackermann for the theory -FIX of non-monotonic inductive definitions. (shrink)

This paper deals with a proof theory for a theory T3 of Π3-reflecting ordinals using the system O of ordinal diagrams in Arai 1375). This is a sequel to the previous one 1) in which a theory for recursively Mahlo ordinals is analyzed proof-theoretically.

My intent is to bring a key group of critical terms associated with the emotions-bitterness, sentimentality, and emotionality-to greater feminist attention. These terms are used to characterize emoters on the basis of how we express ourselves, and they characterize us in ways that we need no longer be taken seriously. I analyze the ways in which these terms of emotional dismissal can be put to powerful political use.

In this, journal, W. Buchholz gave an elegant proof of a characterization theorem for provably total recursive functions in the theory IDv for the v-times iterated inductive definitions . He characterizes the classes of functions by Hardy functions. In this note we will show that a slow growing analogue to the theorem can be obtained by a slight modification of Buchholz' proof.

We formulate epsilon substitution method for theories (H)α0 of absolute jump hierarchies, and give two termination proofs of the H-process: The first proof is an adaption of Mints M, Mints-Tupailo-Buchholz MTB, i.e., based on a cut-elimination of a specially devised infinitary calculus. The second one is an adaption of Ackermann Ack. Each termination proof is based on transfinite induction up to an ordinal θ(α0+ ω)0, which is best possible.

We gather the following miscellaneous results in proof theory from the attic.1. 1. A provably well-founded elementary ordering admits an elementary order preserving map.2. 2. A simple proof of an elementary bound for cut elimination in propositional calculus and its applications to separation problem in relativized bounded arithmetic below S21.3. 3. Equivalents for Bar Induction, e.g., reflection schema for ω logic.4. 4. Direct computations in an equational calculus PRE and a decidability problem for provable inequations in PRE.5. 5. Intuitionistic fixed (...) point theories which are conservative extensions of HA.6. 6. Proof theoretic strengths of classical fixed points theories.7. 7. An equivalence between transfinite induction rule and iterated reflection schema over IΣn.8. 8. Derivation lengths of finite rewrite rules reducing under lexicographic path orders and multiply recursive functions.Each section can be read separately in principle. (shrink)

Sue Campbell reinstates the personal as an important dimension in analytic philosophy of mind. She argues that the category of feelings has a unique role in psychological explanation: the expression of feelings is the attempt to communicate personal significance. To develop a model for affective meaning, the author moves attention away from the classic emotions to feelings that are more personal, inchoate, and idiosyncratic.

When we consider the issue of linguistic justice, we must define what we mean by language. Standardisation of languages is closely associated with the development of the nation state, and the de Saussurian conception of language as system is in concert with nationalism and its divisions. In the early twenty-first century, however, this view of the world as a mosaic of stable national monolingualisms is outdated. In a globalising world, much of the political, social and economic structure that is developing (...) is transnational and patterns of contact, both real and virtual, have become extraordinarily complex. In the resulting communities of communication of this superdiverse world, much language practice is more function driven than in the recent past. New practices mean that we cannot consider questions of linguistic justice in this new world order using the linguistic toolkit of the old. The flows, exchanges and networks of globalisation present us with a new paradigm and we need to recalibrate concepts. (shrink)

This book offers a feminist philosophical analysis of contemporary public skepticism about women's memories of past harm. It concentrates primarily on writings associated with the False Memory Syndrome Foundation, founded in 1992 as a lobby for parents whose adult children have accused them of some abuse after a period of having not remembered it.

In this note the well-ordering principle for the derivative \ of normal functions \ on ordinals is shown to be equivalent to the existence of arbitrarily large countable coded \-models of the well-ordering principle for the function \.

This article argues that rapid eye movement (REM) dreaming is elaborative encoding for episodic memories. Elaborative encoding in REM can, at least partially, be understood through ancient art of memory (AAOM) principles: visualization, bizarre association, organization, narration, embodiment, and location. These principles render recent memories more distinctive through novel and meaningful association with emotionally salient, remote memories. The AAOM optimizes memory performance, suggesting that its principles may predict aspects of how episodic memory is configured in the brain. Integration and segregation (...) are fundamental organizing principles in the cerebral cortex. Episodic memory networks interconnect profusely within the cortex, creating omnidirectional “landmark” junctions. Memories may be integrated at junctions but segregated along connecting network paths that meet at junctions. Episodic junctions may be instantiated during non–rapid eye movement (NREM) sleep after hippocampal associational function during REM dreams. Hippocampal association involves relating, binding, and integrating episodic memories into a mnemonic compositional whole. This often bizarre, composite image has not been present to the senses; it is not “real” because it hyperassociates several memories. During REM sleep, on the phenomenological level, this composite image is experienced as a dream scene. A dream scene may be instantiated as omnidirectional neocortical junction and retained by the hippocampus as an index. On episodic memory retrieval, an external stimulus (or an internal representation) is matched by the hippocampus against its indices. One or more indices then reference the relevant neocortical junctions from which episodic memories can be retrieved. Episodic junctions reach a processing (rather than conscious) level during normal wake to enable retrieval. If this hypothesis is correct, the stuff of dreams is the stuff of memory. (shrink)

This study links corporate reputation, as measured byFortune magazine's Most Admired list, with firm financial performance. Seven measures of financial risk and return were collected for a sample of 149 firms from two time periods, 1981 and 1986. The mean score of four attributes from the 1993Fortune Most Admired list for the sample was then analyzed with the financial data through regression analysis. Two financial variables, Standard Deviation of the Market Return of the Firm and Return on Sales, explained between (...) 0.12 and 0.14 of subsequent reputation. The implication for management is that they can affect a firm's subsequent reputation by lowering financial risk and controlling costs. (shrink)

In this paper, we prove the wellfoundedness of recursive notation systems for reflecting ordinals up to Π₃-reflection by relevant inductive definitions.

Tracing the impact of the 'memory wars' on science and culture, Relational Remembering offers a vigorous philosophical challenge to the contemporary skepticism about memory that is their legacy. Campbell's work provides a close conceptual analysis of the strategies used to challenge women's memories, particularly those meant to provoke a general social alarm about suggestibility. Sue Campbell argues that we cannot come to an adequate understanding of the nature and value of memory through a distorted view of rememberers. The harmful stereotypes (...) of women's passivity and instability that have repopulated discussions of abuse have led many theorists to regard the social dimensions of remembering only negatively, as a threat or contaminant to memory integrity. Such models of memory cannot help us grasp the nature of harms linked to oppression, as these models imply that changed group understandings of the past are incompatible with the integrity of personal memory. Campbell uses the false memory debates to defend a feminist reconceptualization of personal memory as relational, social, and subject to politics. Memory is analyzed as a complex of cognitive abilities and social/narrative activities where one's success or failure as a rememberer is both affected by one's social location and has profound ramifications for one's cultural status as a moral agent. (shrink)

Many theorists of the ‘political turn’ in animal rights theory emphasize the need for animals’ interests to be considered in political decision-making processes, but deny that this requires self-representation and participation by animals themselves. I argue that participation by domesticated animals in co-authoring our shared world is indeed required, and explore two ways to proceed: 1) by enabling animal voice within the existing geography of human-animal roles and relationships; and 2) by freeing animals into a revitalized public commons where citizens (...) encounter one another in spontaneous, unpredictable encounters in spaces that they can re-shape together. (shrink)

The Philosophy for Children in Schools Project is an ongoing research project to explore the impact of philosophy for children on classroom practice. This paper reports on the responses of head teachers, teachers and local educational authority officers in South Wales, UK, to the initial training programme in Philosophy for Children carried out by the University School of Education. Achieving change in schools through the embedding of new practices is an important challenge for head teachers. Interviews and qualitative questionnaires were (...) used to explore perceptions of and attitudes towards the dialogic practice of P4C and the related challenges for school leaders. The results provide an insight into how head teachers planned to embed the new practice of P4C in their schools. Results from the interviews and questionnaires have been subject to iterative analysis and categories derived under which to discuss the findings. There are many similarities in the ways in which different head teachers go about planning change n their schools as well as differences. The results provide insight into the role of initial continuing professional development in school development and the processes by which individual heads plan to embed change in practice across the whole school. (shrink)

In an increasingly complex military operating environment, next generation wargaming platforms can reduce risk, decrease operating costs, and improve overall outcomes. Novel Artificial Intelligence enabled wargaming approaches, based on software platforms with multimodal interaction and visualization capacity, are essential to provide the decision-making flexibility and adaptability required to meet current and emerging realities of warfighting. We highlight three areas of development for future warfighter-machine interfaces: AI-directed decisional guidance, computationally informed decision-making, and realistic representations of decision spaces. Progress in these areas (...) will enable development of effective human-AI collaborative decision-making, to meet the increasing scale and complexity of today’s battlespace. (shrink)

In this paper we introduce a recursive notation system O(Π 3 ) of ordinals. An element of the notation system is called an ordinal diagram. The system is designed for proof theoretic study of theories of Π 3 -reflection. We show that for each $\alpha in O(Π 3 ) a set theory KP Π 3 for Π 3 -reflection proves that the initial segment of O(Π 3 ) determined by α is a well ordering. Proof theoretic study for such theories (...) will be reported in [4]. (shrink)

This article describes the ethical conflicts that a sample of US nurse utilization reviewers faced in their work, and also each nurse’s self-reported ethical orientation that was used to resolve the dilemmas. Data were collected from a sample of 97 registered nurses who were working at least 20 hours per week as utilization reviewers. Respondents were recruited from three managed care organizations that conduct utilization reviews in a large midwestern city. A cross-sectional survey design was used to collect demographic data (...) and to ask closed-response, short-answer and open-ended questions. Ethical conflicts reported by nurses were similar across utilization review settings and many were justice orientated. Self-reported ethical orientations were similar across organizations, with beneficence dominating. Implications of these findings are discussed. (shrink)

In this paper we introduce a recursive notation system $O(\mu)$ of ordinals. An element of the notation system is called an ordinal diagram following G. Takeuti [25]. The system is designed for proof theoretic study of theories of recursively Mahlo universes. We show that for each $\alpha<\Omega$ in $O(\mu)$ KPM proves that the initial segment of $O(\mu)$ determined by $\alpha$ is a well ordering. Proof theoretic study for such theories will be reported in [9].

We show that the existence of a weakly compact cardinal over the Zermelo–Fraenkel's set theory ZF is proof-theoretically reducible to iterations of Mostowski collapsings and Mahlo operations.

The purpose of this paper is to introduce and define self psychology and its concepts so that they can be applied toward a new understanding of the human-nonhuman animal bond. The paper utilizes selected literature from both self psychology and the human-animal bond fields. The paper contains four primary conclusions: 1. Self psychology provides a unique model for understanding the depth and meaning of human-animal relationships; 2. Companion animals and humans can be equally important in their selfobject roles; 3. Self (...) psychology can offer a model for understanding individual differences in attachment to companion animals; and 4. A future direction includes finding ways to assess self psychology constructs in order to measure the depth and function of the selfobject relationship. (shrink)

We show that the consistency of the first order arithmetic $PA$ follows from the pointwise induction up to the Howard ordinal. Our proof differs from U. Schmerl [Sc]: We do not need Girard's Hierarchy Comparison Theorem. A modification on the ordinal assignment to proofs by Gentzen and Takeuti [T] is made so that one step reduction on proofs exactly corresponds to the stepping down $\alpha\mapsto\alpha [1]$ in ordinals. Also a generalization to theories $ID_q$ of finitely iterated inductive definitions is proved.