Gabbaysova věta o separaci - Gabbays separation theorem - Wikipedia

v matematická logika a počítačová věda, Gabbayova věta o oddělení, pojmenoval podle Dov Gabbay, uvádí, že libovolné časová logika vzorec lze přepsat do a logicky ekvivalentní formulář „minulost → budoucnost“. Tj. budoucnost se stane tím, co musí být uspokojeno.^[1] Tento formulář lze použít jako pravidla provádění; A MetateM program je soubor takových pravidel.^[2]

Reference

^ Fisher, Michael David; Gabbay, Dov M .; Vila, Lluis (2005), Příručka dočasného uvažování v umělé inteligenci Základy umělé inteligence, 1, Elsevier, s. 150, ISBN 9780080533360.
^ Kowalski, Robert A .; Sadri, Fariba (1996), „Směrem k architektuře Unified Agent, která kombinuje racionalitu s reaktivitou“, Logika v databázích: International Workshop LID '96, San Miniato, Itálie, 1. července - ÔÇô2, 1996, sborník, Přednášky z informatiky, 1154, Springer-Verlag, str. 137–149, doi:10.1007 / BFb0031739, ISBN 978-3-540-61814-0.

Tento matematická logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.

Tento počítačová věda článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.

[1] Fisher, Michael David; Gabbay, Dov M .; Vila, Lluis (2005), Příručka dočasného uvažování v umělé inteligenci Základy umělé inteligence, 1, Elsevier, s. 150, ISBN 9780080533360.

[2] Kowalski, Robert A .; Sadri, Fariba (1996), „Směrem k architektuře Unified Agent, která kombinuje racionalitu s reaktivitou“, Logika v databázích: International Workshop LID '96, San Miniato, Itálie, 1. července - ÔÇô2, 1996, sborník, Přednášky z informatiky, 1154, Springer-Verlag, str. 137–149, doi:10.1007 / BFb0031739, ISBN 978-3-540-61814-0.

[1]

[2]