검색 결과

...상 논리]]를 기반으로 한 시간 논리를 가리키는 말로, [[선형 시제 논리]]와 [[계산 트리 논리]] 등이 알려져 있으며 [[컴퓨터 과학]] 분야에서 중요하게 응용되고 있다. == Prior의 시제 논리 (TL) == ...

...[[분기시간논리]]의 한 종류로, 어떤 상태에서 실행이 가능한 상태로의 경로를 트리 구조로 전개한 결과인 계산 트리와 의미론이 정의된 논리 체계이다.<ref>소프트웨어과학기초, TopSE 기초강좌1, 磯部祥尚 외, 近代科学社, {{ISBN|978-4-7659-0355-5}} * [[선형 시제 논리]] ...

...C. I. Lewis 등이 연구한 바 있으며 [[솔 크립키]]의 등장 이후 논리적으로 형식화되었다. [[철학]]을 비롯하여 [[컴퓨터 과학]], [[경제학]], [[언어학]] 등 다양한 분야에서 체계화와 연구가 진행되고 있다. 다만 이것이 실질적으로 [[인식론]]에 적용될 ...는데, 인지자가 믿는 것이 참으로 정해져 있는 것은 아니기 때문에 여러 인식 공리는 성립하지 않게 된다. 이를 다루는 논리를 [[신념 논리]](doxastic logic)이라 한다. ...

...로그램의 정확성(correctness)}} 엄격하게 추론하기 위한 일련의 논리적 규칙을 갖춘 [[형식 체계]]이다. 1969년 영국의 컴퓨터 과학자이자 [[수리 논리학|논리학자]]인 [[토니 호어]]는 호어 논리를 제안하였고, 이후 호어와 다른 연구자들이 호어 논리를 개선하였 ...}})으로, 위의 호어 세 쌍은 전제 조건이 충족된 상태에서 명령을 실행하였을 때 사후 조건이 성립함을 나타낸다. 각 표명은 [[1차 논리]]의 논리식이다. ...

다른 기계학습과 같이-데이터로부터 학습하는- 신경망은 일반적으로 규칙기반 프로그래밍으로 풀기 어려운 [[컴퓨터 비전]] 또는 [[음성 인식]]과 같은 다양한 범위의 문제를 푸는데 이용된다. ...olume=5|pages=115–133|doi=10.1007/BF02478259|issue=4}}</ref> (1943) 수학과 임계 논리(threshold logic)라 불리는 알고리즘을 바탕으로 신경망을 위한 계산학 모델을 만들었다. 이 모델은 신경망 연구의 두 가지 다 ...

[[양자 컴퓨터]]<br/> [[w:Quantum logic gates|양자 논리 게이트]]<br/> ...