Abstract
The paper concerns the possibility of using temporal logics for knowledge management. The idea of knowledge management is presented, along with the most typical computer solutions for this area. The temporal aspect of knowledge management is pointed out. Having in mind this temporal aspect, the paper presents possible advantages of extending knowledge representation for knowledge management with temporal formalisms.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Allen, J.F.: Maintaining Knowledge about Temporal Intervals. Communications of the ACM 26(11) (November 1983)
Benthem van, J.: Temporal Logic. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming. Epistemic and Temporal Reasoning, vol. 4. Clarendon Press, Oxford (1995)
Bielecki, W.: Wirtualizacja Nauczania In: Wawrzyniak B., Zarządzanie Wiedzą w Przedsiębiorstwie, Warszawa, p. 317 (2003)
Doherty, P., Gustafsson, J., Karlsson, L., Kvarnström, J.: Temporal Action Logics (TAL): Language Specification and Tutorial. Linköping Electronic Articles in Computer and Information Science 3, 015 (1998), http://www.ep.liu.se/ea/cis/1998/015
Grudzewski, W., Hejduk, I.: Zarządzanie Wiedzą w Organizacjach. E-mentor 8, 46–51 (2005)
Halpern, J.Y.: Reasoning About Knowledge: A Survey. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Epistemic and Temporal Reasoning, vol. 4. Clarendon Press, Oxford (1995)
Jakubczyc, J.: Wprowadzenie do ekonometrii dynamicznej. Wydawnictwo Naukowe PWN, Warszawa-Wrocław (1996)
Kowalski, R., Sergot, M.: A logic-based calculus of events. In: Schmidt, J.W., Thanos, C. (eds.) Foundations of Knowledge Base Management: Contributions from Logic, Databases, and Artificial Intelligence, pp. 23–55. Springer, Heidelberg (1989)
Kvarnström, J., Doherty, P.: VITAL research tool (1997), http://anton.ida.liu.se/vital/vital.html
Mach, M.A.: Temporalna analiza otoczenia przedsiębiorstwa. Techniki i narzędzia inteligentne. Wydawnictwo AE Wrocław (2007)
Mackaay, E., Poulin, D., Frémont, J., Bratley, P., Deniger, C.: The logic of time in law and legal expert systems. Ratio Juris 3(2), 254–271 (1990)
Mylopoulos, J., Borgida, A., Jarke, M., Koubarakis, M.: Telos: Representing Knowledge About Information Systems. ACM Transactions on Information Systems 8(4), 325–362 (1990)
Poulin, D., Mackaay, E., Bratley, P., Frémont, J.: Time Server – a legal time specialist. In: Proc. Third International Conference on Logic, Informatics, Law, Florence, November 2-5 (1989)
Sandewall, E.: Features and Fluents. Oxford University Press (1994)
Vila, L.: A Survey on Temporal Reasoning in Artificial Intelligence. AI Communications 7(1), 4–28 (1994)
Wykowska, G.: Techniki informacyjne w zarządzaniu wiedzą. MSc Dissertation, SGH Warszawa (2008)
Kania, K.: Temporalne bazy danych w systemach informatycznych zarządzania. Prace Naukowe Akademii Ekonomicznej im. Karola Adamieckiego w Katowicach, Wydawnictwo AE Katowice (2004)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Mach-Król, M. (2014). Prospects of Using Temporal Logics for Knowledge Management. In: Mach-Król, M., Pełech-Pilichowski, T. (eds) Advances in Business ICT. Advances in Intelligent Systems and Computing, vol 257. Springer, Cham. https://doi.org/10.1007/978-3-319-03677-9_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-03677-9_3
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-03676-2
Online ISBN: 978-3-319-03677-9
eBook Packages: EngineeringEngineering (R0)