There are few sartorial ensembles as heavily signified as masculine as a suit. This article focuses on the suit within queer fashion digital cultures and spaces to explore how butch of colour digital fashion suits up to offer us different ways to think about masculinity. Intervening in the erasure of women of colour in histories of fashion – including menswear – and histories of sexuality – butch, dapper, tomboy, dandy – I argue that butch digital fashion works as a site (...) and composition of flesh, fabric and feeling that reworks masculinity as a project of embodiment. I look at three interwoven dimensions of butch digital fashion – aesthetic process, texture as feeling and spatial imaginations – attending to the themes of fantasy, desire and pleasure. I situate butch within and between fashion studies and media studies to offer butch as a relation, practice, orientation and site of embodiment to think about being and becoming, about the body politics of space and feeling, as matters of race, sexuality, class and gender – and the materialities of race, sexuality, class and gender, mediated by the global, and as the global by the digital. Digital butch fashion is, at once, a visual culture, a creative visual space, a resource of queer fantasy and an aesthetic process. It is messy, tense and fraught with the politics of race, colonialism and class, yet at the same time, dense with possibility, pleasure and eroticism. Butch of colour fashion offers frames and forms for rethinking and remaking masculinity as a sign of a body, as a category of personhood, as a set of practices and feelings made coherent by processes of embodiment. (shrink)

In multiple robot systems, the problem of allocation of complex tasks to heterogeneous teams of robots, also known as the multiple robot coalition formation problem, has begun to receive considerable attention. Efforts to address the problem range from heuristics based approaches that search the subspaces of the coalition structure to evolutionary learning approaches. Conventional approaches typically strive to optimize a single objective function such as the number of tasks executed or the time required to execute all tasks, or a weighted (...) function of such objectives. In real world applications, objectives such as minimizing distance traveled and maximizing the number of tasks completed are often conflicting in nature. The coalition formation problem thus naturally lends itself to a multi-objective optimization approach based on evolutionary learning. In this paper, we formulate the problem of mapping coalitions of robots to a set of tasks as a multi-objective optimization problem and propose a variant of non-dominated sorting genetic algorithm to arrive at trade-off solutions. Additionally, we extend the solution to domains where robot resources are non-additive. Simulations demonstrate the efficacy of the proposed approach in generating the set of Pareto-optimal solutions. (shrink)

The vision of machines autonomously carrying out substantive conjecture generation, theorem discovery, proof discovery, and proof verification in mathematics and the natural sciences has a long history that reaches back before the development of automatic systems designed for such processes. While there has been considerable progress in proof verification in the formal sciences, for instance the Mizar project’ and the four-color theorem, now machine verified, there has been scant such work carried out in the realm of the natural sciences—until recently. (...) The delay in the case of the natural sciences can be attributed to both a lack of formal analysis of the so-called “theories” in such sciences, and the lack of sufficient progress in automated theorem proving. While the lack of analysis is probably due to an inclination toward informality and empiricism on the part of nearly all of the relevant scientists, the lack of progress is to be expected, given the computational hardness of automated theorem proving; after all, theoremhood in even first-order logic is Turing-undecidable. We give in the present short paper a compressed report on our building upon these formal theories using logic-based AI in order to achieve, in relativity, both machine proof discovery and proof verification, for theorems previously established by humans. Our report is intended to serve as a springboard to machine-produced results in the future that have not been obtained by humans. (shrink)

The doctrine of double effect is an ethical principle that can account for human judgment in moral dilemmas: situations in which all available options have large good and bad consequences. We have previously formalized \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {{DDE}}$$\end{document} in a computational logic that can be implemented in robots. \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {{DDE}}$$\end{document}, as an ethical principle for robots, is attractive for a number of reasons: Empirical studies (...) have found that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {{DDE}}$$\end{document} is used by untrained humans; many legal systems use \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {{DDE}}$$\end{document}; and finally, the doctrine is a hybrid of the two major opposing families of ethical theories. In spite of all its attractive features, we have found that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {{DDE}}$$\end{document} does not fully account for human behavior in many ethically challenging situations. Specifically, standard \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {{DDE}}$$\end{document} fails in situations wherein humans have the option of self-sacrifice. Accordingly, we present an enhancement of our \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {{DDE}}$$\end{document}-formalism to handle self-sacrifice; we end by looking ahead to future work. (shrink)

Dans le présent article, nous examinons la façon dont la coutume et le droit coutumier ont été construits par les juristes britanniques durant l’époque colonial en Inde à la fin du xviiie et aux xixe siècles. À travers l’explication de la transmission juridique, nous analysons les arguments théoriques employés par John Austin et Sumner Maine dans leur définition du droit en tant que « commandement du souverain ». Tout en décrivant les tentatives administratives coloniales de codification des droits coutumiers dans (...) le sous-continent indien, nous argumentons que deux voies de pensée ont dominé dans ce processus. D’un côté, la codification était conçue dans la tradition du droit civil au xviiie siècle par la création des « digestes » des traités juridiques hindoues et musulmanes. De l’autre côté, la position dominante au xixe siècle a accentué la codification des pratiques coutumières existantes dérivées des études anthropologiques et des enquêtes réalisées dans les régions conquises par les Britanniques tels que le Pendjab. Quoi qu’il en soit, nous évaluons les aspects épistémologiques intrinsèques au discours colonial, qui ont été soutenus par une conception particulière de la souveraineté prémoderne en Inde. Ces idées du droit coutumier se sont élaborées non seulement à travers la logique du discours colonial mais aussi dans le cadre plus large de la science du droit et de l’autorité politique impliquées dans les débats européens au xixe siècle sur la codification du droit. (shrink)

This book is about the philosophy or nature of aesthetic values and beauty.

