Język akcji

Ten artykuł od 2013-06 wymaga zweryfikowania podanych informacji.

Należy podać wiarygodne źródła w formie przypisów bibliograficznych.
Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte.
Sprawdź w źródłach: Encyklopedia PWN • Google Books • Google Scholar • Federacja Bibliotek Cyfrowych • BazHum • BazTech • RCIN • Internet Archive (texts / inlibrary)
Dokładniejsze informacje o tym, co należy poprawić, być może znajdują się w dyskusji tego artykułu.
Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.

Język akcji – język dla określenia systemu stanów przejściowych, powszechnie używany do tworzenia formalnych modeli o skutkach działań na świecie. Języki akcji są powszechnie stosowane w sztucznej inteligencji i dziedzinach robotyki, w których opisują, jak akcje wpływają na stany systemu w czasie i co może być używane do automatycznego planowania. Najbardziej znanym językiem akcji jest PDDL. Języki działania dzielą się na dwie klasy:

Języki opisu akcji
i języki akcji kwerendy.

Przykłady są m.in. języki STRIPS, PDDL, język A (uogólnienie STRIPS), język B (rozszerzenie języka A, dodający efekt pośredni, rozróżniania prawa statyczne i dynamiczne) i język C (który również dodaje efekt pośredni, ale nie zakłada, że każda płynność jest automatycznie "inercyjna"). Istnieją również języki akcji kwerendy P, Q i R. Istnieje kilka różnych algorytmów do konwersji języków akcji - w szczególności języka akcji C, aby odpowiedzieć na określone programy. Od nowoczesnych odpowiadaczy wykorzystuje się boolean SAT - algorytmy do bardzo szybkiego ustalenia spełnialności. Oznacza to, że języki akcji mogą również korzystać z postępów osiągniętych w dziedzinie logicznej rozwiązywań SAT.

Formalna definicja
Wszystkie języki akcji uzupełniają definicję system stanów przejściowych ze zbioru F o płynności, V zestaw wartości, z które płynność może się brać i mapowanie funkcji S x F do V, gdzie S jest zbiorem stanów systemu przejściowego.