Nothing Special   »   [go: up one dir, main page]

skip to main content
article
Free access

Cyc: toward programs with common sense

Published: 01 August 1990 Publication History

Abstract

Cyc is a bold attempt to assemble a massive knowledge base (on the order of 108 axioms) spanning human consensus knowledge. This article examines the need for such an undertaking and reviews the authos' efforts over the past five years to begin its construction. The methodology and history of the project are briefly discussed, followed by a more developed treatment of the current state of the representation language used (epistemological level), techniques for efficient inferencing and default reasoning (heuristic level), and the content and organization of the knowledge base.

References

[1]
Allen, j. Maintaining knowledge about temporal intervals. In Readings In Knowledge Representation, H. Levesque and R. Brachman, Eds., Morgan lxauimann, 1.os /'~LLO~, k.,/'~, /~oo.
[2]
Barnett, J., Knight, K., Mani, I. and Rich, E. Knowledge and natural language processing. Tech. Rep. AGT-NL-!04-90, MCG, March 1990 (Also appears in this issue of CACM).
[3]
Bobrow, D.G. and Winograd, T An overview ofkrl, a knowledge representation language. In Readings In Knowledge Representat/0n, H. Levesque and R. Brachman, Eds., Morgan Kaufmann, Los Altos, CA, 1986.
[4]
Bledsoe, W:W. Non-resolution meorem . proving. In Readings In Artificial Intelligence, B.L. Webber and NJ. Nilsson, Eds., Morgan Kaufmann, l~o.q Alto.% CA, 1981.
[5]
Brachman, R.J., Fikes, R.E. and Levesque, H.J. Krypton: A functional approach to knowledge representation. In Readings In Knowledge Representation, H. Levesque and R. Brachman, Eds., Morgan Kaufmann, Los Altos, CA, 1986.
[6]
CorbeU,.j.-G. The VisuaIDicdona~7. Facts on File, New York, 1987.
[7]
Davis, R. and Buchanan, B.G. Meta-level knowledge: Ove_._rview and applications. In Readings In Knowledge Representat/on, H. Levesque and R. Brachman, Eds., Morgan Kaufmann, Los Altos, CA, 1986.
[8]
Derthick, M. An epistemological level interface for cyc. Tech. Rep. ACT-CYC-084-90, MGG, February 1990.
[9]
Doyle, j. A truth maintenance system. In Readings In Nonmonotonic Reasoning, M. Oinsberg, Ed., Morgan Kaufmann, Los Altos, CA, !987:
[10]
Forbus, K. Qualitative physics: Past, present and futu re. In Exploring Artificial Intelligence, H. Shrobe, Ed., Morgan Kaufmann, Los Altos, CA 1988.
[11]
Ginsberg, M. Multivalued logic. In Readings In Nonmonotonic Reasoning, M. Ginsberg, Ed., Morgan Kaufmann, Los Altos, CA, 1987.
[12]
Ouha, R.V. The representation of defaults in cyc. Tech. Rep. ACT-CYC-083-90, MGG, February 1990.
[13]
Guha, R.V. and Lenat, D.B. Cycl: The cyc representation language, part 2. Tech. Rep. AGT-GYC-452-89, MGC, December 1989.
[14]
Guha, R.V. and Lenat, D.B. Cych The cyc representation language, part 3. Tech. Rep. ACT-CYC-454-89, MCC, December 1989.
[15]
Ouha, R.V. and Lenat, D.B. The world according to cyc, part 2: Agents and institutions. Tech. Rep. ACT-CYC-453-89, MGC, December 1989.
[16]
Guha, R.V. and Lenat, D.B. Gycl: The cyc representation language, part 4. Tech. Rep., MCC, April 1990.
[17]
Hayes.P.J., naive physics 1: Ontoogy for liquids. In Formal Theories of the Common Sense World, J.R. Hobbs and R.G. Moore, Eds., Ablex, Norwood, N.J., 1985.
[18]
Hayes, P.J. Some problems and non-problems in representation theory. In Readings In Knowledge Representation, H. Levesque and R. Brachman, Eds., Morgan Kaufmann, Los Altos, CA, 1986.
[19]
Lenat, D.B. and Guha, R.V. Building Large knowledge Bases. Addison-weslcy, Readings Mass., 1990.
[20]
McCarthy, J. First order theories of individual concepts and propositions. In Readings In Knowledge Representation, H. Levesque and R. Brachman, Eds., Morgan Kaufmann, Los Altos, CA, 1986.
[21]
McCarthy, J. Programs with common sense. In Readings In Knowledge Representation, H. Levesque and R. Brachman, Eds., Morgan Kaufmann, Los altos,CA,1986.
[22]
McCarthy, J. Applications of circumscription to formalizing common sense knowledge. In Readings In Nonmonotonic Reasoning) M. Ginsberg, Ed., Morgan Kaufmann, Los Altos, CA, 1987.
[23]
McCarthy, J. and Hayes, P.J. Some philosophical problems from the standpoint of artificial intelligence. In Readings In Nonmonotonic Reasonin~ M. Ginsberg, Ed., Morgan Kaufmann, Los Altos,CA,1987.
[24]
McDermott, D. A temporal logic for reasoning about processes and plans. Cognitive Science, 6 (1982), 101-155.
[25]
McDermott, D. and Doyle, J. Nonmonotonic logic. In Readings In Nonmonotonic Reasoning M. Ginsberg, Ed., Morgan Kaufmann, Los Altos, CA, 1987.
[26]
Moore, R.C. The role of logic in knowledge representation and commonsense reasoning. In Readings In knowledge Representation, H.Levesque and R. Brachman, Eds., Morgan Kaufmann, Los Altos, CA, 1986.
[27]
Pearl, l. and Korf, R. Search techniques. Annual Review of Comput. Sci., (1987).
[28]
Poundstone, W. Labyrinths of Reason. Doubleday, 1988.
[29]
Quine, W.V. Natural kinds. In Ontological Relativity and other essays. Columbia University Press, New York, 1969.
[30]
Soloway, E., Bacham, j. andjensen, K. Assessing the maintainability of xcon-in-rime: Coping with the problem of a very large rule-base. In Proceedings of AAAI-87 (1987 pp. 824-829.
[31]
Warren, D.H.D. An abstract prolog instruction set. Tech. Rep. 309, SRI, Artificial Intelligence Center, Computer Science and Technology Genter, October 1983.
[32]
Weyhrauch, R.W. Prolegmena to a theory of mechanized formal reasoning. In Readings In knowledge representation, H.Levesque and R. Brachman, Eds., Morgan Kaufmann, Los Altos, CA, 1986.
[33]
Williams, B. Minima: A symbolic approach to qualitative algebraic reasoning. In Proceedings of AAAI-88, 1988.

Cited By

View all

Recommendations

Reviews

Fred J. Damerau

In early AI research, attention focused on general problem solving and search methods. When it became clear that intelligent machine behavior was unlikely to be achieved if every action had to be derived from first principles, the field moved toward a “knowledge is power” paradigm, exemplified by most of the work on expert systems and their deep but narrow knowledge bases (KBs). These systems are not suitable for tasks such as text understanding, which require access to considerable commonsense knowledge of the world. The Cyc project at MCC appears to be the first serious attempt to actually build a broad KB (although the issues have been explored before, by the Common Sense Summer project at SRI, for example). The authors give an overview of the Cyc project, its representation language, inferencing system, and classification system. Discussion of the special inferencing rules used provides an introduction to the detailed problems that must be faced in this kind of endeavor. Similarly, discussion of the Cyc ontology illustrates the difficulty of classifying experience, particularly notions of time, persistence, and causality. The authors hope that manual update of the Cyc KB can be replaced in the next few years by feeding text through an associated natural language understanding program, updating Cyc directly from this program's output. This well-written, balanced paper, most of which is accessible to anyone, describes an interesting and potentially important project. Even if Cyc does not achieve its ambitious goals, the attempt alone should greatly benefit the AI community.

Access critical reviews of Computing literature here

Become a reviewer for Computing Reviews.

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Communications of the ACM
Communications of the ACM  Volume 33, Issue 8
Aug. 1990
129 pages
ISSN:0001-0782
EISSN:1557-7317
DOI:10.1145/79173
Issue’s Table of Contents
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 August 1990
Published in CACM Volume 33, Issue 8

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)513
  • Downloads (Last 6 weeks)70
