2013 | 1(27) | 46-55
Article title

Temporal knowledge and temporal reasoning systems

Title variants
Languages of publication
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.
Physical description
  • 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,
  • 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,
  • 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,
  • 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. (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,
  • 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.
  • 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.
Document Type
Publication order reference
YADDA identifier
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.