하이브리드 논리학
Hybrid logic하이브리드 논리란 아직 1차 논리보다는 덜하지만 표현력이 더 뛰어난 명제적 모달 논리에 대한 여러 확장을 말한다.형식 논리학에서는 표현성과 계산적 트랙터성 사이에 절충이 있다.혼성논리의 역사는 긴장된 논리로 아서 프라이어의 작품에서 시작되었다.[1]
일반적인 모달 논리와는 달리, 하이브리드 논리는 공식으로 상태(가능 세계)를 언급하는 것을 가능하게 한다.
이것은 정확히 하나의 상태에서 참인 공칭이라고 하는 공식의 종류에 의해 달성되며, 다음과 같이 정의되는 @ 연산자를 사용함으로써 달성된다.
- @i p는 공칭 i(즉, 내가 참인 상태)에 의해 명명된 고유 상태에서 p가 참인 경우에만 참이다.
여분의 연산자나 다른 연산자를 가진 하이브리드 로직은 존재하지만 @은 다소 "표준"이다.
하이브리드 로직은 시간적 로직(명목과 같은 구조를 사용하여 특정 시점을 나타냄)과 공통되는 많은 특징을 가지고 있으며, 현대 모달 논리학에서 연구자들에게 풍부한 아이디어의 원천이다.그들은 또한 특징 논리학, 모델 이론, 증명 이론, 자연 언어의 논리적 분석 분야에서 응용 프로그램을 가지고 있다.또한 공칭수의 사용은 보다 표준적인 말단 TBox 추론뿐만 아니라 주장적인 ABox 추론을 수행할 수 있게 해주기 때문에 서술 논리와도 깊은 관련이 있다.
참조
- ^ Torben Braüner (2008). "Hybrid Logic". Stanford Encyclopedia of Philosophy. Retrieved 1 February 2011.
추가 읽기
- P. 블랙번.2000. 표현, 추리 및 관계 구조: 혼합 논리 선언.인터넷 거버넌스 포럼의 논리 저널, 8:339-365.
외부 링크
и еще ты
