Towards a temporal coherence management in real-time knowledge-based systems

Data and Knowledge Engineering

Volumn 25, Issue 3, 1998, Pages 247-266

  Botti, V ^a   Barber, F ^a   Crespo, A ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

Belief revision; Blackboard models; Multi agent systems; Real time knowledge based systems; Temporal coherence; Temporal reasoning

Indexed keywords

DATA ACQUISITION; EXPERT SYSTEMS; PROBLEM SOLVING; REAL TIME SYSTEMS;

MULTI AGENT SYSTEMS; TEMPORAL COHERENCE MANAGEMENT; TEMPORAL REASONING;

ARTIFICIAL INTELLIGENCE;

EID: 0032045558     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0169-023X(97)00025-6     Document Type: Article

References (49)

1. R. Abbot and H. García-Molina, Scheduling real-time transactions: A performance study, ACM Trans. Database Systems 7(3) (1992) 513-560.
2. D. Agrawal, A.E. Abbadi and R. Jeffers, Using delayed commitment in locking protocols for real-time databases, Proc. ACM Intl. Conf. Management of Data, pp. 104-113, 1992.
3. D. Agrawal and S. Sengupta, Modular synchronization in distributed multiversion databases: Version control and concurrency control, IEEE Transactions on Knowledge and Data Engineering 5(1) (1993) 126-137.
4. J.F. Allen, Towards a general theory of action and time, Artificial Intelligence 23 (1984).
5. F. Barber, V. Botti, A. Crespo, D. Gallardo and E. Onaindia, A temporal blackboard structure for process control, in Proc. 3rd IFAC/IFIP Symposium on Artificial Intelligence in Real-Time Control, Delft (1992).
6. F. Barber, A metric time point and duration-based temporal model, SIGART-ACM Bulletin 4(3) (July, 1993).
7. F. Barber, V. Botti, A. Crespo and E. Onaindía, Temporal reasoning in REAKT (an environment for Real-Time Knowledge-based systems), AI Communications 7(3/4) (1994) 175-202.
8. F. Barber, V. Botti, A. Crespo, A. García, L. Hernández, I. Ripoll and E. Onaindía, Temporal reasoning and coherence management, in REAKT (Workshop on Integration Technology for Real-Time Intelligent Control Systems), Madrid (October, 1993).
9. V. Botti, F. Barber, A. Crespo, D. Gallardo, I. Ripoll, E. Onaindia and L. Hernández, Sharing temporal knowledge by multiple agents, database and expert systems applications, Lecture Notes in Computer Science 720 (Springer-Verlag, 1993) pp. 470-473.
10. V Botti, A. Crespo, F. Barber and I. Ripoll, Multiple access and coherence management in a real-time temporal blackboard, in A. Cohn (ed.), Proc. ECAI '94 (Wiley, 1994) pp. 312-316.
11. V. Botti, F. Barber and A. Crespo, et al., A temporal blackboard for a multi-agent environment, Data and Knowledge Engineering 15 (1995) 189-211.
12. A. Crespo, F. Barber, V. Botti, D. Gallardo and E. Onaindia, Temporal reasoning in process control. Engineering Applications of Artificial Intelligence (Pergamon Press) Vol. 7, No. 3 (1994), pp. 225-266.
13. T. Dean, Using temporal hierarchies to efficiently maintain large temporal databases, JACM 36(4) (Oct. 1989) 687-718.
14. K. Decker, A. Garvey, M. Humphrey and V. Lesser, A real-time control architecture for an approximate processing blackboard system, Intl. Journal of Pattern Recognition and Artificial Intelligence 7(2) (1993) 265-284.
15. Y. Demazeau J.P. Müller, Decentralised artificial intelligence, in Yves Demazeau, Jean-Pierre Müller (eds.), Decentralised A.I. (Elsevier Science, 1990) pp. 3-13.
16. L.B.C. Di Pippo and V.F. Wolfe, Object-based semantic real-time concurrency control, Proc. 14th IEEE Real-Time Systems Symposium (Dec. 1993).
17. J. Ferber and M. Ghallab, Problématique des univers multi-agents intelligents, in Teknea (ed.), Les Actes des Journées Nationales Intelligence Artificielle (Toulouse, March, 1985).
18. C. Fidge, Logical time in distributed computing systems, Computer (August, 1991) 28-33.
19. A. Garvey and V. Lesser, A survey of research in deliberative real-time artificial intelligence, UMass Computer Science Technical Report 93-84 (November, 1993); The Journal Real-Time Systems Vol. 6, No. 3, May 1994, pp. 317-347.
20. A. Garvey and V. Lesser, A survey of research in deliberative real-time artificial intelligence, UMass Computer Science Technical Report 93-84 (November, 1993); The Journal Real-Time Systems Vol. 6, No. 3, May 1994, pp. 317-347.
21. M.P. Georgeff and A.L. Lansky (eds.), Reasoning about Actions and Plans (Morgan Kaufman, 1987).
22. M.H. Graham, Issues in real-time data management, Journal of Real-Time Systems 4 (1992) 185-202.
23. J.R. Haritsa, M.J. Carey and M. Livny, Data access scheduling in firm real-time database systems, Journal of Real-Time Systems 4 (1992) 203-241.
24. G. Harman, Change in View - Principles in Reasoning (Bradford Book, MIT Press, Cambridge, MA, 1986).
25. B. Hayes-Roth, A blackboard architecture for control, Artificial Intelligence 26 (1986) 261-321.
26. B. Hayes-Roth, Architectural foundations for real-time performance in intelligent agents, The Journal of Real-Time Systems 2(1-2) (1990) 99-125.
27. B. Hayes-Roth, Intelligent control, Artificial Intelligence 59 (1993) 213-220.
28. V. Jagannathan, Realizing the concurrent blackboard model, in Blackboard Architectures and Applications (Academic Press, 1992).
29. H. Kopetz and K. Kimm, Temporal uncertainties in interactions among real-time objects, Proc. 9th IEEE Symp. on Reliable Distributed Systems, Huntsville (Oct., 1990) pp. 165-187.
30. T.W. Kuo and A.K. Mok, Application semantics and concurrency control of real-time data intensive applications, Proc. Real-Time Systems Symposium (1992) 35-45.
31. P. Lalanda, F. Charpillet and J.P. Haton, A real-time blackboard based architecture, in Proc. 10th ECAI, Vienna, Austria (August, 1992).
32. V.R. Lesser, J. Pavlin and E. Durfee, Approximate processing in real-time problem solving, AI Magazine 9(1) (1988).
33. K. Li and P. Hudak, Memory coherence in shared virtual memory systems, ACM Trans. Computer Systems 7(4) (Nov., 1989) 321-359.
34. A. Mensch, D. Kersual, A. Crespo and F. Charpillet, REAKT architecture. Workshop on Integration Technology for Real-Time Intelligent Control Systems, Madrid (October, 1993).
35. A. Mouabdid, F. Charpillet and J.P. Haton, Approximation and progressive reasoning, Proc. AAAI Workshop on Approximation and Abstraction of Computational Theories, San José (July, 1992).
36. B. Nitzberg and V. Lo, Distributed shared memory: A survey of issues and algorithms, Computer (August, 1991) 52-60.
37. G. Özsoyoglu, R. Snodgrass, Temporal and real-time databases: A survey, IEEE Trans. on Knowledge and Data Engineering 7(4) (August 1995) 513-532.
38. W. Perkins and A. Austin, Adding temporal reasoning to expert-systems building environments, IEEE-Expert. Freb. (1990).
39. K. Ramamritham, Real-time databases, Intl. J. Distributed and Parallel Databases 1(2) (1993) 199-206.
40. Thomson, Syseca, Crin, GMV, UPV, Marconi, Etnoteam, REAKT: Environment and methodology for real-time knowledge-based systems, ESPRIT II 4651 (1990-93).
41. L. Sha, R. Rajkumar, S. Son and Ch. Chang, A real-time locking protocol. IEEE Trans. on Computers 40(7) (July, 1991).
42. S.H. Son, Y. Lin and R.P. Cook, Concurrency control in real-time database systems, in A. van Tilborg, G. Koob (eds.), Foundations of Real-Time Computing: Scheduling and Resource Management (Kluwer Academic, 1991) pp. 185-202.
43. S. Son and J. Lee, A new approach to real-time transaction scheduling, in Proc. Fourth EUROMICRO Workshop on Real-Time Systems, Athens, Greece (June 3-5, 1992).
44. S.H. Son and J. Lee, Hybrid protocols using dynamic adjustment of serializations for real-time concurrency control, Journal of Real-Time Systems (Sept., 1992) 269-276.
45. J.A. Stankovic, K. Ramamritham and D. Towsley, Scheduling in real-time transaction systems, in A. van Tilborg, G. Koob (eds.), Foundations of Real-Time Computing: Scheduling and Resource Management (Kluwer Academic, 1991) pp. 157-184.
46. J.A. Stankovic, Distributed real-time computing: The next generation, UMass Computer Science Technical Report 92-001 (January, 1992).
47. L. Steels, Cooperation between distributed agents through self-organisation, in Yves Demazeau, Jean-Pierre Müller (eds.) Decentralised A.I. (Elsevier Science, 1990) pp. 175-196.
48. A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev and R. Snodgrass (eds.), Temporal databases: Theory, design, and implementation, Database Systems and Applications Series (Bejamin/Cummings, Redwood City, CA, 1994).
49. P.S. Yu, H.U. Heiss and D.M. Dias, Modeling and analysis of a time-stamp history-based certification protocol for concurrency control, IEEE Transactions on Knowledge and Data Engineering 3(4) (December, 1991) 525-537.