그랬었습니다

논리 말로 표현된 문장들에 대한 타당한 추론을 위해, 기호를 사용하여 문장들을 표현하고 기호의 조작을 통해 문장들의 참 또는 거짓을 판정하는 분야 명제 논리(propositional logic) 명제(proposition) 참, 거짓을 분명하게 판정할 수 있는 문장 명제를 P, Q등과 같은 기호로 표현 명제 기호의 진리값(truth value)을 사용하여 명제들에 의해 표현 문장 자체의 내용에 대해서는 무관심, 문장의 진리값에만 관심 기본 명제(primitive proposition) 하나의 진술(statement)로 이루어진 최소 단위의 명제 복합 명제(compound proposition) 기본 명제들이 결합되어 만들어진 명제 논리식(logical expression) 명제를 기호로 표현한 형식 명제..

프레임(frame) 민스키가 제안한 지식표현 방법 특정 객체 또는 개념에 대한 전형적인 지식을 슬롯(slot)의 집합으로 표현하는 것 프레임의 구성 요소 슬롯(slot) 객체의 속성(attribute)을 기술하는 것 슬롯 이름(slot name)과 슬롯 값(slot value)으로 구성됨 슬롯 값(slot value) 복수 개의 패싯(facet)과 데몬(demon)으로 구성됨 패싯(facet) '측면' 또는 '양상'을 의미 속성에 대한 부가적인 정보를 지정하기 위해 사용 패싯 이름과 패싯 값의 쌍으로 구성 패싯 이름 value = 속성값(수, 문자열, 다른 프레임의 포인터 등) data-type = 속성값의 자료형 default = 디폴트값(속성값이 주어지지 않을 때 사용되는 초기값) require = ..