4 kontakty: Klauzula (matematyka), Rezolucja (matematyka), Subsumpcja (matematyka), Subsumpcja (prawo).
Klauzula (matematyka)
Klauzula – zbiór formuł logicznych.
Nowy!!: Subsumpcja i Klauzula (matematyka) · Zobacz więcej »
Rezolucja (matematyka)
Rezolucja – metoda automatycznego dowodzenia twierdzeń oparta na generowaniu nowych klauzul, aż dojdzie się do sprzeczności.
Nowy!!: Subsumpcja i Rezolucja (matematyka) · Zobacz więcej »
Subsumpcja (matematyka)
Subsumpcja – algorytm eliminacji redundantnych klauzul w rezolucji.
Nowy!!: Subsumpcja i Subsumpcja (matematyka) · Zobacz więcej »
Subsumpcja (prawo)
Subsumpcja lub subsumcja (łac. sub- + sumptio - 'branie', 'przyjmowanie'; por. ang. subsume - 'zaliczać do klasy') – przyporządkowanie (podciągnięcie) stanu faktycznego pod ogólnąnormę (regułę) prawną.