超验

超证是一种学习分析推理和证明构造原理的系统,它由文本和麦金塔软件程序组成。与传统的一阶逻辑处理不同,超验结合了图形和句子信息,提出了一组整合这些不同形式的信息的逻辑规则。这种策略允许学生关注证据的信息内容而不是句子的句法结构。它也反映了日常推理中遇到的信息的异质性。


ZBMaCT中的参考文献(24篇文章中引用)

显示结果1至20的24。
按年份排序(引文
  1. Takemura,RYO:用需求和供给图进行经济推理(2020)
  2. 萨托,尤里;轮岛,Yuichiro;上田,Kazuhiro:Euler图无因推理的策略分析(2018)
  3. Barker Plummer,戴夫;巴维斯,乔恩;埃特曼,约翰:逻辑推理的图表和句子。使用超证明(2017)
  4. 斯台普顿,GEM;JAMNIK,凯日曼;Shimojima,Atsushi:什么是信息的有效表示:观测优势的正式解释(2017)
  5. 萨托,尤里;MimeSima,Koji:图如何支持三段论推理:一项实验研究(2015)
  6. Takemura,RYO:用Euler图构造反例结构(2015)
  7. FISH,安得烈;泰勒,约翰:基于正规形式的Euler图系统的等价性(2014)
  8. 简论:关联概念与逻辑图式传统(2010)
  9. 阿库达斯、康斯坦丁、布林斯乔德、塞尔默:生动:异质问题解决的框架(2009)
  10. 比林斯利、威廉、鲁滨孙、彼得:《智能图书》中使用Mthistle和伊莎贝尔/ HOL的学生证明练习(2007)
  11. 皮内达,Luis A.:几何概念合成中的守恒原理和行动方案(2007)
  12. Piwek、保罗:意义与对话连贯:证据理论研究(2007)
  13. 斯台普顿,宝石;Masthoff,朱迪思;花,姬恩;鱼,安得烈;南,简:欧拉图系统中的自动定理证明(2007)
  14. 那卡嘎瓦、曲:逻辑符号(2006)
  15. 阿库杜斯,康斯坦丁:简化惠誉式自然演绎系统的证明(2005)
  16. Swoboda,Nik;AulWein,热拉尔:利用DAG变换验证Euler-VeN齐次和Euler-VeN-FOL异构推理规则(2004)伊波尔特
  17. Cox,李察:表象建构、外在认知与个体差异(1999)马修德
  18. Stenning,基思:情态分配对教育传播的认知后果:逻辑教学中的图景(1999)马修德
  19. Novodvorsky,Aleksey;斯米尔诺夫,AlkeSe:一个通用交互式证据搜索的外壳(1998)
  20. Savio,马里奥:AE(Aristotle Euler)图:分类三段论的另一种完全方法(1998)