PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2004 | nr 1011 Pozyskiwanie wiedzy i zarządzanie wiedzą | 200--209
Tytuł artykułu

Wspomaganie podejmowania decyzji za pomocą wnioskowania temporalnego

Autorzy
Treść / Zawartość
Warianty tytułu
The Temporal Reasoning for Decision Making Improvement
Języki publikacji
PL
Abstrakty
Autorka zajęła się kwestią wspomagania decyzji przy wykorzystaniu wnioskowania temporalnego, w którym czas ujęty jest explicite. W tym celu scharakteryzowała obszary zastosowań logik temporalnych. Dalej zaprezentowała dwa główne podejścia do wnioskowania temporalnego oraz, w ramach jednego z nich, przedstawiła język TAL, który został wykorzystany w przykładzie. Kolejnym punktem było przedstawienie sytuacji decyzyjnej i jej rozwiązanie za pomocą języka TAL i narzędzia VITAL. Artykuł zakończyła podsumowaniem i wnioskami.
EN
The article concerns temporal reasoning in decision making process. The areas of application for temporal logic are presented in short. There are pointed out two main attempts to temporal reasoning and a TAL language as an example of one of those attempts. Next, TAL language is used to solve an exemplary decision making situation. There are pointed out advantages and disadvantages of the solution proposed. (original abstract)
Twórcy
autor
Bibliografia
  • Bench-Capon Т., Coenen F., The maintenance of legal knowledge based systems. "Artificial Intelligence Review", Vol. 6, No. 2, 1992, Kluwer Academic Publishers.
  • Bouzid M, Ligęza A., Temporal representation based on characteristic functions. Proc. FLAIRS-95: Eighth Florida Artificial Intelligence Symposium, April 27-29, 1995, pp. 167-171.
  • Bouzid M, Ligęza A., Temporal Causal Networks for Simulation and Diagnosis. Proc. AAAI-96: 13th National Conference on Artificial Intelligence, Portland, Oregon, pp. 89-97 (working notes).
  • Brusoni V., Console L., Pernici В., Terenziani P., LaTeR: a general purpose manager of temporal information. W: Ras Z. W., Zemankova M. (eds.), Methodologies for Intelligent Systems. Proc. ISMIS-94: 8th International Symposium. Springer-Verlag, 1994.
  • Doherty P., Gustafsson J., Delayed Effects of Actions = Direct Effects + Causal Rules. Linköping Electronic Articles in Computer and Information Science, Vol. 3(1998): nr 1. http://www.ep.liu.se/ea/cis/1998/001/. January 26, 1998.
  • Doherty P., Reasoning about action and change using occlusion. Proc. Of 11th ECAI, Amsterdam, John Wiley and Sons, Ltd., 1994.
  • Funge J., Representing Knowledge within the Situation Calculus using Interval-valued Epistemic Fluents. "Journal of Reliable Computing", Kluwer, issue 1, vol. 5, 1999. http://www.cs.toronto.edu/~funge.
  • Galton A., Time and Change for Al, w: Gabbay D. M., Hogger C. J., Robinson J. A. (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 4: Epistemic and Temporal Reasoning. Clarendon Press, Oxford 1995.
  • Hajnicz E., Reprezentacja logiczna wiedzy zmieniającej się w czasie. Akademicka Oficyna Wydawnicza PLJ, Warszawa 1996.
  • Halpern J. Y., Reasoning About Knowledge: A Survey, w: Gabbay D. M., Hogger C. J., Robinson J. A. (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 4: Epistemic and Temporal Reasoning. Clarendon Press, Oxford 1995.
  • Hauke K., Formalizacja wiedzy dynamicznej za pomocą wybranych metod statystycznych. W: Baborski A. (red.), Pozyskiwanie wiedzy z baz danych. Materiały konferencyjne, Prace naukowe AE Wrocław nr 891, Wrocław 2001.
  • Kania K., Temporalne modele przedsiębiorstwa w systemach informatycznych zarządzania. Rozprawa doktorska, Akademia Ekonomiczna im. K. Adamieckiego w Katowicach, Wydział Zarządzania, Katowice 1999.
  • Kania K., Odkrywanie i wyszukiwanie wzorców w szeregach czasowych, [w:] Baborski A. (red.), Pozyskiwanie wiedzy z baz danych. Materiały konferencyjne, Prace naukowe AE Wrocław nr 891, Wrocław 2001.
  • Karlsson L., Gustafsson J., Doherty P., Delayed Effects of Actions. Proc. ECAI-98: 13th European Conference on Artificial Intelligence, Brighton. John Wiley and Sons, Ltd., 1998, pp. 542-546.
  • Klimek R., Wprowadzenie do logiki temporalnej. Uczelniane Wydawnictwa Naukowo dydaktyczne AGH, Kraków 1999.
  • Kvamström J., Doherty P., VITAL research tool, 1997. http://anton.ida.liu.se/vital/vital.html
  • Kwong Ch., Representing time, w: Ringland G. A., Duce D. A. (eds.), Approaches to Knowledge Representation: An Introduction. Research Studies Press Ltd., Taunton, Somerset, England, John Wiley & Sons Inc., 1989.
  • Lespérance Y., Kelley T. G., Mylopoulos J., Yu E. S. K., Modeling Dynamic Domains with ConGolog, w: Jarke M., Oberweis A. (eds.), Advanced Information Systems Engineering, 11th International Conference CaiSE'99, Heidelberg, Germany, June 14-18, 1999, Proceedings. "Lecture Notes in Computer Science", Vol. 1626, Springer, 1999, pp. 365-380.
  • Lespérance Y., Levesque H. J., Ruman S. J., An experiment in Using Golog to Build a Personal Banking Assistant, [w: ] Cavedon L., Rao A., Wobcke W. (eds.), Intelligent Agent Systems: Theoretical and Practical Issues. LNAI Volume 1209, Springer-Verlag 1997.
  • Mach M., Dynamiczna analiza barier wejścia na rynek jako zadanie dla narzędzia inteligentnego. Prace Naukowe AE Wrocław nr 975, s. 291-303, Wrocław 2003.
  • Mackaay E., Poulin D., Fremont J., Bratley P., Deniger C., The logic of time in law and legal expert systems. "Ratio Juris" 3(2), 1990, pp. 254-271.
  • McDermott D., A temporal logic for reasoning about processes and plans. "Cognitive Science" Vol. 6, pp. 101-155, 1982.
  • Nycz M., Mach M., Dual, Temporal-Deductive Systems for Decision-making Tasks, "Transactions in International Information Systems", 2001 No. 3, pp. 99-111.
  • Pnueli A., The temporal logic of programs. Proc. 18th IEEE Symposium on Foundations of Computer Science. IEEE Computer Society Press, New York, 1977, pp. 46-67.
  • Poulin D., Mackaay E., Bratley P., Fremont J., Time Server - a legal time specialist. Proc. Third International Conference on Logic, Informatics, Law. Florence, 2-5 November 1989.
  • Reiter R., Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems, Version of May 1, 2000. http://www.cs.toronto.edu/cogrobo.
  • Sandewall E., Features and Fluents: A Systematic Approach to the Representation of Knowledge about Dynamical Systems. Oxford University Press, 1994.
  • Tsang E. P. К., Time structures for Al. Proc. IJCAI-87: 10th International Joint Conference on Artificial Intelligence, Morgan Kaufman Publishers, 1987, pp. 456-461.
  • Vila L., A Survey on Temporal Reasoning in Artificial Intelligence. AI Communications, 7(1), 1994, pp. 4-28.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ekon-element-000095658794

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ć.