|
 ABSTRACT
Improving the semantic level of the information handling provided by personal computers is likely to be a way both to use the increasing hardware capacities of these machines and to improve their economic impact. While this goal is widely recognized as abstractly desirable, it has not been clear how to accomplish it. This paper presents a design for organizing resources that are presently available, or that soon will be, to obtain systems that should provide significantly improved aids to understanding in fields where there is a substantial base of empirically verified information that involves nonnumeric relationships. Laboratory sciences appear to provide the fields with the greatest scope for such development at present, but there may also be opportunities to use such systems in investment and entrepreneurship. The resources to be assembled include frame-oriented databases and their associated ontological engineering organizations, high-bandwidth digital communications networks, microprocessor systems for vectorized numerical processing and object-oriented processing, larger units for these same purposes, high-capacity storage media, and network management software to coordinate the use of special hardware resources. The role of the personal computer in such a system will be as a combination of a vehicle for navigation through the information structures thus provided and as a node where information received over networks will be integrated with locally produced data. There have been many previous papers about topics related to those in this paper, but the focus of the present discussion is on integrating diverse information to outline the characteristics of the new systems, the prospect of successful development based on sound mathematical principles, and the specificity of the concept for important new fields of application.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
'~rhe Business Cycle Gets a Puncture," The Economist, 312, 7614 (August 5, 1989), p. 63.
|
| |
2
|
|
| |
3
|
Brachman, Ronald J., Victoria Pitman Gilbert, and Hector J. Levesque, "An Essential Hybrid Reasoning System' Knowledge and Symbol Level Accounts of KRYPTON," IJCAI-85 Proceedings, Los Altos, California: Morgan Kaufmann Pubishers, 1985, p. 532.
|
| |
4
|
Cohen, Charles E., "A Nuclear Gambler and his Electrifying Payoff," Money, 18, 7 (July, 1989), p. 61.
|
| |
5
|
Gardner, Howard, The Mind's New Science, New York: Basic Books, 1985.
|
 |
6
|
|
| |
7
|
Gray, John W., "The Category of Sketches as a Model for Algebraic Semantics," Categories in Computer Science and Logic, John W. Gray and Andre Scedrov, eds., Providence: American Mathematical Society, 1989, p. 109.
|
| |
8
|
Greiner, Russell, and Douglas B. Lenat, "A Representation Language Language" in AAAI-80 Proceedings, Los Altos, California: Morgan Kaufmann Publishers, 1980, p. 165.
|
| |
9
|
Guillemin, Victor, and Shlomo Sternberg, Symplectic Methods in Physics, Cambridge: Cambridge University Press, 1984.
|
| |
10
|
ttalpern, Joseph Y., and Yoram Moses, "A Guide to the Modal Logics of Knowledge and Belief: Prelirninary Draft," IJCAI-85 Proceedings, Los Altos, California: Morgan Kaufmann Publishers, 1985, p. 480.
|
| |
11
|
Hayes, Frank, "Intel's Cray-on-a-Chip," BYTE, 5 (M~y 19s9), p. 113.
|
| |
12
|
|
| |
13
|
Jones, Robert Alun, "Building a Hypermedia Laboratory," Academic Computing, 3, 2 (November, 1988), p. 24.
|
| |
14
|
Joyee, Michael, "Siren Shapes: Exploratory and Constructive Hypertexts," Academic Computing, 3, 2 (November, 1988), p. 10.
|
| |
15
|
Leibowitz, Michael, "Brain Trusts," OMNI, 10, 9 (June, 1988), p. 45.
|
| |
16
|
Lenat, Douglas B., "The Nature of Heuristics," ArtificiM Intelligence, 19, 2 (1982), p. 189.
|
| |
17
|
Lenat, Douglas B., "Theory Formation by Heuristic Search, The Nature of Heuristics II," Artificial Intelligence, 21, 1,2 (1983), p. 31.
|
| |
18
|
Lenat, Douglas B., "EURISKO: A Program That Learns New Heuristics and Domain Concepts, The Nature of Heuristics III," Artificial Intelligence, 21, 1,2 (1983), p. 61.
|
| |
19
|
|
| |
20
|
Lenat, Douglas B., Alan Borning, David McDonald, Craig Taylor, and Stephen Weyer, "Knoesphere: Building Expert Systems With Encyclopedic Knowledge," IJCAI-83 Proceedings, Los Altos, California: Morgan Kaufmann Publishers, 1983, p. 167.
|
| |
21
|
|
| |
22
|
Levesque, Hector, Computers and Thought Lecture, IJCAI, 1985
|
| |
23
|
|
| |
24
|
Marshall, Martin, "Intel 80586 to Contain 4 Million Transistors," Info World, 11, 35 (August 28, 1989), p.1.
|
| |
25
|
Office of Science and Technology Policy, "The Federal High Performance Computing Program," Computing Research News, 1, 3 (Fall, 1989), p. 12.
|
| |
26
|
|
| |
27
|
Reed, Mark, '~rhe Quantum Transistor," BYTE, 14, 5 (May 1989), p. 275,
|
| |
28
|
Strassman, Paul A., Information Payoff: The Transformation of'Work in the Electronic Age, The Free Press, 1985.
|
| |
29
|
Thurow, Lester C., review of Landau, Ralph, and Nathan Rosenberg, The Positive-Sum Strategy: Harnessing Technology for Economic Growth, in Scientific American, 255 3 (Sept. 1986), p. 29.
|
| |
30
|
Zamfir, Maria A., personal communication at Kansas State University, May 1988.
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf
H.2