IJCAI 1991: The Next Generation of Information Systems: From Data to Knowledge pp 238-250 | Cite as
A forward-chaining information framework
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.
Keywords
Belief Revision Integrity Constraint Schematic Agent Message Protocol Concurrent DesignPreview
Unable to display preview. Download preview PDF.
References
- [1]D. Bridgeland and M. Huhns, Distributed Truth Maintenance, in: Proceedings AAAI-90, Boston, MA (1990).Google Scholar
- [2]A. Chan, U. Dayal, and S. Fox, An Ada-Compatible Distributed Database Management System, in: Proceedings of the IEEE, 75(5), 1987.Google Scholar
- [3]S. Conry, D. MacIntosh, and R. Meyer, DARES: A Distributed Automated Reasoning System, in: Proceedings of AAAI-90, Boston, MA (1990).Google Scholar
- [4]D. Corkill, K. Gallagher, and P. Johnson, Achieving Flexibility, Efficiency, and Generality in Blackboard Architectures, in: Proceedings of AAAI-87, Seattle, WA (1987).Google Scholar
- [5]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.Google Scholar
- [6]M. Genesereth, Knowledge Interchange Format, Version 2.1 Reference Manual, technical report Logic-90-5, Stanford University Computer Science Department (1991).Google Scholar
- [7]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.Google Scholar
- [8]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.Google Scholar
- [9]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.Google Scholar
- [10]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).Google Scholar
- [11]M. Papazoglou, Frameworks for Interconnecting Distributed Information Systems, in: Proceedings of the 1991 Database and Information Systems Conference, Sydney, NSW (1990).Google Scholar
- [12]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).Google Scholar