Czy problemy typu „obecność na imprezie” można rozwiązać w Prologu? Na przykład: Łopian Muldoon i Carlotta Pinkstone powiedzieli, że przybędą, jeśli przyjdzie Albus Dumbledore. Albus Dumbledore i Daisy Dodderidge powiedzieli, że przybędą, jeśli przyjdzie Carlotta Pinkstone. Albus Dumbledore,...
Jeśli mam trudny problem, jednym ze standardowych sposobów jest wyrażenie go jako instancji SAT i próby uruchomienia na nim solvera SAT. Innym standardowym podejściem jest wyrażenie go jako problemu satysfakcji z ograniczeń i próba użycia solvera CSP. Obaj czują się nieco niejasno pod względem...
Rozważ model CSP, w którym zmiana wartości konkretnej zmiennej jest kosztowna. Czy jest jakaś praca, w której funkcja celu bierze również pod uwagę liczbę zmian wartości zmiennej podczas procesu wyszukiwania? Przykład: Zmienna kosztowna do zmiany może być pod kontrolą jakiegoś innego agenta i...