Abstract
Physical objects can be described in terms of their behavior, structure and their relationships to other objects within a certain context. To understand individual component behavior, as well as induced behavior from component to component, it is usually necessary to describe, in an explicit manner, all the possible relationships existing among the components. For instance, in a digital system — described at some level of abstraction (say the Register Transfer Level or RT-Level) — the various components are related on each other by concepts such as “ConnectedTo”, “NearTo,” “PartOf” (with respect to a higher level of abstraction), etc.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Berztiss, A.T. and S. Thatte, “Specification and Implementation of Abstract Data Types”, in M.C. Yovits (Eds.), Advances in Computers, Vol. 22, NY: Academic Press, 1982.
Bobrow, D.G. and T. Winograd, “An Overview of KRL: A Knowledge Representation Language”, Cognitive Science, 1(1), 3–46, 1977.
Brachman, R. and Schmölze, “An Overview of the KL-ONE Knowledge Representation System”, Cognitive Science, 9, 171–216, 1985.
Chamiak, E., CK. Riesbeck, and D.V. McDermott, Artificial Intelligence Programming, Hillsdale, NJ: LEA, 1980.
Goldstein, I.P. and B. Roberts, “Using Frames in Scheduling”, in Artificial Intelligence: The MIT Perspective, Winston, P.H., and R.H. Brown (Eds.), Cambridge, MA: MIT Press, 1979.
Hopcroft, J.E., and J.D. Ullman, Introduction to Automata Theory Languages and Computation, Reading, MA: Addison-Wesley, 1979.
Irisarri, G.D., H.G. Fischer, P. Istavrinos and G. Watslawick, “Knowledge-Based Implementation of Computer System Designs”, Siemens Corporate Research and Support, Research and Technology Laboratories, Princeton, NJ 1985.
Kaufmann, A., Introduction to the Theory of Fuzzy Subsets, NY: Academic Press, 1975.
Newell, A, “The Knowledge Level”, Artificial Intelligence 18: 87–127, 1982.
Roberts, R.B. and I.P. Goldstein, The FRL Manual, Technical Memo 409, Cambridge, MA: MIT, 1977.
Sanella, M., The Interlisp-D Reference Manual, Palo Alto, CA: Xerox Corp., 1983.
Srinivasan, C.V., “CK-LOG, A Calculus for Knowledge Processing in Logic”, Navy Center for Applied Research, Washington, DC, and Department of Computer Science, Rutgers University, 1984.
Srinivasan, C.V., “The Use of CK-LOG Formalism for Knowledge Representation and Problem Solving in OPPLAN-CONSULTANT: An Expert System for Naval Operator Planning”, Navy Center for Applied Research, Washington, DC, and Department of Computer Science, Rutgers University, 1985.
Stefik, M.J. and D.G. Bobrow, The LOOPS Manual, Xerox, Corp., Palo Alto, CA, 1983.
Stefik, M.J. and D.G. Bobrow, “Object-Oriented Programming: Themes and Variations”, Al Magazine, 6 (4), 40–62, 1986.
Stefik, M.J., D.G. Bobrow, and K.M. Kahn, “Integrating Access-Oriented Programming into a Multiparadigm Environment”, IEEE Software, January, 1986.
Tong, C., The Fire Manual, Xerox Corp., Palo Alto, CA, 1982 (unpublished manuscript).
Zadeh, L, “PRUFF — A Meaning Representation Language”, in Mamdani, E.H. and B.R. Gaines (Eds.), Fuzzy Reasoning and its Applications, Academic Press NY, 1981.
Tarjan, R.E., Data Structures and Network Algorithms, CBMS-NSF Regional Conference Series in Applied Mathematics, Vol. 44, SIAM, 1983.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Irisarri, G.D. (1986). RELAN: A General Purpose Relational Language for Knowledge-Based Reasoning about Physical Systems. In: Schwärtzel, H. (eds) Informatik in der Praxis. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-93336-3_32
Download citation
DOI: https://doi.org/10.1007/978-3-642-93336-3_32
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-93337-0
Online ISBN: 978-3-642-93336-3
eBook Packages: Springer Book Archive