PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 1

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  wnioskowanie rezolucyjne
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Dedukcja częściowa jako uogólnienie wnioskowania rezolucyjnego
Meissner A.
Studia z Automatyki i Informatyki
|
2000
|
T. 25
147-158
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.
first rewind previous Strona / 1 next fast forward last
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ć.