Теорема разделения Габбая

В математической логике и информатике формула теорема разделения Габбая , названная в честь Дова Габая , утверждает, что любая произвольная темпоральной логики может быть переписана в логически эквивалентной форме «прошлое → будущее». Т.е. будущее становится тем, что должно быть удовлетворено. ^{[ 1 ]} Эту форму можно использовать в качестве правил выполнения; Программа MetateM представляет собой набор таких правил. ^{[ 2 ]}

Ссылки

^ Фишер, Майкл Дэвид; Габбай, Дов М.; Вила, Луис (2005), Справочник по временным рассуждениям в искусственном интеллекте , Основы искусственного интеллекта, том. 1, Эльзевир, с. 150, ISBN 9780080533360 .
^ Ковальски, Роберт А.; Садри, Фариба (1996), «На пути к единой архитектуре агентов, сочетающей рациональность с реактивностью», Логика в базах данных: Международный семинар LID '96, Сан-Миниато, Италия, 1–2 июля 1996 г., Труды , Конспекты лекций по информатике , том. 1154, Springer-Verlag, стр. 137–149, doi : 10.1007/BFb0031739 , ISBN. 978-3-540-61814-0 .

Эта математической логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее .

Эта по информатике статья незавершена . Вы можете помочь Википедии, расширив ее .

[1] Фишер, Майкл Дэвид; Габбай, Дов М.; Вила, Луис (2005), Справочник по временным рассуждениям в искусственном интеллекте , Основы искусственного интеллекта, том. 1, Эльзевир, с. 150, ISBN 9780080533360 .

[2] Ковальски, Роберт А.; Садри, Фариба (1996), «На пути к единой архитектуре агентов, сочетающей рациональность с реактивностью», Логика в базах данных: Международный семинар LID '96, Сан-Миниато, Италия, 1–2 июля 1996 г., Труды , Конспекты лекций по информатике , том. 1154, Springer-Verlag, стр. 137–149, doi : 10.1007/BFb0031739 , ISBN. 978-3-540-61814-0 .

[ 1 ]

[ 2 ]