More Web Proxy on the site http://driver.im/

article

Free access

The RHET system

Author:

James F. AllenAuthors Info & Claims

ACM SIGART Bulletin, Volume 2, Issue 3

Pages 1 - 7

https://doi.org/10.1145/122296.122297

Published: 01 June 1991 Publication History

Abstract

The RHET system is a knowledge representation tool that is intended to support the development of advanced prototype natural language understanding and planning systems. The key requirements on the system are that it be general and expressive enough to support basic experimental systems, that it is efficient enough to allow such systems to be effectively built, and that its behavior be precisely specified independent of the actual program. It is a hybrid representation consisting of a set of separately defined specialized reasoning systems that are presented to the user within a single uniform framework.

References

[1]

Allen, J. Maintaining knowledge about temporal intervals, Comm. ACM 26,11, 1983 pp. 832--843

Digital Library

[2]

Allen, J., Kautz, H., Pelavin, R. and Tenenberg, J. Reasoning about plans, Morgan Kaufmann, 1991.

[3]

Allen, J and Miller, B "The RHET System: A Tutorial", Technical report 2325, University of Rochester, Computer Science Dept, Dec, 1990.

[4]

Bobrow, D. and Winograd, T. An overview of KRL, Cognitive Science 1,1 1977 pp3--46

[5]

Brachman, R. and Levesque, H. Readings in knowledge Representation, Morgan Kaufmann, 1985.

Digital Library

[6]

Brachman, R. On the epistemological status of semantic networks, in N. Findler (ed), Associative Networks, Academic Press, 1979 pp3--50.

[7]

Charniak, E., Gavin, M and Hendler, J. The Frail/NASL reference manual, Technical report CS-83--06, Dept. of Computer Science, Brown univ., 1985.

[8]

Hayes, P.J. "The logic of frames", in Metzing (ed), Frame Conceptions and Text Understanding, de Gruyter, 1979.

[9]

Koomen, J. Localizing temporal constraint propagation, in Proc. of KR '89, Morgan Kaufmann, 1989

Digital Library

[10]

Koomen, J. Reasoning about recurrence, Tech report 307, University of Rochester, Dept. of Computer Science, 1989

[11]

Maida, A. and Shapiro, S. "Intensional concepts in propositional semantic networks", Cognitive Science 6,4, 1982 pp 291--330.

[12]

Miller, B. "The RHET Reference Manual", Technical report 326, University of Rochester, Computer Science Dept, March 1989.

[13]

Shoham, Y. Temporal Logics for AI: Semantical and ontological considerations, Artificial Intelligence 33, 1 1987 pp 89--104

Digital Library

[14]

Sussman, G. and McDermott, D. "From PLANNER to CONNIVER - a genetic approach", Proc. of the Fall Joint Computer Conference, Anaheim, CA, AFIPS Press, 1972

[15]

Vilain, M. "The restriction language architecture of a hybrid representation system", Proc. IJCAI-85, Morgan Kaufmann, 1985. 547--554.

[16]

Woods, W.A. "What's in a link?", in D. Bobrow &amp; A. Collins (eds), Representation and Understanding, Academic Press, 1975.

Cited By

Baader FCalvanese DMcGuinness DNardi DPatel-Schneider P(2003)BibliographyThe description logic handbook10.5555/885746.885765(496-545)Online publication date: 1-Jan-2003
https://dl.acm.org/doi/10.5555/885746.885765
Min-You Wu Wei Shu Jun Gu (1997)Local search for DAG scheduling and task assignmentProceedings of the 1997 International Conference on Parallel Processing (Cat. No.97TB100162)10.1109/ICPP.1997.622584(174-180)Online publication date: 1997
https://doi.org/10.1109/ICPP.1997.622584
Belli FCrisan R(1996)Towards automation of checklist-based code-reviewsProceedings of ISSRE '96: 7th International Symposium on Software Reliability Engineering10.1109/ISSRE.1996.558687(24-33)Online publication date: 1996
https://doi.org/10.1109/ISSRE.1996.558687
Show More Cited By

Index Terms

The RHET system

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGART Bulletin

ACM SIGART Bulletin Volume 2, Issue 3

Special issue on implemented knowledge representation and reasoning systems

June 1991

151 pages

ISSN:0163-5719

DOI:10.1145/122296

Editor:
Jon Doyle
MIT Lab., Cambridge, MA

Issue’s Table of Contents

Copyright © 1991 Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1991

Published in SIGAI Volume 2, Issue 3

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
116
Total Downloads

Downloads (Last 12 months)22
Downloads (Last 6 weeks)2

Reflects downloads up to 01 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Baader FCalvanese DMcGuinness DNardi DPatel-Schneider P(2003)BibliographyThe description logic handbook10.5555/885746.885765(496-545)Online publication date: 1-Jan-2003
https://dl.acm.org/doi/10.5555/885746.885765
Min-You Wu Wei Shu Jun Gu (1997)Local search for DAG scheduling and task assignmentProceedings of the 1997 International Conference on Parallel Processing (Cat. No.97TB100162)10.1109/ICPP.1997.622584(174-180)Online publication date: 1997
https://doi.org/10.1109/ICPP.1997.622584
Belli FCrisan R(1996)Towards automation of checklist-based code-reviewsProceedings of ISSRE '96: 7th International Symposium on Software Reliability Engineering10.1109/ISSRE.1996.558687(24-33)Online publication date: 1996
https://doi.org/10.1109/ISSRE.1996.558687
Kumar DShapiro S(1995)The OK BDI ArchitectureIntelligent Systems Third Golden West International Conference10.1007/978-94-011-7108-3_31(307-317)Online publication date: 1995
https://doi.org/10.1007/978-94-011-7108-3_31
Vazirgiannis MPetrou KTsobanidis AHatzopoulos M(1993)An Object-Oriented Framework for Knowledge Representation Based on Fuzzy SetsJournal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology10.5555/2639452.26394541:4(265-278)Online publication date: 1-Jul-1993
https://dl.acm.org/doi/10.5555/2639452.2639454
Kumar D(1993)A unified model of acting and inference[1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences10.1109/HICSS.1993.284348(483-492)Online publication date: 1993
https://doi.org/10.1109/HICSS.1993.284348
Rich CFeldman Y(1992)Seven Layers of Knowledge Representation and Reasoning in Support of Software DevelopmentIEEE Transactions on Software Engineering10.1109/32.14286918:6(451-469)Online publication date: 1-Jun-1992
https://dl.acm.org/doi/10.1109/32.142869

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

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

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents