SNePS
SNePSSNePS는 스튜어트 C가 개발하고 유지하는 지식 표현, 추리, 연기(KRRA) 시스템이다.버팔로 뉴욕 주립대학의 샤피로와 동료들.
SNePS는 논리 기반, 프레임 기반, 네트워크 기반 KRRA 시스템이다.SNePS 지식 기반(KB)이 다양한 실체에 대한 일련의 주장(제안)으로 구성된다는 점에서, 그것은 지식의 주장 모델을 사용한다.의도된 모델은 정신 실체, 즉 어떤 대리인에 의해 구상된 실체, 그리고 그것에 의해 믿어진 명제들의 집중적인 영역이다.어떤 두 개의 구문론적으로 다른 용어들이 약간 다른 프레지안 감각을 가지고 있을 수 있기 때문에, 장력은 기본적으로 내장된 평등 연산자의 부재에 의해 달성된다.
SNePS는 논리 기반 성격에서 파생된 공식 기반, 프레임 기반 성격에서 파생된 슬롯 기반 및 네트워크 기반 성격에서 파생된 경로 기반 방식의 세 가지 추론을 가지고 있다.그러나 세 개 모두 통합되어 함께 운용되고 있다.
SNePS는 독립형 KRR 시스템으로 사용할 수 있다.또한 GLAIR 에이전트 아키텍처(계층 인지 아키텍처)에 맞추어 지능형 에이전트(인지 로봇)의 마인드를 구현하기 위해 통합적인 행동 요소와 함께 사용되어 왔다.SNePS 연구 그룹은 종종 에이전트들을 캐시라고 부른다.
로직 기반 시스템으로서의 SNePS
논리 기반 시스템으로서 SNePS KB는 일련의 용어, 그리고 그러한 용어들에 대한 함수와 공식으로 구성된다.논리 연결 및 정량자 집합은 1차 로직에서 사용하는 통상적인 집합을 확장하며, 모두 하나 이상의 임의 크기의 인수 집합을 취한다.자연언어 경쟁 지능 에이전트의 정신을 나타내기 위해 SNePS를 사용하는 의도된 용어와 일치하여, 제안은 의도된 영역의 일급 실체이므로, 수식은 실제로 제안-표현 기능 용어다.SNePS의 논리 기반 면의 입력-출력 언어인 SNePLOG는 그 함수 기호("predates" 포함)에서 순진한 논리처럼 보이며, 공식(실제 명제-표현 용어)은 함수의 주장이 될 수 있고, 정량화될 수 있다.그러나 기본 SNePS는 사용자의 함수 기호와 공식을 다시 정의한 첫 번째 순서 로직이다.
수식 기반 추론은 결합체 및 정량자에 대한 도입 및 제거 규칙이 있는 자연분해형 추론 엔진으로 구현된다.자연어 이해와 상식 추론에 덜 유용한 추론 규칙이 구현되지 않아 SNePS 공식 기반 추론은 건전하지만 완전하지는 않다.
SNePS KB에서 제안 거부 용어는 "거부"될 수도 있고 아닐 수도 있으며, 즉 KB에서 사실로 간주될 수도 있다.SNePS 논리는 관련성 논리의 상존하는 버전이므로 모순은 어떤 것도 암시하지 않는다.그럼에도 불구하고 SNePS Believe Revision 서브시스템인 SNeBR은 명시적인 모순을 알아차리고 이를 수리하기 위한 대화에 사용자를 참여시킨다.SNeBR은 가정 기반 진실 유지관리 시스템(ATMS)이며, 지원이 제거된 모든 제안의 주장 상태를 제거한다.
프레임 기반 시스템으로서의 SNePS
프레임 기반 시스템으로서, 모든 SNePS 기능 용어(제안 평가 용어 포함)는 슬롯과 충전재가 있는 프레임으로 표현된다.각 슬롯은 임의 크기의 다른 용어로 채울 수 있다.그러나 사이클은 구성할 수 없다.SNePS User Language, SNePS User Language는 프레임 기반 시스템으로 가장하여 SNePS와 상호 작용하기 위한 입출력 언어다.
SNePLOG는 세 가지 모드 중 하나에 사용할 수 있다.두 가지 모드에서 각 기능 용어와 관련된 케이스프레임(슬롯 세트)은 시스템에 의해 결정된다.모드 3에서 사용자는 각 기능 기호에 사용할 케이스프레임을 선언한다.
슬롯 기반 추론에서 명제 값 프레임은 그 슬롯 중 하나를 채운 프레임을 채운 것으로 간주된다.현재의 시행에서는 이것이 항상 건전한 것은 아니다.
네트워크 기반 시스템으로서의 SNePS
네트워크 기반 시스템으로서 SNePS는 명제적 의미 네트워크로서, 따라서 「SNePS」의 본래 의미는 「의미적 네트워크 처리 시스템」이다.이 견해는 모든 개별 상수와 모든 기능 용어가 네트워크의 노드가 되고, 모든 슬롯이 프레임 노드에서 필러의 모든 노드로 연결되는 방향 라벨 아크임을 고려하여 얻는다.의도된 해석에서, 모든 노드는 정신 실체를 나타내며, 그 중 일부는 명제이며, 네트워크에 표현되는 모든 명제는 그것을 나타내는 노드로 표현된다.일부 노드는 SNePS 로직의 변수로서 노드 전체에 걸쳐, 노드에만 걸쳐 있다.
경로 기반 추론 규칙 자체는 SNePS에 표현되지 않지만 정의할 수 있다.경로 기반 추론 규칙은 지정된 경로가 n에서 m까지 존재하는 경우에만 라벨이 붙은 호 r을 특정 노드 n에서 다른 노드 m까지 존재하는 것으로 추정할 수 있다고 명시한다.이용 가능한 광범위한 재귀적 경로 생성자 집합이 있다.
구성 요소들
- SNePS 추론 패키지인 SNIP는 SNePS가 기존 KB에서 새로운 주장을 추론하는 추론 규칙을 제공한다.
- SNePS 믿음 개정 패키지인 SNeBR은 KB가 모순된 믿음을 포함하고 있는 때를 감지하는 SNePS의 구성요소다.모순이 발견되면, 사용자는 모순을 초래한 몇 가지 기본적인 가설을 풀어서 모순된 믿음 중 하나를 풀도록 권장된다.그 결과 그동안 미인증된 가설에서 유추된 모든 명제도 미인증이다.
- SNePS Rational Engine인 SNeRE는 일련의 시스템 정의 및 사용자 정의 원시 행동으로부터 복잡한 행동과 계획을 구축하기 위한 임원 직무대행과 일련의 프레임을 제공한다.시스템 정의 프레임은 믿거나 믿지 않는 명제뿐만 아니라 행위에 대한 행위, 조건부 행위, 반복의 순서를 명시할 수 있다.예를 들어, SNeRE 정책은 특정 명제를 믿을 때 특정 행위가 수행되어야 함을 명시하는 추론에 작용한다(증거).
- SNePS 자연어 처리 시스템인 SNaLPS는 SNePS 기반 에이전트에 자연어 이해와 생성이 제공될 수 있도록 Generalized Argent Transition Network Grammer 통역기와 영어 형태 분석기 및 신시사이저로 구성된다.
적용들
SNePS는 다양한 KRR 작업, 자연어 이해 및 생성, 상식 추론, 인지 로봇 등에 사용되어 왔다.그것은 전 세계의 몇몇 KR 코스에서 사용되어 왔다.
유용성
SNePS는 Common Lisp에서 플랫폼 독립 시스템으로 구현되어 자유롭게 이용할 수 있다.
