Zrównoleglanie obliczeń w prostym systemie wnioskującym

• Autorzy: Meissner A.

Warianty tytułu

EN

A parallelisation of computations in the simple inference system

• Języki publikacji: PL

Abstrakty

PL

W artykule przedstawiono prosty system wnioskujący dla logiki pierwszego rzędu, którego pierwowzorem jest prologowy program lean TAP autorstwa Beckerta i Possegi. System zaiplmementowano w języku Oz w paradygmacie relacyjnym, będącym częścią metodyki programowania wieloparadygmatowego. Podejście to pozwala na zadawanie strategii obliczeniowej jako parametru wykonania programu. W konsekwencji, obliczenia mogą być prowadzone na różne sposoby, w tym także równolegle w środowisku rozproszonym. Zmiana strategii obliczeniowej, podobnie jak zmiana konfiguracji środowiska praktycznie nie wymaga modyfikowania kodu programu. W pracy przedstawiono także wstępne wyniki eksperymentów mających na celu zbadanie efektywności opisywanego rozwiązania.

EN

We present a simple inference system for the first order logic based on a Prolog program called lean TAP (by Beckert and Possega). The system is implemented in the Oz language using the relational programming paradigm, which is a part of the multiparadigm programming methodology. In this approach a computational strategy is given to a program as an execution parameter. Therefore, computations in the system may be performed according to various strategies, also in parallel on distributed machines. Moreover, the exchange of strategies as well as modifications of the computational environment nearly do not affect the code. We also describe some initial results of experiments intended for estimating the efficiency of the presented solution.

Słowa kluczowe

PL

prosty system wnioskujący; program relacyjny w języku Oz

EN

simple inference system; relational programming Oz language

• Wydawca: Poznańskie Towarzystwo Przyjaciół Nauk
• Czasopismo: Studia z Automatyki i Informatyki
• Rocznik: 2006
• Tom: T. 31
• Strony: 63--78
• Opis fizyczny: Bibliogr. 7 poz., rys., tab.

Twórcy

autor

Meissner A.

• Politechnika Poznańska, Instytut Automatyki i Inżynierii Informatycznej, Zakład Technologii i Systemów Informatycznych, pl. M. Skłodowskiej-Curie 5, 60-965 Poznań,

Bibliografia

• [1] Beckert B., Posegga J., lean TAP: Lean, Tableau-based Deduction, Journal of Automated Reasoning, 1995, Vol. 15(3), s. 339-358.
• [2] Bonacina M. P., A taxonomy of parallel strategies for deduction, Annals of Mathematics and Artificial Intelligence, 2000, Vol. 29(1-4), s. 223-257.
• [3] Gentzen G., Untersuchngen über das logische Schliessen, Math. Zeitschrift, 1934, Vol. 39, s. 176-210.
• [4] Loveland D. W., Automated Theorem Proving: A Logical Basis, Amsterdam, North-Holland Publishing Company 1978.
• [5] Sutcliffe G., Suttner C. B., Yemenis T., The TPTP Problem Library, Lecture Notes In Computer Science, 1994, Vol. 814, s. 252-266.
• [6] Smullyan R. M., First-Order Logic, Berlin, Springer 1968.
• [7] Roy P. Van, Haridi S., Concepts, Techniques, and Models of Computer Programming, Cambridge, The MIT Press 2004.