Reflects downloads up to 27 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2025)A Survey of Recent Advances in Commonsense Knowledge Acquisition: Methods and ResourcesMachine Intelligence Research10.1007/s11633-023-1471-3Online publication date: 7-Jan-2025
  • (2024)Large Knowledge Model: Perspectives and ChallengesData Intelligence10.3724/2096-7004.di.2024.00016:3(587-620)Online publication date: 6-Sep-2024
  • (2024)A New AI Approach by Acquisition of Characteristics in Human Decision-Making ProcessApplied Sciences10.3390/app1413546914:13(5469)Online publication date: 24-Jun-2024
  • (2024)The Paradigm Shifts in Artificial IntelligenceCommunications of the ACM10.1145/366480467:11(50-59)Online publication date: 21-Oct-2024
  • (2024)Data Augmentation With Semantic Enrichment for Deep Learning Invoice Text ClassificationIEEE Access10.1109/ACCESS.2024.338786012(57326-57344)Online publication date: 2024
  • (2024)A framework for quantifying individual and collective common senseProceedings of the National Academy of Sciences10.1073/pnas.2309535121121:4Online publication date: 16-Jan-2024
  • (2024)The question answering system GeoQA2 and a new benchmark for its evaluationInternational Journal of Applied Earth Observation and Geoinformation10.1016/j.jag.2024.104203134(104203)Online publication date: Nov-2024
  • (2024)Commonsense reasoning and automatic generation of IoT contextual knowledge: An Answer Set Programming approachInternet of Things10.1016/j.iot.2023.10099825(100998)Online publication date: Apr-2024
  • (2024)Artificial intelligence (AI) futures: India-UK collaborations emerging from the 4th Royal Society Yusuf Hamied workshopInternational Journal of Information Management10.1016/j.ijinfomgt.2023.10272576(102725)Online publication date: Jun-2024
  • (2024)Don’t Ignore the Drive of Curiosity: Rethinking Subtleties Between Universality of Commonsense Knowledge and Excellence of Large Language ModelsSN Computer Science10.1007/s42979-024-03165-w5:6Online publication date: 15-Aug-2024
  • Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Full Access

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media