검색 기능은 준비 중입니다.
검색 기능은 준비 중입니다.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Finite Approximations of Predicate Circumscription 술어 순환의 유한 근사

Kazuhiko OOTA, Koji IWANUMA

  • 조회수

    0

  • 이것을 인용

요약 :

술어회전은 상식추론의 근본적인 형식화이다. 본 논문에서는 이에 대한 새로운 근사식을 연구한다. 이전 연구에서 우리는 Lifschitz의 점별 외접과 1차 프레임워크에서 조건부 외접에 대한 유한 근사치로 기능하는 일반화를 조사했습니다. 본 논문에서는 먼저 일반화된 점별 외접의 능력을 더 자세히 연구하고, 최소 모델에서 최소화된 술어가 유한한 확장만을 갖는 경우에도 그것이 완전할 수 없음을 보여주는 간단한 예를 제공합니다. 다음으로, 이러한 한계를 극복하기 위해 유한 구성적 외접이라는 새로운 근사 공식을 도입합니다. 마지막으로, 두 가지 근사 방법의 표현력을 술어 제한 스키마와 비교하고, 최소 모델 의미론과 관련하여 술어 제한 스키마의 완전성을 명확히 하기 위해 해결해야 할 개방형 문제를 제안합니다.

발행
IEICE TRANSACTIONS on Information Vol.E82-D No.2 pp.475-479
발행일
1999/02/25
공개일
온라인 ISSN
DOI
원고의 종류
PAPER
범주
인공지능과 인지과학

작성자

키워드