PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2005 | 8 | nr 1094 Informatyka ekonomiczna : wybrane zagadnienia | 100--122
Tytuł artykułu

Wybrane zagadnienia wnioskowania temporalnego

Warianty tytułu
Temporal Reasoning - Selected Issues
Języki publikacji
PL
Abstrakty
W artykule zaprezentowano najważniejsze kwestie związane z problematyką wnioskowania temporalnego, czyli wnioskowania, w którym czas stanowi cechę podstawową i jest ujęty oraz rozważany w sposób jawny. Skupiono się na dwóch obszarach. Pierwszy z nich to kwestie stricte teoretyczne. Są one niezwykle istotne, ponieważ jakość wnioskowania zależy od tego, jaki model czasu zostanie wstępnie przyjęty, oraz od tego, czy model ten w połączeniu z metodą wnioskowania pozwala rozwiązać problemy natury logicznej, jakie pojawiają się przy opisie czasu. Obszar drugi dotyczy praktycznych podejść do wnioskowania w warunkach temporalności, oraz możliwości zastosowań tego wnioskowania. Omówiono dwa podstawowe ujęcia, modelowe i oparte na językach temporalnych, wraz z przykładami wykorzystania. (fragment tekstu)
EN
The paper deals with the problems of time representation, temporal reasoning and its applications in the artificial intelligence area.
First we present the motivation for reasoning about change, or broadly speaking: temporal reasoning, in the field of Al. We shortly depict and analyse 5 main research areas where temporal issues may be found: databases, expert systems, planning, robotics, and natural language understanding.
A significant part of the paper is devoted to theoretical questions, such as the origin of temporal logics and reasoning, Newtonian paradigm, time dependent and time independent models of the world.
The last part of the paper presents two main approaches to temporal reasoning: a model approach and an approach based on temporal languages. The first one is discussed using an example of the situation calculus and its application to adaptive databases. The second one is presented with the TAL language as an example.
Summing up, the paper is an attempt to order information about temporal representation, reasoning and its practical applications. (original abstract)
Twórcy
Bibliografia
  • Allen J.F., Towards a General Theory of Action and Time, "Artificial Intelligence" 1984, nr 23, s. 123-54.
  • Ustawa z dnia 29 sierpnia 1997 r. Prawo bankowe, DzU 1997, nr 140, poz. 939.
  • Beek V.P., Reasoning about Qualitative Temporal Information, "Artificial Intelligence" 1992, nr 58, s. 297-326.
  • Bogacka-Kisiel E., Karwowski J., Bankowość (wybrane zagadnienia), AE, Wrocław 1991.
  • Bouzid M., Ligęza A., Temporal Representation Based on Characteristic Functions. Proc. FLAIRS-95: Eighth Florida Artificial Intelligence Symposium, 27-29 kwietnia 1995, s. 167-171.
  • Bruce B., A Model for Temporal References and its Application in a Question Answering Program, "Artificial Intelligence" 1972, nr 4 s. 1-25.
  • Doherty P., Gustafsson J., Delayed Effects of Actions = Direct Effects + Causal Rules, Linköping Electronic Articles in Computer and Information Science vol. 3, nr 1, http://www.ep.liu.se/ea/cis/1998/001/, 26 stycznia 1998.
  • Doherty P., Reasoning about Action and Change Using Occlusion, Proc, of 11th ECAI, Amsterdam, John Wiley and Sons Ltd., 1994.
  • Fikes R.E., Nilsson N.J., STRIP, a Retrospective, "Artificial Intelligence" 1993, nr 59(1-2), s. 227-232.
  • Galton A.P., A Critical Examination of Allen's Theory of Action and Time, "Artificial Intelligence" 1990, nr 42, s. 59-188.
  • Gerevini A., Schubert L., Efficient Algorithms for Qualitative Reasoning about Time, "Artificial Intelligence" 1995, nr 74(3), s. 207-248.
  • Gabbay D.M., Hogger C.J., Robinson J.A., Galton A., Handbook of Logic in Artificial Intelligence and Logic Programming, Clarendon Press, Oxford 1995.
  • Giacomo de G., Lespérance Y., Levesque H.J., ConGolog; a Concurrent Programming Language Based on the Situation Calculus: Foundations, http://www.cs.toronto.edu/cogrobo, 1999.
  • Giacomo de G., Lespérance Y., Levesque H.J., ConGolog, a Concurrent Programming Language Based on the Situation Calculus: Language and Implementation, http://www.cs.toronto.edu/cogrobo, 1999.
  • Godo L., Vila L., Possibilistic Temporal Reasoning Based on Fuzzy Temporal Constraints, IJCAI-95, vol. 2, Morgan Kaufmann, Montreal 1995.
  • Gospodarowicz A., Możaryn H., Identyfikacja i szacowanie ryzyka kredytowego, AE, Wrocław 1998.
  • Adaptacyjne systemy zarządzania wiedzą - projekt badawczy wykonany w ramach grantu KBN nr 1H02B 007 16. Akademia Ekonomiczna, Katedra Systemów Sztucznej Inteligencji, Wrocław 1999.
  • Hajnicz E., Reprezentacja logiczna wiedzy zmieniającej się w czasie. Akademicka Oficyna Wydawnicza PLJ, Warszawa 1996.
  • Hayes P.J., The Naive Phisics Manifesto, [w:] D. Michie (red.), Expert Systems in the Micro-electronic Age, Edinburgh 1979.
  • Jaworski W.L., Krzyżkiewicz Z., Kosiński В., Banki: rynek, operacje, polityka, Poltext, Warszawa 1997.
  • Karlsson L., Gustafsson J., Doherty P., Delayed Effects of Actions, Proc. ECAI-98: 13th European Conference on Artificial Intelligence, John Wiley and Sons Ltd. Brighton, 1998, s. 542-546.
  • Kautz H.A., Ladkin P.B., Integrating the Metric and Qualitative Temporal Reasoning, АААI'91, Anhiem, CA, s. 241-246.
  • Kania K., Temporaine bazy danych w systemach informatycznych zarządzania, "Prace Naukowe AE im. K. Adamieckiego w Katowicach", Katowice 2004.
  • Kania K., Kędzierski S., Gołuchowski J., Zależności temporalne w modelowaniu i analizie procesów gospodarczych, "Informatyka" 1998, nr 3(42).
  • Knight B., Ma J., Time Representation: A Taxonomy of Temporal Models, "Artificial Intelligence Review" nr 7, s. 401-419, Kluwer Academic Publishers 1994.
  • Kowalski R.A., Sergot M., A Logic-based Calculus of Events, "New Generation Computing" 1986, nr 4, s. 67-95.
  • Krzyżkiewicz Z., Podręcznik do nauki bankowości, Biblioteka Menedżera i Bankowca, Zarządzanie i Finanse, Warszawa 1996.
  • Kvarnström J., Doherty P., VITAL Research Tool, 1997, http://anton.ida.liu.se/vital/vital.html.
  • Lespérance Y., Levesque H.J., Ruman S.J., An Experiment in Using Golog to Build a Personal Banking Assistant, [w: ] L., Cavedon, A. Rao, W. Wobcke (red.), Intelligent Agent Systems: Theoretical and Practical Issues, LNAI vol. 1209, Springer Verlag 1997.
  • Ma J., Knight B., A General Temporal Theory, "The Computer Journal" 1990.
  • Mazur Z., Wilczek A., On State Diagrams Construction with Dynamic Constraints, Foundations of Computing and Decision Sciences 2004 vol. 29, nr 1-2.
  • Mazur Z., Wilczek A., Ograniczenia dynamiczne w modelowaniu zachowania obiektów, [w:] Problemy i metody inżynierii oprogramowania, red. Z. Huzar, Z. Mazur, WNT, Warszawa 2003.
  • McDermott D., A Temporal Logic for Reasoning about Processes and Plans, "Cognitive Science" 1982, nr 6, s. 101-55.
  • McCarthy J., Hayes P., Some Philosophical Problems from the Standpoint of Artificial Intelligence, [w:] B. Meitzer, D. Michic (red.), Machine Intelligence, s. 463-502, Edinburgh U.P. 1969.
  • Meiri I., Combining Qualitative and Quantitative Constraints in Temporal Reasoning, Proc. AAAI-91: 9th National Conference on Artificial Intelligence vol. 1, AAAI Press/The MIT Press 1991.
  • Morris R., Khatib L., Ligozat G., Generating Scenarios from Specifications of Repeating Events, Proc. TIME'95.
  • Reiter R., Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems, http://www.cs.toronto.edu/cogrobo, 1 maja 2000 r.
  • Reiter R., On Specyfying Database Updates, "Journal of Logic Programming" 1995 vol. 25, s. 25-91.
  • Russell S., Norvig P., Artificial Intelligence. A Modem Approach, Prentice Hall International Inc., Upper Saddle River 1995.
  • Sandewall E., Features and Fluents: A Systematic Approach to the Representation of Knowledge about Dynamical Systems. Oxford University Press 1994.
  • Schwalb E., Dechter R., Processing Temporal Constraint Networks, "Artificial Intelligence" 1997.
  • Schwalb E., Vila L., Temporal Constraints: A Survey, "Constraints" 1998, nr 3(2/3), s. 129-149.
  • Vila L., A Survey on Temporal Reasoning in Artificial Intelligence, "AI Communications" 1994, nr 7(1), s. 4-28.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ekon-element-000171550779

Zgłoszenie zostało wysłane

Zgłoszenie zostało wysłane

Musisz być zalogowany aby pisać komentarze.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.