Problem Solving
Scientific DataLink's Artificial Intelligence Classification Scheme
About a year ago. I was approached by Phoebe Huang of Comtex Scientific Corporation who hoped that I would help devise a dramatically expanded index for topics in AI to aid Comtex in indexing the series of AI memos and reports that they had been gathering. Comtex had tried to get the ACM to expand and update its classification. But was told that ACM had just revised the listing two years ago or so ago, and did not intend to revise it again for a while: even if they did. The revision might require a year or more to complete. Comtex wanted the new classification within six to eight weeks. I agreed to take on the task, thinking it wouldn't be too hard. The major decision I had to make was whether to use the existing ACM index scheme and add to it, or start with a fresh sheet of paper and devise my own. I decided to stick with ACM's top two levels, only adding, not modifying, major headings.
Toward Better Models of the Design Process
What are the powerful new ideas in knowledge based design? What important research issues require further investigation? Perhaps the key research problem in AI-based design for the 1980's is to develop better models of the design process. A comprehensive model of design should address the following aspects of the design process:the state of the design ; the goal structure of the design process;design decisions; rationales for design decisions; control of the design process; and the role of learning in design. This article presents some of the most important ideas emerging from current AI research on design especially ideas for better models design. It is organized into sections dealing with each of the aspects of design listed above.
Knowledge Representation in Sanskrit and Artificial Intelligence
In the past twenty years, much time, effort, and money has been expended on designing an unambiguous representation of natural language to make them accessible to computer processing, These efforts have centered around creating schemata designed to parallel logical relations with relations expressed by the syntax and semantics of natural languages, which are clearly cumbersome and ambiguous in their function as vehicles for the transmission of logical data. Understandably, there is a widespread belief that natural languages are unsuitable for the transmission of many ideas that artificial languages can render with great precision and mathematical rigor. But this dichotomy, which has served as a premise underlying much work in the areas of linguistics and artificial intelligence, is a false one. There is at least one language, Sanskrit, which for the duration of almost 1000 years was a living spoken language with a considerable literature of its own. Besides works of literary value, there was a long philosophical and grammatical tradition that has continued to exist with undiminished vigor until the present century. Among the accomplishments of the grammarians can be reckoned a method for paraphrasing Sanskrit in a manner that is identical not only in essence but in form with current work in Artificial Intelligence. This article demonstrates that a natural language can serve as an artificial language also, and that much work in AI has been reinventing a wheel millenia old. First, a typical Knowledge Representation Scheme (using Semantic Nets) will be laid out, followed by an outline of the method used by the ancient Indian grammarians to analyze sentences unambiguously. Finally, the clear parallelism between the two will be demonstrated, and the theoretical implications of this equivalence will be given.
An Overview of the KL-ONE Knowledge Representation System
Brachman, R. J. | Schmolze, J. G.
KL-ONE is a system for representing knowledge in Artificial Intelligence programs. It has been developed and refined over a long period and has been used in both basic research and implemented knowledge-based systems in a number of places in the AI community. Here we present the kernel ideas of KL-ONE, emphasizing its ability to form complex structured descriptions. In addition to detailing all of KL-ONE's description-forming structures, we discuss a bit of the philosophy underlying the system, highlight notions of taxonomy and classification that are central to it, and include an extended example of the use of KL-ONE and its classifier in a recognition task. This research was supported in part by the Defense Advanced Research Projects Agency under Contract N00014-77-C-0378. Views and conclusions contained in this paper are the authors' and should not be interpreted as representing the official opinion or policy of DARPA, the U.S. Government, or any person or agency connected with them.
Reasoning about preference models
Programs that make decisions need mechanisms for representing and reasoning about the desirability of the possible consequences of their choices. This work is an exploration of preference models based on utility theory. The framework presented is distinguished by a qualitative view of preferences and a knowledge-based approach to the application of utility theory. The design for a comprehensive preference modeler is implemented in part by the U tility R easoning P ackage (URP), a collection of facilities for constructing and analyzing preference models. Qualitative mathematical reasoning techniques are employed to develop partial specifications of single-attribute utility functions from qualitative preference assertions.
The Professor's Challenge
The AI field needs major breakthroughs in its thinking to achieve continuous, sensory-gathered, machine learning from the environment on unlimited subjects. The way motivate such dramatic progress is to articulate and endorse research goals for machine behavior so ambitious that limited-domain, problemsolving knowledge representation methods are disqualified at the outset, thus forcing ourselves to produce valuable new "thoughtware." After exploring why the tendency to associate intelligence with problem-solving may be a mental roadblock to further progress in AI science, some preliminary thinking tools are introduced more suitable for sensory learning machine research. These include lifelong sensorimotor data streams, representation as a symbolic recording process, knowledge transmission, and the totality of knowledge.
The Professor's Challenge
The AI field needs major breakthroughs in its thinking to achieve continuous, sensory-gathered, machine learning from the environment on unlimited subjects. The way motivate such dramatic progress is to articulate and endorse research goals for machine behavior so ambitious that limited-domain, problemsolving knowledge representation methods are disqualified at the outset, thus forcing ourselves to produce valuable new "thoughtware." After exploring why the tendency to associate intelligence with problem-solving may be a mental roadblock to further progress in AI science, some preliminary thinking tools are introduced more suitable for sensory learning machine research. These include lifelong sensorimotor data streams, representation as a symbolic recording process, knowledge transmission, and the totality of knowledge.