article

Free access

Default reasoning and inheritance mechanisms on type hierarchies

Author:

Jaime G. CarbonellAuthors Info & Claims

ACM SIGART Bulletin, Issue 74

Pages 107 - 109

https://doi.org/10.1145/960128.806889

Published: 23 June 1980 Publication History

PDF eReader

Abstract

Type hierarchies abound in Artificial Intelligence, Data Bases and Programming Languages. Although their size, use and complexity differs, all share a central inference mechanism: Inheritance of information, their raison d'etre. This paper discusses various types of type hierarchies and inheritance mechanisms, concluding with a proposed generalized inheritance mapping approach to resolve issues of lateral and upward inheritance (to augment the traditional downward approach), as well as default reasoning and limited non-monotonic inference.

References

[1]

Brachman, R.J., Bobrow, R.J., Cohen, P. R., Klovstad, J.W., Webber, B.L. and Woods, W.A., "Research in Natural Language Understanding," Tech. Report 4274, Bolt Beranek and Newman, 1979.

Crossref

Google Scholar

[2]

Carbonell, J.R., "AI in CAI: An Artificial Intelligence Approach to Computer-Aided Instruction," IEEE Trans. on Man-Machine Systems, Vol. 11, 1970, pp. 190-202.

Crossref

Google Scholar

[3]

Carbonell, J. G., "Towards a Process Model of Human Personality Traits," Artificial Intelligence, Vol. (in press), 1980.

Google Scholar

[4]

Collins, A., Warnock, E.H., Aiello, N. and Miller, M.L., "Reasoning from Incomplete Knowledge," in Representation and Understanding, Bobrow, D.G. and Collins, A., ed., New York: Academic Press Inc, 1975, pp. 383-415.

Google Scholar

[5]

Fahlman, S. E., NETL: A System for Representing and Using Real World Knowledge, MIT Press, 1979.

Google Scholar

[6]

Fox, M.S., "On Inheritance in Knowledge Representation," Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979, pp. 282-284.

Google Scholar

[7]

Hendrix, G., "Expanding The Utility of Semantic Networks Through Partitioning," Proceedings of the Fourth International Joint Conference on Artificial Intelligence, 1975.

Google Scholar

[8]

McDermott, D.V. and Doyle J., "Non-Monotonic Logic I," Artificial Intelligence, Vol. 13, 1980, pp. 41-72.

Digital Library

Google Scholar

[9]

Quillian, M.s R., "Semantic Memory," in Semantic Information Processing, Minsky, M., ed., MIT Press, 1968.

Google Scholar

[10]

Reiter, R., "A Logic For Default Reasoning," Artificial Intelligence, Vol. 13, 1980, pp. 81-132.

Digital Library

Google Scholar

Cited By

View all

Harper DDunnion JSherwood-Smith Mvan Rijsbergen C(1986)Minstrel-ODM: A basic office data modelInformation Processing and Management: an International Journal10.1016/0306-4573(86)90117-222:2(83-107)Online publication date: 1-Feb-1986
https://dl.acm.org/doi/10.1016/0306-4573%2886%2990117-2
Dong ZFu XYang ZLiu L(2019)Redirected Smooth Mappings for Multiuser Real Walking in Virtual RealityACM Transactions on Graphics10.1145/334555438:5(1-17)Online publication date: 10-Oct-2019
https://dl.acm.org/doi/10.1145/3345554
Saragadam VSankaranarayanan A(2019)KRISM—Krylov Subspace-based Optical Computing of Hyperspectral ImagesACM Transactions on Graphics10.1145/334555338:5(1-14)Online publication date: 17-Oct-2019
https://dl.acm.org/doi/10.1145/3345553
Show More Cited By

Index Terms

Default reasoning and inheritance mechanisms on type hierarchies
1. Computing methodologies
  1. Artificial intelligence
    1. Knowledge representation and reasoning
      1. Nonmonotonic, default reasoning and belief revision
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Inheritance

Recommendations

Default reasoning and inheritance mechanisms on type hierarchies
Proceedings of the workshop on Data abstraction, databases and conceptual modelling

Type hierarchies abound in Artificial Intelligence, Data Bases and Programming Languages. Although their size, use and complexity differs, all share a central inference mechanism: Inheritance of information, their raison d'etre. This paper discusses ...
Default reasoning and inheritance mechanisms on type hierarchies
Proceedings of the workshop on Data abstraction, databases and conceptual modelling