(1997). “Emergence, a domain where distinction between conception in matter and mind, and arts and sciences, are meaningless”. World Futures: Vol. 51, No. 1-2, pp. 27-46.

Khemlani et al. (2018) mischaracterize logic in the course of seeking to show that mental model theory (MMT) can accommodate a form of inference (, let us label it) they find in a high percentage of their subjects. We reveal their mischaracterization and, in so doing, lay a landscape for future modeling by cognitive scientists who may wonder whether human reasoning is consistent with, or perhaps even capturable by, reasoning in a logic or family thereof. Along the way, we note (...) that the properties touted by Khemlani et al. as innovative aspects of MMT‐based modeling (e.g., nonmonotonicity) have for decades been, in logic, acknowledged and rigorously specified by families of (implemented) logics. Khemlani et al. (2018) further declare that is “invalid in any modal logic.” We demonstrate this to be false by our introduction (Appendix A) of a new propositional modal logic (within a family of such logics) in which is provably valid, and by the implementation of this logic. A second appendix, B, partially answers the two‐part question, “What is a formal logic, and what is it for one to capture empirical phenomena?”. (shrink)

This chapter argues that existing systems on the Web cannot approach human‐level intelligence, as envisioned by Descartes, without being able to achieve genuine problem solving on unseen problems. The chapter argues that this entails committing to a strong intensional logic. In addition to revising extant arguments in favor of intensional systems, it presents a novel mathematical argument to show why extensional systems can never hope to capture the inherent complexity of natural language. The argument makes its case by focusing on (...) representing, with increasing degrees of complexity, knowledge in a first‐order language. Nevertheless, the attempts at representation fail to achieve consistency, making the case for an intensional representation system for natural language clear. (shrink)

This article argues that existing systems on the Web cannot approach human-level intelligence, as envisioned by Descartes, without being able to achieve genuine problem solving on unseen problems. The article argues that this entails committing to a strong intensional logic. In addition to revising extant arguments in favor of intensional systems, it presents a novel mathematical argument to show why extensional systems can never hope to capture the inherent complexity of natural language. The argument makes its case by focusing on (...) representing, with increasing degrees of complexity, knowledge in a first-order language. Nevertheless, the attempts at representation fail to achieve consistency, making the case for an intensional representation system for natural language clear. (shrink)

This article argues that existing systems on the Web cannot approach human‐level intelligence, as envisioned by Descartes, without being able to achieve genuine problem solving on unseen problems. The article argues that this entails committing to a strong intensional logic. In addition to revising extant arguments in favor of intensional systems, it presents a novel mathematical argument to show why extensional systems can never hope to capture the inherent complexity of natural language. The argument makes its case by focusing on (...) representing, with increasing degrees of complexity, knowledge in a first‐order language. Nevertheless, the attempts at representation fail to achieve consistency, making the case for an intensional representation system for natural language clear. (shrink)

In order to employ and exhibit our Simon-inspired approach to computational economics, and specifically defend our version of the view that even logically untrained humans are rational, albeit no more than “boundedly” so, we provide two models, both rooted in computational logic, of how it is that logically untrained humans perform in a seemingly irrational fashion in a particular “deviant” auction (the bi-pay auction).

It is widely held that children’s linguistic input underdetermines the correct grammar, and that language learning must therefore be guided by innate linguistic constraints. Here, we show that a Bayesian model can learn a standard poverty‐of‐stimulus example, anaphoric one, from realistic input by relying on indirect evidence, without a linguistic constraint assumed to be necessary. Our demonstration does, however, assume other linguistic knowledge; thus, we reduce the problem of learning anaphoric one to that of learning this other knowledge. We discuss (...) whether this other knowledge may itself be acquired without linguistic constraints. (shrink)

This book highlights some of the most pressing safety, ethical, legal and societal issues related to the diverse contexts in which robotic technologies apply. Focusing on the essential concept of well-being, it addresses topics that are fundamental not only for research, but also for industry and end-users, discussing the challenges in a wide variety of applications, including domestic robots, autonomous manufacturing, personal care robots and drones.

Social networks play a significant role in learning and thus in farmers’ adoption of new agricultural technologies. This study examined the effects of social network factors on information acquisition and adoption of new seed varieties among groundnut farmers in Uganda and Kenya. The data were generated through face-to-face interviews from a random sample of 461 farmers, 232 in Uganda and 229 in Kenya. To assess these effects two alternative econometric models were used: a seemingly unrelated bivariate probit model and a (...) recursive bivariate probit model. The statistical evaluation of the SUBP shows that information acquisition and adoption decisions are interrelated while tests for the RBP do not support this latter model. Therefore, the analysis is based on the results obtained from the SUBP. These results reveal that social network factors, particularly weak ties with external support, partially influence information acquisition, but do not influence adoption. In Uganda, external support, gender, farm size, and geographic location have an impact on information acquisition. In Kenya, external support and geographic location also have an impact on information acquisition. With regard to adoption, gender, household size, and geographic location play the most important roles for Ugandan farmers, while in Kenya information from external sources, education, and farm size affect adoption choice. The study provides insight on the importance of external weak ties in groundnut farming, and a need to understand regional differences along gender lines while developing agricultural strategies. This study further illustrates the importance of farmer participation in applied technology research and the impact of social interactions among farmers and external agents. (shrink)

A well-ingrained and recommended engineering practice in safety-critical software systems is to separate safety concerns from other aspects of the system. Along these lines, there have been calls for operating systems that implement ethical controls in an ethical layer separate from, and not amenable to tampering by, developers and modules in higher-level intelligence or cognition layers. There have been no implementations that demonstrate such a marshalling of ethical principles into an ethical layer. To address this, we present three different tracks (...) for implementing such systems, and offer a prototype implementation of the third track. We end by addressing objections to our approach. (shrink)