The "Artificial Mathematician" Objection: Exploring the (Im)possibility of Automating Mathematical Understanding

Reuben Hersh confided to us that, about forty years ago, the late Paul Cohen predicted to him that at some unspecified point in the future, mathematicians would be replaced by computers. Rather than focus on computers replacing mathematicians, however, our aim is to consider the (im)possibility of human mathematicians being joined by “artificial mathematicians” in the proving practice—not just as a method of inquiry but as a fellow inquirer

Is a Dominant Service-Centric Sector Good for Diversity of Provision?

An obvious assumption underpinning the immense interest in service-oriented computing is that it is an inherently Good Thing, by which we mean that robust processes and tools for developing service-based systems will bring benefits for service providers and service consumers. The arguments, in terms of consumer choice and flexibility, are certainly quite convincing. However, in this position paper, we question the nature of the underlying assumption, in a world where requirements are as many and varied as potential users and ask if safeguards are needed to ensure that diversity of provision is maintained

AI Dining Suggestion App

Trying to decide what to eat can sometimes be challenging and time-consuming for people. Google and Yelp have large scale data sets of restaurant information as well as Application Program Interfaces (APIs) for using them. This restaurant data includes time, price range, traffic, temperature, etc. The goal of this project is to build an app that eases the process of finding a restaurant to eat. This app has a Tinder-like user friendly User Interface (UI) design to change the common way that lists of restaurants are presented to users on mobile apps. It also uses the help of Artificial Intelligence (AI) with neural networks to train both supervised and unsupervised learning models that can learn from one\u27s dining pattern over time to make better suggestions at any time

Using simulations and artificial life algorithms to grow elements of construction

'In nature, shape is cheaper than material', that is a common truth for most of the plants and other living organisms, even though they may not recognize that. In all living forms, shape is more or less directly linked to the influence of force, that was acting upon the organism during its growth. Trees and bones concentrate their material where thy need strength and stiffness, locating the tissue in desired places through the process of self-organization. We can study nature to find solutions to design problems. That’s where inspiration comes from, so we pick a solution already spotted somewhere in the organic world, that closely resembles our design problem, and use it in constructive way. First, examining it, disassembling, sorting out conclusions and ideas discovered, then performing an act of 'reverse engineering' and putting it all together again, in a way that suits our design needs. Very simple ideas copied from nature, produce complexity and exhibit self-organization capabilities, when applied in bigger scale and number. Computer algorithms of simulated artificial life help us to capture them, understand well and use where needed. This investigation is going to follow the question : How can we use methods seen in nature to simulate growth of construction elements? Different ways of extracting ideas from world of biology will be presented, then several techniques of simulated emergence will be demonstrated. Specific focus will be put on topics of computational modelling of natural phenomena, and differences in developmental and non-developmental techniques. Resulting 3D models will be shown and explained

What Does this Device Do?

Postprin

Post-modernism's use and abuse of Nietzsche

I focus on Nietzsche's architectural metaphor of self-construction in arguing for the claim that postmodern readings of Nietzsche misunderstand his various attacks on dogmatic philosophy as paving the way for acceptance of a self characterized by fundamental disunity. Nietzsche's attack on essentialist dogmatic metaphysics is a call to engage in a purposive self-creation under a unifying will, a will that possesses the strength to reinterpret history as a pathway to "the problem that we are". Nietzsche agrees with the postmodernists that unity is not a pre-given, however he would disavow their rejection of unity as a goal. Where the postmodernists celebrate "the death of the subject" Nietzsche rejects this valorization of disunity as a form of Nihilism and prescribes the creation of a genuine unified subjectivity to those few capable of such a goal. Postmodernists are nearer Nietzsche's idea of the Last Man than his idea of the Overman.Articl

Visualizations for an Explainable Planning Agent

In this paper, we report on the visualization capabilities of an Explainable AI Planning (XAIP) agent that can support human in the loop decision making. Imposing transparency and explainability requirements on such agents is especially important in order to establish trust and common ground with the end-to-end automated planning system. Visualizing the agent's internal decision-making processes is a crucial step towards achieving this. This may include externalizing the "brain" of the agent -- starting from its sensory inputs, to progressively higher order decisions made by it in order to drive its planning components. We also show how the planner can bootstrap on the latest techniques in explainable planning to cast plan visualization as a plan explanation problem, and thus provide concise model-based visualization of its plans. We demonstrate these functionalities in the context of the automated planning components of a smart assistant in an instrumented meeting space.Comment: PREVIOUSLY Mr. Jones -- Towards a Proactive Smart Room Orchestrator (appeared in AAAI 2017 Fall Symposium on Human-Agent Groups