Type hierarchies abound in Artificial Intelligence, Data Bases and Programming Languages. Although their size, use and complexity differs, all share a central inference mechanism: Inheritance of information, their raison d'etre. This paper discusses ...
Default reasoning and inheritance mechanisms on type hierarchies
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling

Type hierarchies abound in Artificial Intelligence, Data Bases and Programming Languages. Although their size, use and complexity differs, all share a central inference mechanism: Inheritance of information, their raison d'etre. This paper discusses ...

Comments

Information & Contributors

Information

Published In

ACM SIGART Bulletin Just Accepted

Proceedings of the workshop on Data abstraction, databases and conceptual modelling

Jan 1981

205 pages

ISSN:0163-5719

DOI:10.1145/960128

Issue’s Table of Contents

Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
June 1980
221 pages
ISBN:0897910311
DOI:10.1145/800227
Chairmen:
Stephen N. Zilles,
Michael L. Brodie

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: 23 June 1980

Published in SIGAI , Issue 74

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

19
Total Citations
View Citations
494
Total Downloads

Downloads (Last 12 months)115
Downloads (Last 6 weeks)26

Reflects downloads up to 25 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Harper DDunnion JSherwood-Smith Mvan Rijsbergen C(1986)Minstrel-ODM: A basic office data modelInformation Processing and Management: an International Journal10.1016/0306-4573(86)90117-222:2(83-107)Online publication date: 1-Feb-1986
https://dl.acm.org/doi/10.1016/0306-4573%2886%2990117-2
Dong ZFu XYang ZLiu L(2019)Redirected Smooth Mappings for Multiuser Real Walking in Virtual RealityACM Transactions on Graphics10.1145/334555438:5(1-17)Online publication date: 10-Oct-2019
https://dl.acm.org/doi/10.1145/3345554
Saragadam VSankaranarayanan A(2019)KRISM—Krylov Subspace-based Optical Computing of Hyperspectral ImagesACM Transactions on Graphics10.1145/334555338:5(1-14)Online publication date: 17-Oct-2019
https://dl.acm.org/doi/10.1145/3345553
Porter BCoulson GRoedig U(2013)Managing software evolution in large-scale wireless sensor and actuator networksACM Transactions on Sensor Networks10.1145/2489253.24892719:4(1-28)Online publication date: 23-Jul-2013
https://dl.acm.org/doi/10.1145/2489253.2489271
Forte DSrivastava A(2013)Thermal-aware sensor scheduling for distributed estimationACM Transactions on Sensor Networks10.1145/2489253.24892709:4(1-31)Online publication date: 23-Jul-2013
https://dl.acm.org/doi/10.1145/2489253.2489270
Voulkidis AAnastasopoulos MCottis P(2013)Energy efficiency in wireless sensor networksACM Transactions on Sensor Networks10.1145/2489253.24892609:4(1-27)Online publication date: 23-Jul-2013
https://dl.acm.org/doi/10.1145/2489253.2489260
Kim B(2010)Multi-phase fluid simulations using regional level setsACM Transactions on Graphics10.1145/1882261.186619729:6(1-8)Online publication date: 15-Dec-2010
https://dl.acm.org/doi/10.1145/1882261.1866197
Regg CRusinkiewicz SMatusik WGross M(2010)Computational highlight holographyACM Transactions on Graphics10.1145/1882261.186619229:6(1-12)Online publication date: 15-Dec-2010
https://dl.acm.org/doi/10.1145/1882261.1866192
Cimatti AGriggio ASebastiani R(2010)Efficient generation of craig interpolants in satisfiability modulo theoriesACM Transactions on Computational Logic10.1145/1838552.183855912:1(1-54)Online publication date: 26-Nov-2010
https://dl.acm.org/doi/10.1145/1838552.1838559
Bistarelli SMontanari URossi FSantini F(2010)Unicast and multicast QoS routing with soft-constraint logic programmingACM Transactions on Computational Logic10.1145/1838552.183855712:1(1-48)Online publication date: 26-Nov-2010
https://dl.acm.org/doi/10.1145/1838552.1838557
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

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations