2017-05-23 10 views
0

주어진 Cyc 개념에 대해 정의할만한 미시 이론을 찾으려고합니다. 일부 개념의 경우 "definitions-mt"SubL 명령은 미시 이론이 존재할 때 "NIL"을 반환합니다 (# $ definingMt 조건 자로 확인할 수 있음). -> NIL "defining-mt"SubL 명령은 미시 이론을 정의 할 때 "NIL"을 반환합니다.

  • CYC 쿼리 (? # $ definingMt # $ 사람 MT) -> # $ BiologyMt
    • subl 코드 (정의 - 후지산 # $ 사람) : 예를 들어

      이 경우 "define-mt"SubL 명령 출력 # $ BiologyMt을 어떻게 만들 수 있습니까?

      Research Cyc 4.0q KB를 사용 중입니다.

    답변

    0

    KB보다 앞서 API를 얻은 사례가 발생했습니다. 쿼리에 대한 정당화를 보면이 특정 경우에, 당신이이 규칙에 호소하는 것을 볼 수 있습니다 :

    (implies 
        (and 
        (genls ?COLL ?TYPE) 
        (defaultDefiningMtForSpecs ?TYPE ?MT)) 
        (definingMt ?COLL ?MT)) 
    

    당신이 사용중인 SubL 코드는 간단한 조회를하지 않습니다, 그래서 할 수 없습니다 그 규칙을 이용하십시오. 사용중인 코드베이스와 KB를 감안할 때 가장 좋은 방법은 가지고있는 쿼리를 계속 사용하는 것입니다.