Algorithmic approach to knowledge evolution

Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM

Volumn 13, Issue 2, 1999, Pages 119-132

  Lomuscio, Alessio ^a   Ryan, Mark ^a  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION; MODAL ANALYSIS; TREES (MATHEMATICS);

MULTI-AGENT SYSTEMS;

ARTIFICIAL INTELLIGENCE;

EID: 0032680248     PISSN: 08900604     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0890060499132062     Document Type: Article

References (24)

1. Böttcher, C., & Dressler, O. (1993). Diagnosis process dynamics: Holding the diagnostic trackhound in leash. Proceedings of the 13th International Joint Conference on Artificial Intelligence, pp. 1460-1471. Morgan Kauffmann, Los Altos, California.
2. Clarke, E.M., & Emerson, E.A. (1981). Design and synthesis of synchronization skeletons using branching time temporal logic. Proc. Workshop on Logics of Programs, Vol. 131 of Lecture Notes in Computer Science, pp. 52-71. Springer, New York.
3. Emerson, E.A. (1990). Temporal and modal logic. In Handbook of Theoretical Computer Science, (van Leeuwen, J., Ed.), Elsevier Science Publishers, Chap. 16, pp. 996-1071. New York.
4. Fagin, R., Halpern, J.Y., Moses, Y., & Vardi, M.Y. (1995). Reasoning about knowledge. MIT Press, Cambridge.
5. Fröhlich, P., Nejdl, W., & Schroeder, M. (1998). Strategies in model-based diagnosis. Journal of Automated Reasoning 20(1/2), 81-105.
6. Gabbay, D.M., Hodkinson, I.M., & Reynolds, M.A. (1993). Temporal logic: Mathematical foundations and computational aspects. Volume I: Mathematical Foundations. Oxford University Press, Oxford, England.
7. Gerriets, W. (1992). TROD cleans up at Nine Mile Point 1. Nuclear Engineering International. London, England.
8. Goldblatt, R. (1992). Logics of time and compulation, 2nd Ed. (Revised and Expanded, Vol. 7 of CSLI Lecture Notes), CSLI, Stanford.
9. Halpern, J., & Vardi, M. (1991). Model checking vs. theorem proving: A manifesto. In Artificial Intelligence and Mathematical Theory of Computation, pp. 151-176. Academic Press, Inc. New York.
10. Hintikka, J. (1962). Knowledge and belief, an introduction to the logic of the two notions. Cornell University Press, Ithaca, NY.
11. Hughes, G.E., & Cresswell, M.J. (1984). A companion to modal logic, Methuen, London.
12. Jennings, N.R., & Wittig, T. (1992). ARCHON: Theory and practice. In Distributed Artificial Intelligence: Theory and Praxis, (Avouris, N.M. and Gasser, L. Eds.), pp. 179-195. Kluwer Academic Press.
13. Kripke, S.A. (1959). Semantic analysis of modal logic (abstract). Journal of Symbolic Logic 24, 323-324.
14. Lamport, L. (1994). The temporal logic of actions. ACM Transactions on Programming Languages and Systems 16(3), 872-923.
15. n. Proceedings of the ECAI98-workshop on Practical Reasoning and Rationality (PRR98).
16. McKerrow, P.J. (1991). Introduction to robotics. Addison-Wesley, Sydney, Australia.
17. Meyer, J.-J.C., & van der Hoek, W. (1995). Epistemic logic for AI and computer science, Vol. 41 of Cambridge tracts in theoretical computer science. Cambridge University Press, New York.
18. NEI (1991). ROSA III: The Westinghouse workhorse. Nuclear Engineering International. London, England.
19. NEI (1992). A brief history of robots in the US. Nuclear Engineering International. London, England.
20. Pnueli, A. (1977). The temporal logic of programs. Proceedings of the 18th IEEE Symposium on Foundations of Computer Science, 45-57.
21. Popkorn, S. (1994). First steps in modal logic. Cambridge University Press, Cambridge, England.
22. Schroeder, M. (1998). Autonomous, model-based diagnosis agents. Kluwer Academic Publisher.
23. Shoham, Y. (1987). Temporal logics in AI: Semantical and ontological considerations. Artificial Intelligence 33, 89-104.
24. Wooldridge, M., & Jennings, N.R. (1995). Intelligent agents: Theory and practice. Knowledge Engineering Review.