PL EN


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

Temporal knowledge and temporal reasoning systems

Content
Title variants
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.
Year
Issue
Pages
46-55
Physical description
Contributors
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.
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.desklight-1fbb44a4-546e-4ff6-9f6e-c261b30f0870
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.