Goto

Collaborating Authors

 Asia


The Fifth Generation: Japan's Computer Challenge to the World

Classics

In response to a world in which cancer is a growing global health challenge, there is now a greater need for US Medical Physicists and other Radiation Oncology professionals across institutions to work together and be more globally engaged in the fight against cancer. There are currently many opportunities for Medical Physicists to contribute to alleviating this pressing need, especially in helping enhance access to Medical Physics Education/training and Research Excellence across international boundaries, particularly for low and middle-income countries (LMIC), which suffer from a drastic shortage of accessible knowledge and quality training programs in radiotherapy. Many Medical Physicists aremore » not aware of the range of opportunities that even with small effort could have a high impact. Faculty at the two CAMPEP-accredited Medical Physics Programs in New England: the University of Massachusetts Lowell and Harvard Medical School have developed a growing alliance to increase Access to Medical Physics Education/training and Research Excellence (AMPERE), and facilitate greater active involvement of U.S. Medical Physicists in helping the global fight against cancer and cancer disparities. In this symposium, AMPERE Alliance members and partners from Europe and Africa will present and discuss the growing global cancer challenge, the dearth of knowledge, research, and other barriers to providing life-saving radiotherapy in LMIC, mechanisms for meeting these challenges, the different opportunities for participation by Medical Physicists, including students and residents, and how participation can be facilitated to increase AMPERE for global health.


Classification in the KL-ONE representation system

Classics

KL-ONE lets one define and use a class of descriptive terms called Concepts, where each Concept denotes a set of objects A subsumption relation between Concepts is defined which is related to set inclusion by way of a semantics for Concepts. This subsumption relation defines a partial order on Concepts, and KL-ONE organizes all Concepts into a taxonomy that reflects this partial order. Classification is a process that takes a new Concept and determines other Concepts that either subsume it or that it subsumes, thereby determining the location for the new Concept within a given taxonomy. We discuss these issues and demonstrate some uses of the classification algorithm. KL-ONE is a knowledge representation system developed at Bolt Beranek and Newman over the past few years (see [Brachman 77, Brachman 79, Schmolze 82. Sidner 81]), that grew out of semantic network formalisms. The primary unit of information in KL-ONE is called a Concept, which denotes a set of objects. A Concept has a set of (syntactic) components, each denoting a property that must be true of each member of the set denoted by the Concept.



A deductive model of belief

Classics

The first is to have an adequate model of the cognitive state of other agents. The second is to form plans under the constraint of resource limitations: i.e., an agent does not always have an infinite amount of time to sit and think of plans while the world changes under him; he must act. These two problems are obviously interlinked since, to have a realistic model of the cognitive states of other agents, who are presumably similar to himself, an agent must reason about the resource limitations they are subject to in reasoning about the world. In this paper we address both problems with reference to AI planning system robots and one part of their cognitive state, namely beliefs. Our goal is to pursue what might be called robot psychology: to construct a plausible model of robot beliefs by examining robots' internal representations of the world.


A View of the Fifth Generation and Its Impact

AI Magazine

I apologise for any mistakes or misinterpretations I may therefore have made. In October 1981,.Japan announced a national project to develop highly innovative computer systems for the 199Os, with the title "Fifth Generation Computer Systems " This paper is a personal view of that project, The fifth generation plan its significance, and reactions to it. In late 1978 the Japanese Ministry of International Trade THIS PAPER PRESENTS a personal view of the Japanese and Industry (MITI) gave ETL the task of defining a project Fifth Generation Computer Systems project.


An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System

AI Magazine

We describe a program for verifying that a set of rules in an expert system comprehensively spans the knowledge of a specialized domain. The program has been devised and tested within the context of the ONCOCIN System, a rule-based consultant for clinical oncology. The stylized format of ONCOIN's rule has allowed the automatic detection of a number of common errors as the knowledge base has been developed. This capability suggests a general mechanism for correcting many problems with knowledge base completeness and consistency before they can cause performance errors.


Learning from Solution Paths: An Approach to the Credit Assignment Problem

AI Magazine

In this article we discuss a method for learning useful conditions on the application of operators during heuristic search. Since learning is not attempted until a complete solution path has been found for a problem, credit for correct moves and blame for incorrect moves is easily assigned. We review four learning systems that have incorporated similar techniques to learn in the domains of algebra, symbolic integration, and puzzle-solving. We conclude that the basic approach of learning from solution paths can be applied to any situation in which problems can be solved by sequential search. Finally, we examine some potential difficulties that may arise in more complex domains, and suggest some possible extensions for dealing with them.


Artificial Intelligence Research at Rutgers

AI Magazine

Research by members of the Department of Computer Science at Rutgers, and by their collaborators, is organized within the Laboratory for Computer Science research(LCSR). AI and AI-related applications are the major area of research within LCSR, with about forty people-faculty, staff and graduate students-currently involved in various aspects of AI research.


Signal-to-Symbol Transformation: HASP/SIAP Case Study

AI Magazine

Artificial intelligence is that part of computer science that concerns itself with the concepts and methods of symbolic inference and symbolic representation of knowledge. Its point of departure -- it's most fundamental concept -- is what Newell and Simon called (in their Turing Award Lecture) "the physical symbol system." But within the last fifteen years, it has concerned itself also with signals -- with the interpretation or understanding of signal data. AI researchers have discussed "signal-to symbol transformations," and their programs have shown how appropriate use of symbolic manipulations can be of great use in making signal processing more effective and efficient. Indeed, the programs for signal understanding have been fruitful, powerful, and among the most widely recognized of AI's achievements.


Generalization as Search

Classics

"The purpose of this paper is to compare various approaches to generalization in terms of a single framework. Toward this end, generalization is cast as a search problem, and alternative methods for generalization are characterized in terms of the search strategies that they employ. This characterization uncovers similarities among approaches, and leads to a comparison of relative capabilities and computational complexities of alternative approaches. The characterization allows a precise comparison of systems that utilize different representations for learned generalizations."Artificial Intelligence, 18 (2), 203-26.