Thomas L. Dean
ABSTRACT
An important component of planning involves keeping track of what various agents intend to do and recognizing situations in which certain planned-for activities are likely to interfere with one another. In planning situations involving several agents participating in a cooperative endeavor, this process can be automated to a high degree thereby facilitating coordination between agents. The more difficult aspects of planning, how to choose what activities to perform and what to do when those choices lead to problems, are left to the agents themselves. This paper demonstrates how the use of an interactive temporal data base management system can direct the inter-agent communication necessary to coordinate the use of shared resources and deal with complex scheduling problems. It is argued that much of the paper work normally associated with routine office transactions can be eliminated through the use of this temporal data base.
- 1.Barber, G., Supporting organizational problem solving with a work station, A CM Transactions on Oj~ee Information Systems, I (1983), pp. 45-67. Google Scholar
Digital Library
- 2.Clocksin, W.F. and Mellish, C.S., Programming in Prolog, (Springer*Verlag, 1984). Google ScholarDigital Library
- 3.Croft, W. B. and Lefkowitz~ L. S., Task Support In an Office System, A CM Transactions on Office Information Systems, 2 (1984), pp. 197-212. Google ScholarDigital Library
- 4.Dean, Thomas, Planning and Temporal Reasoning under Uncertainty, Proceedings iEEE Workshop on Principles of Knowledge-Based Systems, IEEE, 1984.Google Scholar
- 5.Dean, Thomas, Temporal Imagery: An Approach to Reasoning about Time for Planning and Problem Solving, Technical Report 433, Yale University Computer Science Department, 1985.Google Scholar
- 6.Dean, Thomas, Handling Shared Resources in a Temporal Data Base Management System, Decision Support Systems, (1986). Google ScholarDigital Library
- 7.Doyle, Jon, A truth maintenance system, Artificial Intelligence, 2 (1979), pp. 231-272.Google ScholarCross Ref
- 8.Hewitt, Carl, PLANNER: A Language for Proving Theorems in Robots, Proceedings IJCAI 1, Washington, D. C., IJCAI, 1969.Google Scholar
- 9.McDermott, Drew V., A temporal logic for reasoning about processes and plans, Cognitive Science, 6 (1982), pp. 101-155.Google ScholarCross Ref
- 10.McDermott, Drew V., The DUCK Manual, Technical Report 399, Yale University Computer Science Department, 1985.Google Scholar
- 11.Wiest, J. D. and Levy, F. K., A Management Guide to PERT/CPM (Prentice-Hall, New Jersey, 1969).Google Scholar
Index Terms
- Handling shared resources in a temporal data base management system
Recommendations
Handling shared resources in a temporal data base management system
An important component of planning involves keeping track of what various agents intend to do and recognizing situations in which certain planned-for activities are likely to interfere with one another. In planning situations involving several agents ...
Iterated belief base revision: a dynamic epistemic logic approach
AAAI'19/IAAI'19/EAAI'19: Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence and Thirty-First Innovative Applications of Artificial Intelligence Conference and Ninth AAAI Symposium on Educational Advances in Artificial IntelligenceAGM's belief revision is one of the main paradigms in the study of belief change operations. In this context, belief bases (prioritised bases) have been largely used to specify the agent's belief state - whether representing the agent's 'explicit beliefs' ...
Comments