MoMo公司 swMATH ID: 10022 软件作者: 叶卡捷琳娜·奥夫钦尼科娃;弗兰克·里希特 描述: Morph Moulder:HPSG和描述逻辑教学软件。这里介绍的图形软件Morph Moulder(MoMo)最初是为了在电子学习环境中教授头驱动短语结构语法(HPSG)的逻辑基础而创建的。然后,它被扩展到描述逻辑(DL)的处理,DL目前是构建本体的标准形式主义。使用MoMo,学生可以构建公式集的解释,并检查他们的解释是否为这些公式建模(在HPSG中称为理论,在DL中称之为公理)。MoMo还支持推理,例如在HPSG的特征逻辑中构造格式良好的解释,以及在DL中自动提取包含层次。它已经在HPSG语言学、计算语法实现和基于约束的语法框架的逻辑基础的几个课程中成功使用。 主页: http://ovchinnikova.me/papers/Ovch&RichtSICTL06.pdf 关键词: 特征逻辑;描述逻辑;可视化;推理;交互式教学软件;图形教学软件;本体论;模型理论语法;高压蒸汽发生器 相关软件: 引用于: 1文件 2位作者引用 1 叶卡捷琳娜·奥夫钦尼科娃 1 弗兰克·里希特。 连载1篇 1 IGPL逻辑杂志 在3个字段中引用 1 数学逻辑和基础(03-XX) 1 计算机科学(68至XX) 1 数学教育(97-XX) 按年份列出的引文