의미론적 이유

Semantic reasoner
"Reasoner"는 여기서 리다이렉트 됩니다.그 외의 용도는, 「이유」(동음이의)를 참조해 주세요.

의미론적 추론자, 추론 엔진, 규칙 엔진 또는 단순 추론자는 일련의 주장된 사실 또는 공리에서 논리적 결과를 추론할 수 있는 소프트웨어입니다.의미론적 이유자의 개념은 보다 풍부한 메커니즘 세트를 제공함으로써 추론 엔진의 개념을 일반화한다.추론 규칙은 일반적으로 온톨로지 언어, 그리고 종종 기술 논리 언어를 통해 지정됩니다.많은 추론자들은 추론을 수행하기 위해 1차 술어 논리를 사용합니다; 추론은 일반적으로 전진 체인 및 후진 체인 방식으로 진행됩니다.비축성 추론 시스템과 [1]확률론적 논리 네트워크를 [2]포함한 확률론적 이유의 예도 있다.

주목할 만한 응용 프로그램

주목할 만한 의미론적 이유 및 관련 소프트웨어:

무료 사용(닫힌 소스)

  • Cyc 추론 엔진, 상위 로직을 위한 다수의 특수 모듈을 갖춘 전진 및 후진 체인 추론 엔진.
  • KAON2는 OWL-DL, SWRL 및 F-Logic 온톨로지를 관리하기 위한 인프라스트럭처입니다.

프리 소프트웨어(오픈 소스)

  • Cwm: 정보 조회, 확인, 변환 및 필터링에 사용되는 전송 체인 추론.핵심 언어는 RDF이며 규칙을 포함하도록 확장되어 있으며 필요에 따라 RDF/XML 또는 N3 직렬화를 사용합니다.
  • Drools는 Rete 알고리즘의 확장 구현을 사용하는 순방향 추론 기반 규칙 엔진입니다.
  • Rete 알고리즘을 사용하여 Java Rule Engine API(JSR 94)에 준거한 전송 체인 Java 규칙 엔진인 Evrete.
  • D3web, 지식 기반 시스템(전문가 시스템)용 플랫폼.
  • Flora-2는 객체 지향, 규칙 기반 지식 표현 및 추론 시스템입니다.
  • Jena는 Java를 위한 오픈 소스 시멘틱 웹 프레임워크로, 다수의 다른 시멘틱 추론 모듈을 포함합니다.
  • Prova는 SPARQL 쿼리 및 유형 시스템(RDFS, 유형 시스템으로서의 OWL 온톨로지)을 통한 데이터 통합을 지원하는 시맨틱 웹 규칙 엔진입니다.
  • DIP(Defausable-Inference Platform)는 Web Ontology Language의 논거이자 Protégé 데스크톱 플러그인으로,[3] 논거가 가능한 서브스크립션을 표현 및 추론합니다.이는 기본 결정 절차를 수정할 필요 없이 "고전적 수반"으로 축소되는 우선적 수반 스타일을 구현합니다.

이성이 포함된 응용 프로그램


사물인터넷의 의미론적 이유(오픈소스)

S-LOR(Sensor-based Linked Open Rules) 시멘틱 사유 S-LOR은 GNU GPLv3 라이선스를 받고 있습니다.

S-LOR(Sensor-based Linked Open Rules)는 상호 운용 가능한 규칙을 공유하고 재사용하여 센서 측정에서 의미 있는 지식을 추론하기 위한 규칙 기반 추론 엔진입니다.

「 」를 참조해 주세요.

레퍼런스

  1. ^ Wang, Pei. "Grounded on Experience Semantics for intelligence, Tech report 96". www.cogsci.indiana.edu. CRCC. Retrieved 13 April 2015.
  2. ^ Goertzel, Ben; Iklé, Matthew; Goertzel, Izabela Freire; Heljakka, Ari (2008). Probabilistic Logic Networks: A Comprehensive Framework for Uncertain Inference. Springer Science & Business Media. p. 42. ISBN 9780387768724.
  3. ^ Britz, K. 및 Varzinczak, I. (2018).합리성과 실행 가능한 가정에서의 맥락.정보·지식 시스템의 기초에 관한 국제 심포지엄 (p. 114-132).스프링거, 참

외부 링크