간격 시간 논리학
Interval temporal logic |
인터벌 시간 논리(Interval temporary logic, 또한 interval logic)는 순차적 및 병렬적 구성을 모두 처리할 수 있는 기간에 대한 제안적 및 1차적 논리 추론을 모두 나타내기 위한 시간적 논리다.무한한 상태의 시퀀스를 다루는 대신에, 간격 시간 로직은 유한 시퀀스를 다룬다.
인터벌 타임 로직은 컴퓨터 과학, 인공지능, 언어학에서 응용 분야를 찾는다.1차 간격 시간적 로직은 하드웨어 프로토콜의 사양과 검증을 위해 1980년대에 처음 개발되었다.인터벌 시간 논리학(ITL)은 벤 모스코프스키가 스탠퍼드 대학교에서 논문을 위해 원래 개발한 시간 논리학의 구체적인 형태다.[1]컴퓨터 기반 시스템의 하드웨어와 소프트웨어에 대한 공식적인 설명에 유용하다.이 과정에 도움이 되는 도구를 이용할 수 있다.Tempura는 실행 가능한 ITL 프레임워크를 제공한다.구성성은 ITL 설계에서 중요한 이슈와 고려사항이다.
인터벌 타임 로직의 주목할 만한 파생상품은 그래픽 인터벌 논리, 서명 인터벌 논리 및 미래 인터벌 로직이다.
