차례:
정의-시간적 논리는 무엇을 의미합니까?
시간적 논리는 시간에 의존하는 진실의 가치를 갖는 제안에 관한 문제와 관련된 상징적 논리의 한 가지입니다. 시간적 논리는 가능한 세계의 집합으로 표현 될 수있는 명제를 다루는 논리의 한 가지 인 모달 논리의 변형으로 간주됩니다. 시간 논리는 시간에 따라 추론과 표현에 대한 모든 접근 방식을 다루는 데 사용됩니다.
시간적 논리의 응용은 시간을 기반으로하는 철학적 문제에서의 추론, 시간적 지식을 인코딩하기위한 인공 언어의 언어, 컴퓨터 응용 프로그램 및 시스템의 하드웨어 및 소프트웨어 요구 사항의 공식 분석, 사양 및 검증을위한 도구로 사용됩니다.
Techopedia는 시간 논리를 설명합니다
일시적인 제안의 두드러진 특징 중 하나는 대부분 시간 조건에 대한 암시 적 또는 명시 적 참조를 가지고 있다는 것입니다. 이는 시대를 초월한 제안에 중점을 둔 고전적인 논리와는 대조적입니다. 시간적 논리는 시간적 수량 자 덕분에 시간 관련 제안으로 추론하기위한 가장 적절하고 적절한 수단 중 하나입니다. 고전적 논리는 시간적 특성을 다룰 수 있지만, 시점을 표현해야 할 때 공식은 종종 복잡한 경향이 있습니다.
시간 논리의 개념은 1960 년 Arthur Prior에 의해 다른 컴퓨터 과학자들과 논리 학자에 의해 더욱 확장 된 "인장 논리"로 처음 소개되었습니다. 시간적 논리는 공식의 진실이나 허위에 중점을 두지 않고, 밸류에이션이 변경 되더라도 시간의 흐름을 통해 진실로 유지되는 공식에 중점을 둡니다.
시간 논리에는 모달 연산자와 논리 연산자라는 두 가지 유형의 연산자가 있습니다. 모델 연산자는 주로 계산 트리 논리 및 선형 시간 논리에 사용되는 반면 논리 연산자는 대부분 진실 함수 연산자입니다. 신호 시간 로직, 간격 시간 로직, 메트릭 간격 시간 로직, 선형 시간 로직, 계산 트리 로직 및 기타는 시간 로직의 일부를 형성합니다.
