가베이의 분리 정리

Gabbay's separation theorem

수학논리와 컴퓨터과학에서 도브 가베이의 이름을 딴 가베이의 분리정리는 어떤 임의의 시간적 논리 공식도 논리적으로 동등한 '과거→미래' 형태로 다시 쓸 수 있다고 명시하고 있다.즉, 미래는 만족해야 하는 것이 된다.[1]이 양식은 실행 규칙으로 사용될 수 있다; MetateM 프로그램은 그러한 규칙들의 집합이다.[2]

참조

  1. ^ Fisher, Michael David; Gabbay, Dov M.; Vila, Lluis (2005), Handbook of Temporal Reasoning in Artificial Intelligence, Foundations of Artificial Intelligence, vol. 1, Elsevier, p. 150, ISBN 9780080533360.
  2. ^ 코왈스키 씨 로버트 A.;Sadri, Fariba(1996년),"통일 요원 건축을 향하여 무언 가가 Reactivity과 합리성과", 논리 Databases에:.국제 워크숍 LID 96, 산 미니아토, 이탈리아, 7월 1ÔÇô2, 1996, 회보, 강의 노트 컴퓨터 과학으로, Springer-Verlag,를 대신하여 서명함. 137–149, doi:10.1007/BFb0031739, 아이 에스비엔 978-3-540-61814-0 1154년 vol..


Stub icon

이 수학적 논리 관련 논문은 단조롭다.위키피디아를 확장하여 도울 수 있다.

Stub icon

이 컴퓨터 과학 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.