지식 교환 형식

Knowledge Interchange Format

KIF(Knowledge Interchange Format)는 시스템이 지식 기반 시스템의 정보를 공유하고 재사용할 수 있도록 고안된 컴퓨터 언어다. KIF는 KL-One, LOOM과 같은 프레임 언어와 유사하지만 그러한 언어와 달리 주요 역할은 지식의 표현이나 사용을 위한 프레임워크가 아니라 시스템 간의 지식 교환을 위한 것이다. KIF의 설계자들은 그것을 PostScript에 비유했다. PostScript는 주로 문서를 저장하고 조작하는 언어로서 설계되지 않고, 오히려 시스템과 장치가 문서를 공유하는 교환 형식으로 설계되었다. 같은 방법으로 KIF는 서로 다른 언어, 형식, 플랫폼 등을 사용하는 여러 시스템에 걸쳐 지식의 공유를 용이하게 하기 위한 것이다.

KIF는 선언적 의미론을 가지고 있다.[1] 과정이나 절차보다는 세상에 대한 사실을 기술하는 것을 의미한다. 지식은 사물, 기능, 관계, 규칙으로 설명할 수 있다. 그것은 공식적인 언어, 즉, 임의의 진술을 1차 순서의 논리로 표현할 수 있고 일련의 KIF 진술의 일관성을 증명할 수 있는 추론자를 지원할 수 있다. KIF는 또한 비단조적 추론을 지원한다. KIF는 DARPA 지식 공유 노력에 참여한 Michael Genessreth, Richard Fikes 등이 만들었다.[2]

비록 원래의 KIF 그룹은 공식적인 표준 기구에 제출하려고 했지만, 그것은 발생하지 않았다. 이후 Common Logic이라고 불리는 이후 버전은 ISO 제출을 위해 개발되어 승인 및 출판되었다. SUO-KIF라는[3] 변종은 제안된 상위 병합 온톨로지[4](Pospected Upper Merged Ontology)가 쓰여진 언어다.

지식 교환 형식의 실용적인 적용은 멀티 에이전트 시스템의 에이전트 통신 언어다.[5]

참고 항목

참조

  1. ^ Andreas L. Symeonidis; Pericles A. Mitkas (15 July 2005). Agent Intelligence Through Data Mining. Springer Science & Business Media. pp. 54–. ISBN 978-0-387-24352-8.
  2. ^ Genesereth, Michael; Fikes, Richard (June 1992). "Knowledge Interchange Format Version 3.0 Reference Manual" (PDF). Stanford Logic Group Report. Stanford University. Logic-92-1. Retrieved 7 August 2014.
  3. ^ Pease, Adam (2009-06-18). "Standard Upper Ontology Knowledge Interchange Format" (PDF). sigmakee.cvs.sourceforge.net. Retrieved 7 August 2014.
  4. ^ 제안된 상위 병합 온톨로지.
  5. ^ Weiming Shen (17 September 2019). Multi-Agent Systems for Concurrent Intelligent Design and Manufacturing. CRC Press. pp. 248–. ISBN 978-1-4822-8925-1.

외부 링크


Stub icon

이 컴퓨터 과학 기사는 단조롭다. 위키피디아를 확장하여 도울 수 있다.