Dedukcja częściowa jako uogólnienie wnioskowania rezolucyjnego

• Autorzy: Meissner A.

Warianty tytułu

EN

Partial deduction as a generalization of resolution inference technology

• Języki publikacji: PL

Abstrakty

PL

W artykule przedstawia się wybrane zagadnienia dotyczące reguły rezolucji, jej wykorzystania w programowaniu w logice oraz metody dedukcji częściowej jako uogólnienia strategii wnioskowania rezolucyjnego. Prezentuje się także niektóre obszary zastosowań dedukcji częściowej, jak konstruowanie odpowiedzi intensjonalnych w dedukcyjnych bazach danych. Podaje się przykład tego rodzaju bazy danych, którym jest system przeznaczony do gromadzenia i przetwarzania wiedzy prawnej.

EN

In this paper we present some selected problems concerning resolution principle, it's application to logic programming and partial deduction method as a generalization of resolution inference strategy. We also point out some fields of application of this method. One of them is a construction of intensional answers in deductive databases. We briefly describe an example of such a system dedicated to legal knowledge processing.

Słowa kluczowe

PL

wnioskowanie rezolucyjne; system LKB

EN

resolution inference; LKB system

• Wydawca: Poznańskie Towarzystwo Przyjaciół Nauk
• Czasopismo: Studia z Automatyki i Informatyki
• Rocznik: 2000
• Tom: T. 25
• Strony: 147--158
• Opis fizyczny: Bibliogr. 22 poz., rys.

Twórcy

autor

Meissner A.

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

Bibliografia

• [1] Benkerimi K., Lloyd J.W.: A Partial Evaluation Procedure for Logic Programs. W pracy: Debray S., Hermenegildo M. (red.), Logic Programming, Proc. of the North American Conference, MIT Press 1990, s. 343-358.
• [2] Clark K.L.: Negation as Failure. W pracy [6], s. 293-322.
• [3] Colmerauer A., Kanoui H., Rossule P., Pasero R.: Un Systeme de Communication Homme-Machine. Groupe de Recherche en Intelligence Artificielle, Universite d'Aix-Marseille, 1973.
• [4] De Giacomo G.: Intensional Query Answering by Partial Evaluation. Journal of Intelligent Systems, 1996.
• [5] Futamura Y.: Partial Evaluation of Computation Process - an Approach to Compiler-Compiler. Systems, Computers, Controls, vol. 2, nr 5, 1971, s. 91-118.
• [6] Gallaire H., Minker J. (red.): Logic and Databases. New York, Plenum 1978.
• [7] Gallagher J. P.: Tutorial on Specialisation of Logic Programs. w: ACM SIGPLAN Symp. on Partial Evaluation and Semantic-Based Program Manipulation, Kopenhaga 1993, s. 88-98.
• [8] Gentzen G.: Untersuchngen über das logische Schliessen. Math. Zeitschrift, XXXIX, 1934, s.176-210.
• [9] Imieliński T.: Intelligent Query Answering in Rule Based Systems. Journal of Logic Programming, vol. 4, nr 3, 1987, s. 229-257.
• [10] Komorowski J.: A Specification of An Abstract Prolog Machine and Its Application to Partial Evaluation. PhD thesis, Department of Computer and Information Science, Linköping University, Linköping 1981.
• [11] Komorowski J.: A Prolegomenon to Partial Deduction. Fundamenta Informaticae, IOS Press, vol. 18, nr 1, 1993, s. 41-64.
• [12] Leuschel M., De Schreye D.: Constrained Partial Deduction and the Preservation of Characteristic Trees. Report CW250, Dept. of Computer Science, K. U. Leuven, 1997.
• [13] Lloyd J.W.: Foundations of Logic Programming. 2nd edition, Springer Verlag, Berlin 1987.
• [14] Lloyd J.W., Shepherdson J.C.: Partial Evaluation in Logic Programming. Journal of Logic Programming, vol. 11, nr 3, 4, 1991, s. 242-271.
• [15] Martinek J., Pietrzak P.: Architektura metawarstwowa systemów i tworzenie jej w Prologu. Wydawnictwo Politechniki Poznańskiej, Poznań 1996.
• [16] Meissner A.: System bazy wiedzy z algorytmami wnioskowania wykorzystującymi dedukcję częściową. Rozprawa doktorska, Wydział Elektryczny Politechniki Poznańskiej, Poznań 1999.
• [17] Minker J., Gallaire H., Nicolas J.-M.: Logic and Databases: A Deductive Approach. ACM Computing Surveys, vol. 16, nr 2, 1984, s. 153-185.
• [18] Pfenning F. (red.): Types in Logic Programming. MIT Press, Londyn 1992.
• [19] Reiter R.: On Closed World Data Bases. W pracy [6], s. 55-76.
• [20] Robinson J.R.: A Machine Oriented Logic Based on Resolution Principle. Journal of ACM, vol. 12, 1965, s. 23-41.
• [21] Weyhrauch R. W.: Prolegomena to a Theory of Mechanized Formal Reasoning. Artificial Intelligence, vol. 13, 1980, s. 133-170.
• [22] Wójcik M.: Zasada rezolucji. Teoria, praktyka, kierunki rozwoju. Raport nr 662, Wydawnictwo IPI PAN, Warszawa 1989.