-
Data: 2003-05-27 18:50:52
Temat: Re: SUBSUMPCJA
Od: "sparkov" <b...@i...pl> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]znalazlem cos takiego , w tescie mam subsumpcje - test jest zprawa:)
"""""""""""""
Subsumpcja (ang. subsuption) to algorytm eliminacji redundantnych klauzul w
rezolucji.
Jest oczywiste, ze jeśli mamy klauzule p(x) oraz p(A), gdzie A to jakaś
stała, x natomiast to zmienna, nie ma potrzeby trzymać tej drugiej, bo
wynika z bardziej ogólnej klauzuli p(x).
Subsumpcja jest bardzo ważną częścią systemów automatycznego dowodzenia
twierdzeń opartych na rezolucji - dzięki niej zamiast mieć bazę twierdzeń w
rosnącym stopniu zapełnioną przez twierdzenia szczegółowe, w miarę postępu
dowodu mamy w niej twierdzenia bardziej ogólne, które rokują o wiele większe
nadzieje.
""""""""""""
Najnowsze wątki z tej grupy
- Korekta prognozy
- ROBERT GWIAZDOWSKI: PO CO NAM ZWIĄZKI PARTNERSKIE?
- Czy można orzekać po pijaku?
- reparacje
- ustawienie przetargu
- Przeszukiwanie baz i netu
- Mini Netykieta polskich grup dyskusyjnych
- Re: Jak wypełnić polecenie francuskiego sądu blokowania niektórych zapytań DNS? Blokując Francję
- Re: Powtórne wezwanie na PO-komisję uzdrowi Ziobrę już w 10 dni
- Re: Jak wypełnić polecenie francuskiego sądu blokowania niektórych zapytań DNS? Blokując Francję
- Re: Jak Sejm się przygotował na M. Wosia na PO-komisji rewizją/przeszukaniem w hotelu sejmowym
- AKCJA "PAPROTKA". KURIOZALNY PROJEKT MINISTERSTWA SPRAWIEDLIWOŚCI
- IMiGW 2 stopień ostrzeęnia upały
- picie piwa na terenie kampusu uniwersyteckiego
- I znowu prokuratura szuka paragrafu
Najnowsze wątki
- 2024-07-04 Korekta prognozy
- 2024-07-04 ROBERT GWIAZDOWSKI: PO CO NAM ZWIĄZKI PARTNERSKIE?
- 2024-07-03 Czy można orzekać po pijaku?
- 2024-07-02 reparacje
- 2024-07-02 ustawienie przetargu
- 2024-07-02 Przeszukiwanie baz i netu
- 2024-07-01 Mini Netykieta polskich grup dyskusyjnych
- 2024-07-01 Re: Jak wypełnić polecenie francuskiego sądu blokowania niektórych zapytań DNS? Blokując Francję
- 2024-07-01 Re: Powtórne wezwanie na PO-komisję uzdrowi Ziobrę już w 10 dni
- 2024-06-30 Re: Jak wypełnić polecenie francuskiego sądu blokowania niektórych zapytań DNS? Blokując Francję
- 2024-06-28 Re: Jak Sejm się przygotował na M. Wosia na PO-komisji rewizją/przeszukaniem w hotelu sejmowym
- 2024-06-27 AKCJA "PAPROTKA". KURIOZALNY PROJEKT MINISTERSTWA SPRAWIEDLIWOŚCI
- 2024-06-27 IMiGW 2 stopień ostrzeęnia upały
- 2024-06-26 picie piwa na terenie kampusu uniwersyteckiego
- 2024-06-25 I znowu prokuratura szuka paragrafu