Computer Sciences Commons^™

Learning To See Analogies: A Connectionist Exploration, Douglas S. Blank

Computer Science Faculty Research and Scholarship

The goal of this dissertation is to integrate learning and analogy-making. Although learning and analogy-making both have long histories as active areas of research in cognitive science, not enough attention has been given to the ways in which they may interact. To that end, this project focuses on developing a computer program, called Analogator, that learns to make analogies by seeing examples of many different analogy problems and their solutions. That is, it learns to make analogies by analogy. This approach stands in contrast to most existing computational models of analogy in which particular analogical mechanisms are assumed a priori …

Simulation Study Of Learning Automata Games In Automated Highway Systems, Cem Unsal, Pushkin Kachroo, John S. Bay

Electrical & Computer Engineering Faculty Research

One of the most important issues in Automated Highway System (AHS) deployment is intelligent vehicle control. While the technology to safely maneuver vehicles exists, the problem of making intelligent decisions to improve a single vehicle’s travel time and safety while optimizing the overall traffic flow is still a stumbling block. We propose an artificial intelligence technique called stochastic learning automata to design an intelligent vehicle path controller. Using the information obtained by on-board sensors and local communication modules, two automata are capable of learning the best possible (lateral and longitudinal) actions to avoid collisions. This learning method is capable of …

Development Of A Standard Set Of Indicators And Metrics For Artificial Intelligence (Ai) And Expert System (Es) Software Development Efforts, Derek F. Cossey

Theses and Dissertations

The purpose of this research was to identify a standard set of indicators and metrics that can be used by program managers to improve their abilities to direct development efforts involving Artificial Intelligence (AI) and Expert Systems (ES). This research addresses two objectives. The first objective is to identify an appropriate set of software indicators and metrics to be used by government program offices for the management of development efforts involving software systems for AI and ES. The second objective is to demonstrate how the resources of the National Software Data and Information Repository (NSDIR) can be used in order …

An Integrated Framework For Learning And Reasoning, Christophe G. Giraud-Carrier, Tony R. Martinez

Faculty Publications

Learning and reasoning are both aspects of what is considered to be intelligence. Their studies within AI have been separated historically, learning being the topic of machine learning and neural networks, and reasoning falling under classical (or symbolic) AI. However, learning and reasoning are in many ways interdependent. This paper discusses the nature of some of these interdependencies and proposes a general framework called FLARE, that combines inductive learning using prior knowledge together with reasoning in a propositional setting. Several examples that test the framework are presented, including classical induction, many important reasoning protocols and two simple expert systems.

Interview: Brenda Laurel, Jason Challas

SWITCH

This interview with Brenda Laurel, Virtual Reality (VR) author and thinker, discusses the applications and challenges of VR. Creating an emphatic experience using VR technology is possible, but the challenge lies in designing an environment that models the senses to stimulate emotions. VR enables experiences of different genders, but physiological differences between the sexes exist and are important to understand. However, technology used to create the environment and simulation of physical objects in VR is only in the developmental stage. Laurel believes in the importance of keeping the mind grounded in the physical body, in order to strengthen the appreciation …

Automated Manpower Rostering: Techniques And Experience, C. M. Khoong, Hoong Chuin Lau, L. W. Chew

Research Collection School Of Computing and Information Systems

We present ROMAN, a comprehensive, generic manpower rostering toolkit that successfully handles a wide spectrum of work policies found in service organizations. We review the use of various techniques and methodologies in the toolkit that contribute to its robustness and efficiency, and relate experience gained in addressing manpower rostering problems in industry.

Graphical Evolution Experiments In Artificial Life, Gary R. Greenfield

Department of Math & Statistics Technical Report Series

Larry Yaeger's alife simulation running on a Silicon Graphics Iris Workstation is called Poly World. Our description of PolyWorld is based on notes taken during an oral presentation and video demonstration given in the Artificial Life Panel Session of SIGGRAPH '92: In PolyWorld the visual organisms roam on a bounded two dimensional grid. The organisms "brains" are small neural nets enabling the organisms to control their external visual appearance and to perceive the external world by processing pixmaps. The simulation controls for total energy while striving to explore competition and self-organization. Genes present are for size, strength, maximum speed, mutation …

An Intelligent Real-Time System Architecture Implemented In Ada, Michael A. Whelan

Theses and Dissertations

Conventional real-time systems are fully deterministic allowing for off-line, optimal, task scheduling under all circumstances. Real-time intelligent systems add non-deterministic task execution times and non- deterministic task sets for scheduling purposes. Non-deterministic task sets force intelligent real-time systems to trade-off execution time with solution quality during run-time and perform dynamic task scheduling. Four basic design considerations addressing those tradeoffs have been identified: control reasoning, focus of attention, parallelism, and algorithm efficacy. Non-real- time intelligent systems contain an environment sensor, a model of the environment, a reasoning process, and a large collection of procedural processes. Real-time intelligent systems add to these …

Design Of An Artificial Neural Network Based Tactile Sensor For The Utah/Mit Dexterous Hand, Jeffery D. Nering

Theses and Dissertations

The Neural Tactile Sensor (NTS) is a high resolution, easily manufactured tactile sensor consisting of electrodes, a thin resistive 'skin', and pattern recognition circuitry that is capable of resolving dynamic and static contact location, force, and slip throughout the continuum of the sensor's active region. The sensor operates by means of a resistive 'skin' harboring the electric field generated when a current is injected into it, and a plurality of electrodes for taking measurements of said electric field. When current flows through the resistive medium from the location of tactile contact, an electric field within the resistive medium is established, …

