Temporal knowledge and temporal reasoning systems

• Authors: Maria Mach-Król
• Languages of publication: EN

Abstracts

The paper is devoted to a problem of temporal reasoning for (among others) managerial tasks. It shows the complexity of economic environment, which leads to representational problems. Next the features of a temporal reasoning systems are pointed out, and finally one of such systems – a PROTON one – is presented and critically discussed.

Keywords

EN

temporal reasoning; time; temporal intelligent systems; economic environment

• Publisher: Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
• Journal: Informatyka Ekonomiczna
• Year: 2013
• Issue: 1(27)
• Pages: 46-55

Contributors

author

Maria Mach-Król

• University of Economics, Katowice

References

• Allen J.F., Maintaining knowledge about temporal intervals, Communications of the ACM 1983, Vol. 26, No. 11.
• Allen J.F., Towards a general theory of action and time, Artificial Intelligence 1984, Vol. 23, No. 2.
• Batsakis S., Petrakis E.G.M., SOWL: A framework for handling spatio-temporal information in OWL 2.0, [in:] N. Bassiliades, G. Governatori, A. Paschke (eds.), Rule-Based Reasoning, Programming, and Applications, 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19–21, 2011, Springer, pp. 242−249.
• Baral Ch., Tran S.C., Relating theories of actions and reactive control, Linköping Electronic Articles in Computer and Information Science 1998, Vol. 3, No. 9, http://www.ep.liu.se/ea/cis/1998/009.
• Benthem van, J., Temporal logic, [in:] D.M. Gabbay, C.J. Hogger, J.A. Robinson (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 4: Epistemic and Temporal Reasoning, Clarendon Press, Oxford 1995.
• Gelfond M., Lifschitz V., Action languages, Linköping Electronic Articles in Computer and Information Science 1998, Vol. 3, No. 16, http://www.ep.liu.se/ea/cis/1998/016/.
• Gierszewska G., Romanowska M., Analiza strategiczna przedsiębiorstwa. PWE Warszawa 1999.
• Hajnicz E., Reprezentacja logiczna wiedzy zmieniającej się w czasie, Akademicka Oficyna Wydawnicza PLJ, Warszawa 1996.
• Juarez J.M., Campos M., Morales A., Palma J., Marin R., Applications of temporal reasoning to intensive care units, Journal of Healthcare Engineering 2010, Vol. 1, No 4, pp. 615–636.
• Kaleta A., Strategia konkurencji w przemyśle, Wydawnictwo Akademii Ekonomicznej im. O. Langego we Wrocławiu, Wrocław 2000.
• Kaleta A., Analiza strategiczna w przemyśle, Skrypty Akademii Ekonomicznej im. Oskara Langego we Wrocławiu, Wydawnictwo AE, Wrocław 1999.
• Kowalski R.A., Sergot M., A logic-based calculus of events, New Generation Computing 1986, No. 4, pp. 67–95.
• Kowalski R., Sergot M., A logic-based calculus of events, [in:] J.W. Schmidt, C. Thanos (eds.), Foundations of Knowledge Base Management: Contributions from Logic, Databases, and Artificial Intelligence, Springer, Berlin, Heidelberg 1989, pp. 23–55.
• Levesque H., Pirri F., Reiter R., Foundations for the situation calculus, Linköping Electronic Articles in Computer and Information Science 1998, Vol. 3, No. 18, http://www.ep.liu.se/ea/cis/1998/018.
• Mach M., Integrating knowledge from heterogeneous sources, Argumenta Oeconomica 2003, No. 1–2(14), pp. 189–210.
• Nowak E. (ed.), Prognozowanie gospodarcze, AgencjaWydawnicza PLACET, Warszawa 1998.
• Papadakis N., Stravoskoufos K., Baratis E., Petrakis E., Plexousakis D., PROTON: A Prolog Reasoner for Temporal Ontologies in OWL, Expert Systems with Applications 2011, Vol. 38, Issue 12, pp. 14660–14667. http://www.sciencedirect.com/science/article/pii/S0957417411008001 (date of access: 26.10.2012).
• Pinto J., Reiter R., Reasoning about time in the situation calculus, Annals of Mathematics and Artificial Intelligence 1995, Vol. 14(2–4), pp. 251–268.
• Przybyłowski K., Hartley S.W., Kerin R.A., Rudelius W., Marketing. Pierwsza polska edycja, Dom Wydawniczy ABC, 1998.
• Reiter R., Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems, Version of May 1, 2000, http://www.cs.toronto.edu/cogrobo.
• Reiter R., On specifying database updates, Journal of Logic Programming 1995, Vol. 25, pp. 25–91.
• Reiter R., Natural actions, concurrency and continuous time in the situation calculus, [in:] Principles of Knowledge Representation and Reasoning – International Conference – 1996, CONF 5, Morgan Kaufman Publishers, pp. 2–13.
• Reiter R., Sequential, temporal GOLOG, [in:] Principles of Knowledge Representation and Reasoning – International Conference – 1998, CONF 6, Morgan Kaufman Publishers, pp. 547–556.
• Stanek S., Metodologia budowy komputerowych systemów wspomagania organizacji, Akademia Ekonomiczna im. Karola Adamieckiego, Prace naukowe, Katowice 1999.
• Stanek S., Michalik K., Twardowski Z., Applications of AI in strategy games: the AE2000 intelligent computer game, [in:] Proc. CAI-2000: Third Polish Conference on Theory and Applications of Artificial Intelligence, October 5-7, 2000, Łódz, Poland.
• Thielscher M., Introduction to the fluent calculus, Linköping Electronic Articles in Computer and Information Science 1998, Vol. 3, No. 14. http://www.ep.liu.se/ea/cis/1998/14/.
• Tvede L., Ohnemus P., Marketing Strategies for the New Economy, John Wiley & Sons, 2001.
• Vila L., A survey on temporal reasoning in artificial intelligence, AI Communications 1994, Vol. 7(1), pp. 4–28.