Wiedza o sterowaniu obliczeniami w interakcyjnym systemie wykonywania programów prologowych

• Autorzy: Brzykcy G.

Warianty tytułu

EN

Control knowledge in interactive execution system for prolog programs

• Języki publikacji: PL

Abstrakty

PL

W pracy analizujemy postać wiedzy o sterowaniu procesem wykonywania programów prologowych. Nawiązujemy do propozycji interakcyjnego systemu wykonywania programów, w którym oddzielono różne aspekty wiedzy uczestniczącej w obliczeniu i zaproponowano ich specyfikowanie w odrębnych programach. Przedstawiamy podstawowe decyzje sterujące i przytaczamy przykłady różnych startegii prowadzenia obliczeń. Proponujemy język do opisu sterowania oraz narzucenie hierarchicznej struktury na wiedzę o sterowaniu.

EN

In the paper an analysis of control knowledge for Prolog programs is presented. We extract two main control decisions and propose a language for control knowledge specification. Some special computation rules are defined. We also suggest a hierarchical structure of control knowledge to support a process of knowledge specification.

Słowa kluczowe

PL

program prologowy; decyzja sterująca; sterowanie

EN

prolog program; control decision; control

• Wydawca: Poznańskie Towarzystwo Przyjaciół Nauk
• Czasopismo: Studia z Automatyki i Informatyki
• Rocznik: 1998
• Tom: T. 23
• Strony: 41--52
• Opis fizyczny: Bibliogr. 13 poz.

Twórcy

autor

Brzykcy G.

• Politechnika Poznańska, Katedra Automatyki, Robotyki i Informatyki, Pl. M. Skłodowskiej-Curie 5, 60-965 Poznań

Bibliografia

• [1] Bolc L., Czuba K., Kupść A., Marciniak M., Mykowiecka A., Przepiórkowski A.: A Survey of Systems for Implementing HPSG Grammars. Prace IPI PAN nr 814, Warszawa 1996.
• [2] Brzykcy G.: Model interakcyjnego systemu wykonywania programów prologowych. Studia z Automatyki i Informatyki, t. 21, 1996, s. 7-19.
• [3] Brzykcy G.: Zagadnienie interakcyjnego wykonywania programów Prologu. Rozprawa doktorska, Politechnika Poznańska 1996.
• [4] Gallaire H., Lasserre C.: Metalevel Control for Logic Programs. Logic Programming, Academic Press, 1982, s. 173-185.
• [5] Hill P., Lloyd J.: The Gödel Programming Language. MIT Press, 1994.
• [6] Kowalski R.: Predicate Logic as a Programming Language. Proceedings of IFIP Congress, North-Holland, Stockholm 1974.
• [7] Lakhotia A., Sterling L.: How to Control Unfolding when Specializing Interpreters. New Generation Computing, 8, Springer-Verlag, 1990.
• [8] Lloyd J.: Foundations of Logic Programming. Springer-Verlag, 1987.
• [9] Naish L.: Negation and Control in PROLOG. Ph.D. Thesis, Department of Computer Science, University of Melbourne, 1985.
• [10] Robinson J.: A Machine-Oriented Logic Based On the Resolution Principle. JACM, Jan. 1965, s. 23-41.
• [11] Sterling L., Shapiro E.: The Art of Prolog. MIT Press, 1986.
• [12] Ullman J.: Principles of DataBase Systems. Computer Science Press, Rockwille 1982.
• [13] Welham B.: Declaratively Programmable Interpreters and Meta-Level Inference. w pracy: Maes P., Nardi D. (eds.) Meta-Level Architectures and Reflection, Elsevier Science Publishers, 1988, s. 287-299.