Boolean Reasoning And Informed Search In The Minimization Of Logic Circuits, James J. Kainec

Theses and Dissertations

The minimization of logic circuits has been an important area of research for more than a half century. The approaches taken in this field, however, have for the most part been ad hoc. Boolean techniques have been employed to manipulate formulas, but not to perform symbolic reasoning. Boolean equations are employed principally as icons; they are never solved. The first objective of this dissertation is to apply Boolean reasoning systematically and uniformly to the minimization problem. Boolean reasoning entails the reduction of systems of Boolean equations to a single equation; the single equation is an abstraction, independent of the form …

Hardware-Verification Through Logic Extraction, Michael A. Dukes

Theses and Dissertations

A Prolog-based system is described which employs logic-extraction to perform hardware-verification. The extraction rules are built automatically from hierarchical structural VHDL models, enabling the equivalence of a structural VHDL description and a layout specification to be verified. Pin-to-pin critical- path analysis is performed within the logic-extraction process; many noncritical paths are pruned early, making pin-to-pin critical path analysis of large circuits feasible. It is demonstrated that a design methodology based on logic extraction, VHDL, and a layout tool can provide a fabricated functionally- correct IC design without circuit-level or switch-level simulation. This methodology is shown to be practical for VLSI …

Ilona: An Advanced Cai Tutorial System For The Fundamentals Of Logic, Otto Mayer, Graham E. Oberem, Fillia Makedon

Computer Science Technical Reports

An advanced tutorial system for teaching the fundamentals of logic has been developed to run on UNIX work stations and commonly available micro-computers. An important part of this tutorial is the intelligent problem solving environment which allows students to practise wiriting logical sentences in mathematical notation. A natural language system for intelligent logic narrative analysis (ILONA) allows students to type in their own logical sentences in plain English and then have the computer check their working when they write these in mathematical form. ILONA is an intelligent tutoring system which allows students a great deal of initiative in problem solving …

An Expert System Job Aid For Users Of The Automated Scheduling Module, Kevin A. Gore

Theses and Dissertations

This research developed an Expert System for novice aircraft maintenance schedulers (AFSC: 392XX) with little experience using the Automated Scheduling Module (ASM). First, an in-depth literature review was completed. Next, personal interviews were conducted with an ASM expert and other 392XX personnel. Prototypes using VP-Expert and KnowledgePro shells were created. The knowledgePro shell was selected to create the ASM Job Aid, combining the knowledge of the expert and AFM 66-279. The program was verified, validated, and favorably reviewed by 392XX personnel. Recommendations include: The Air Force Logistics Management Center (AFLMC) examine the ASM Job AId and develop a Performance Support …

Heuristics For Hospital Inventory Management, Thomas G. Hibson

Theses and Dissertations

This study investigated the reasoning strategies used by hospital logistics management experts and was conducted at the Wright-Patterson AFB (WPAFB) Medical Center. An expert system was developed to verify the captured strategies. The particular area of interest of this study was the reasoning strategies involved in the reconciliation of the Monthly Stock Status Report within the Medical Logistics Branch. A literature review revealed there were few guidelines as to when and what action to pursue when reconciling the Monthly Stock Status Report. Though there were no references in the literature on expert systems that dealt with this particular report, there …

A Philosophical Critique Of Artificial Intelligence, David Miller

Mahurin Honors College Capstone Experience/Thesis Projects

The term "Artificial Intelligence" creates fantastic images of robots and omniscient machines. Of all the technological pursuits, Artificial Intelligence best epitomizes man's thirst for technology. The science of making machines think stands at the apex of man's mission, reflecting not only his desire for control over his world but also his quest to control himself. To create a machine capable of thought -- rational life -- would mean that man would have achieved a dream as old as technology itself.

Computers And The Nature Of Man: A Historian's Perspective On Controversies About Artificial Intelligence, Judith V. Grabiner

Pitzer Faculty Publications and Research

The purpose of the present paper is to provide a historical perspective on recent controversies, from Turing's time on, about artificial intelligence, and to make clear that these are in fact controversies about the nature of man. First, I shall briefly review three recent controversies about artificial intelligence, controversies over whether computers can think and over whether people are no more than information-processing machines. These three controversies were each initiated by philosophers who, irrespective of what the programs of their time actually did, viewed with alarm the argument that if a machine can think, a thinking being is just a …

Artificial Intelligence: Myths And Realities, Hugo D'Alarcao

Bridgewater Review

Artificial intelligence the name conjures images of mechanical monsters, the Golem, Dr. Frankenstein’s creation and the rebellious computer Hal. We have always been fascinated by the possibility of creating a machine in our image, but this fascination is often accompanied by apprehension. We fear losing control of our creation and suspect that it might turn against us. It is this duality, this conflict between the desire to create and the fear of the consequences of the creation that has been so successfully exploited by writers. It is also, in part, this fascination that has recently brought the field of Artificial …

A Consciousness Simulation Model, R. Edward Mitchell Jr.

Theses

The thesis titled "A Consciousness Simulation Model" by R. Edward Mitchell (1977) explores the theoretical design of a digital model aimed at simulating human consciousness. The model is structured around a collection of independent processing modules that mimic various human cognitive and emotional processes. These modules include components for thought selection, ego/achievement, memory, and emotion processing, which interact with one another in a fashion that simulates aspects of human thought and behavior.

Mitchell's primary goal is to develop a system that could behave more like a human, particularly in communication and decision-making processes, to improve human-machine interaction. The thesis highlights …