• 卡洛知识资源是用户friendlyRI("真正的情报")语言相结合的最佳特征的英语、UNIX壳,尤尼康和CycL的。

    。问题的提议有一个简短的英语样的格式,这有助于人类用户重点放在必要的特征和避免浮动的抽象概念。 。是一个非常高水平的知识表示语言,与一个严谨的认识论基础,包括背景下,属差异的定义,ECP层次结构(编织)和独特的特征的变化相关联的行动。

    学习。语言是促进通过语法检查程序和一个菜单的接口。 法检查程序提供了一个快速的交互检查的输入的知识。 语法错误的消息都是高度集中的、用于快速"调试"的输入的知识。

    菜单的接口提示用户对于所有必要的信息,并自动生成正确的输入的语法。

    知识资源管理器(科)是一个智能的知识库助理。 柯帮助用户记录,改变搜索和知识,并提供了广泛的错误检查,以确保内部一致性的知识。 柯拥有自知识--只是要求它(使用。语)什么样的命令可以执行。

  • McCullough ज्ञान एक्सप्लोरर है एक उपयोगकर्ता-friendlyRI ("असली खुफिया") भाषा को जोड़ती है जो सबसे अच्छा की विशेषताएं अंग्रेजी, यूनिक्स शैल, Unicon और CycL.

    MKR प्रस्ताव है एक संक्षिप्त अंग्रेजी-तरह के प्रारूप में मदद करता है जो एक मानव उपयोगकर्ता पर ध्यान केंद्रित आवश्यक विशेषताओं से बचने और चल चीजें. MKR है एक बहुत ही उच्च स्तर के ज्ञान प्रतिनिधित्व की भाषा के साथ एक कठोर epistemological नींव सहित संदर्भ में, जीनस-differentia परिभाषाओं, ECP पदानुक्रम (निट) और एक अनूठी विशेषता के परिवर्तन के साथ जुड़े कार्यों.

    सीखने के MKR भाषा से मदद की है एक वाक्य रचना परीक्षक और एक मेनू इंटरफ़ेस. वाक्य रचना परीक्षक प्रदान करता है एक तेजी से इंटरैक्टिव जांच के इनपुट ज्ञान है । सिंटैक्स त्रुटि संदेश अत्यधिक ध्यान केंद्रित किया है, के लिए तेजी से "डिबगिंग" के इनपुट ज्ञान है ।

    मेनू इंटरफ़ेस उपयोगकर्ता का संकेत देता है के लिए सभी आवश्यक जानकारी है, और स्वचालित रूप से उत्पन्न करता है, सही इनपुट वाक्य रचना है ।

    ज्ञान एक्सप्लोरर (ke) एक बुद्धिमान ज्ञान में सहायक है । ke उपयोगकर्ता में मदद करता है रिकॉर्ड करने के लिए, बदलने के लिए और खोज, ज्ञान और व्यापक प्रदान करता है त्रुटि जाँच सुनिश्चित करने के लिए आंतरिक स्थिरता का ज्ञान है । ke पास आत्म-ज्ञान है-सिर्फ यह पूछने के लिए (का उपयोग कर MKR भाषा) क्या आदेश में यह निष्पादित कर सकते हैं आप के लिए.

  • McCullough Knowledge Explorer is a user-friendlyRI ("Real Intelligence") language which combines the best features of English, UNIX shell, Unicon and CycL.

    MKR propositions have a terse English-like format which helps a human user focus on essential characteristics and avoid floating abstractions. MKR is a very-high-level knowledge representation language with a rigorous epistemological foundation including context, genus-differentia definitions, ECP hierarchies (knits) and a unique characterization of the changes associated with actions.

    Learning the MKR language is facilitated by a syntax checker and a menu interface. The syntax checker provides a fast interactive check of input knowledge. The syntax error messages are highly-focused, for fast "debugging" of input knowledge.

    The menu interface prompts the user for all necessary information, and automatically generates the correct input syntax.

    Knowledge Explorer (ke) is an intelligent knowledge assistant. ke helps the user to record, change and search knowledge, and provides extensive error checking to ensure the internal consistency of the knowledge. ke possesses self-knowledge -- just ask it (using the MKR language) what commands it can execute for you.