Abstract
This paper describes an information framework suited to applications where users have static interests in dynamically-changing information. An example application is concurrent design, where engineers are individually responsible for specific aspects (structural, electrical, etc.) of a continually evolving design description. In applications like this, it is more appropriate to drive the information exchange by information updates, rather than by changes to user focus. Information producers notify information consumers, rather than the traditional approach of consumers querying producers. This paper describes a simple protocol and an associated implementation for decentralized, knowledge-based information updates, and discusses issues in more complex protocols.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
D. Bridgeland and M. Huhns, Distributed Truth Maintenance, in: Proceedings AAAI-90, Boston, MA (1990).
A. Chan, U. Dayal, and S. Fox, An Ada-Compatible Distributed Database Management System, in: Proceedings of the IEEE, 75(5), 1987.
S. Conry, D. MacIntosh, and R. Meyer, DARES: A Distributed Automated Reasoning System, in: Proceedings of AAAI-90, Boston, MA (1990).
D. Corkill, K. Gallagher, and P. Johnson, Achieving Flexibility, Efficiency, and Generality in Blackboard Architectures, in: Proceedings of AAAI-87, Seattle, WA (1987).
J. Doyle, Rational Belief Revision (Preliminary Report), in: J. Allen, R. Fikes, E. Sandewall, eds., Proceedings of the Second International Conference on the Principles of Knowledge Representation and Reasoning (1991) 163–174.
M. Genesereth, Knowledge Interchange Format, Version 2.1 Reference Manual, technical report Logic-90-5, Stanford University Computer Science Department (1991).
C. Mason and R. Johnson, DATMS: A Framework for Distributed Assumption-Based Reasoning, in: L. Gasser and M. Huhns, eds., Distributed Artificial Intelligence Volume II, (Morgan Kaufman, San Mateo, CA, 1989.
B. Nebel, A Knowledge Level Analysis of Belief Revision, in: R. Brachman, H. Levesque, and R. Reiter, eds., Proceedings of the First International Conference on the Principles of Knowledge Representation and Reasoning, Toronto, Ontario Canada (1989) 301–311.
J. Pan, J. Tenenbaum, and J. Glicksman, A Framework for Knowledge-Based Computer Integrated Manufacturing, in: IEEE Transactions on Semiconductor Manufacturing 2 (1989) 33–46.
M. Papazoglou, An Expert System-like Architecture for Integrating Disparate Information Sources, in: Proceedings of the 2nd International Symposium on Database Systems for Advanced Applications, Tokyo (1991).
M. Papazoglou, Frameworks for Interconnecting Distributed Information Systems, in: Proceedings of the 1991 Database and Information Systems Conference, Sydney, NSW (1990).
J. Weber, B. Livezey, J. McGuire, and R. Pelavin, Integrating Specialized Representation for Spreadsheet-Like Design, in: Proceedings of the Fourth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert-Systems, Kauai, HA (1991).
Author information
Authors and Affiliations
Corresponding author
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Weber, J.C. (1992). A forward-chaining information framework. In: Papazoglou, M.P., Zeleznikow, J. (eds) The Next Generation of Information Systems: From Data to Knowledge. IJCAI 1991. Lecture Notes in Computer Science, vol 611. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55616-8_51
Download citation
DOI: https://doi.org/10.1007/3-540-55616-8_51
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55616-9
Online ISBN: 978-3-540-47262-9
eBook Packages: Springer Book Archive