Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania