Plynulý počet - Fluent calculus
The plynulý počet je formalismus pro vyjádření dynamických domén v logika prvního řádu. Jedná se o variantu situační kalkul; hlavní rozdíl je v tom, že situace jsou považovány za reprezentace států. Symbol binární funkce se používá ke zřetězení pojmů představujících fakta, která platí v dané situaci. Například, že pole je na stole v situaci je reprezentován vzorcem . The problém s rámem je vyřešen tvrzením, že situace po provedení akce je stejná jako ta předchozí, ale za podmínek změněných akcí. Například akce přesunutí pole ze stolu na podlahu je formována jako:
Tento vzorec uvádí, že stav po přesunutí je přidán termín a odstranil termín . Axiomy specifikující to je komutativní a neidempotentní, aby tyto axiomy fungovaly.
Viz také
Reference
- M. Thielscher (1998). Úvod do plynulého počtu. Elektronické transakce o umělé inteligenci, 2(3–4):179–192.
- M. Thielscher (2005). Reasoning Robots - Umění a věda programování robotických agentů. Svazek 33 Applied Logic Series. Springer, Dordrecht.
Tento logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |