×
亚尼斯·哈拉兰博斯;佩德罗·夸雷斯马

使用受控语言、本体图和依赖格查询几何图形。 （英语） Zbl 1304.68170号

Watt，Stephen M.（编辑）等人，《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08433-6/pbk）。计算机科学课程讲稿8543。《人工智能课堂讲稿》，298-311（2014）。
概述：动态几何系统（DGS）已成为几何许多领域的基本工具，例如在教育领域。几何自动定理证明器（GATP）是一个活跃的研究领域，被视为未来增强型教育软件以及下一代机械化数学助手的基本工具。最近出现的几何知识Web存储库，如TGTP和Intergeo，是为了使已经庞大的几何知识数据集广泛可用。考虑到现有的大量几何信息，我们需要一种用于描述几何结构的查询机制。
本文讨论了描述几何图形的两种方法（声明性和过程性），并提出了在声明性和程序性描述的语料库中使用DGS或专用的受控自然语言进行查询的几何图形查询算法。
关于整个系列，请参见[Zbl 1293.68035号].

引用于5文件

MSC公司：

68立方英尺 知识表示
68吨15 定理证明（演绎、解析等）（MSC2010）

软件：

GeoThms公司;GeoGebra公司;GCL校准仪;三峡工程;Intergeo公司;关贸总协定
PDF格式BibTeX公司 XML格式引用
\textit{Y.Haralambous}和\textit{P.Quaresma}，莱克特。注释计算。科学。8543、298--311（2014；Zbl 1304.68170）
全文： DOI程序 arXiv公司 链接

参考文献：

[1] Beazley，D.：Python Lex-Yacc，网址：http://www.dabeaz.com/ply/
[2] Chou，S.C.，Gao，X.S.：几何中的自动推理。参见：《自动推理手册》，第707-749页。爱思唯尔科学出版社（2001）·Zbl 1011.68128号 ·doi:10.1016/B978-044450813-3/50013-8
[3] Chou，S.C.，Gao，X.S.，Zhang，J.Z.：自动几何定理证明和发现的演绎数据库方法。自动推理杂志25，219-246（2000）·Zbl 0961.68121号 ·doi:10.1023/A:1006171315513
[4] DiffeoR：回答“是否可以从边的中点重建三角形？”（2014年2月20日），http://math.stackexchange.com/a/683496/122762
[5] Fagin，R.：超图和关系数据库方案的非循环度。美国医学会杂志（JACM）30（3），514-550（1983）·Zbl 0624.68088号 ·doi:10.145/2402.322390
[6] Hohenwarter，M.，Preiner，J.：GeoGebra的动态数学。在线数学及其应用杂志7，ID 1448（2007）
[7] Janićić，P.，Quaresma，P.：系统描述：GCLCprover+GeoThms。收录：Furbach，U.，Shankar，N.（编辑）IJCAR 2006。LNCS（LNAI），第4130卷，第145-150页。斯普林格，海德堡（2006）·doi:10.1007/11814771_13
[8] 江，J.，张，J.：几何定理可读机器证明的回顾与展望。《系统科学与复杂性杂志》25，802-820（2012）·兹比尔1291.68351 ·doi:10.1007/s11424-012-2048-3
[9] Kortenkamp，U.、Dohrmann，C.、Kreis，Y.、Dording，C.、Libbrecht，P.、Mercat，C.：使用Intergeo平台进行教学和研究。摘自：第九届国际数学教学技术会议论文集，ICTMT-9（2009）
[10] Quaresma，P.、Janić，P.，Tomašević，J.、Vujoševi-Janičić、M.、Toć，D.：几何构造和证明描述的XML-Bases格式。摘自：《数字时代的数学交流》，第183-197页。A.K.Peters有限公司（2008）·doi:10.1201/b10587-16
[11] Quaresma，P.：几何定理证明者（TGTP）的数千个几何问题。收录人：Schreck，P.、Narboux，J.、Richter-Gebert，J.（编辑）ADG 2010。LNCS（LNAI），第6877卷，第169-181页。斯普林格，海德堡（2011）·Zbl 1350.68243号 ·doi:10.1007/978-3-642-25070-5_10
[12] Quaresma，P.：几何猜想的XML格式，亚琛。CEUR研讨会论文集，第921卷，第54–65页（2012年），http://ceur-ws.org/Vol-921/
[13] Quaresma，P.，Haralambous，Y.：利用语义图进行几何结构识别。收录于：RECPAD 2012:第18届葡萄牙模式识别会议，科英布拉，10月26日，第47-48页（2012）
[14] Quaresma，P.，Santos，V.，Bouallegue，S.：网络几何实验室项目。在：Carette，J.，Aspinall，D.，Lange，C.，Sojka，P.，Windsteiger，W.（编辑）2013年国际化学品管理委员会。LNCS（LNAI），第7961卷，第364-368页。斯普林格，海德堡（2013）·Zbl 1390.97006号 ·doi:10.1007/978-3-642-39320-4_30
[15] Robinson，I.、Webber，J.、Eifrem，E.：图形数据库。O'Reilly（2013）
[16] Santiago，E.，Hendriks，M.，Kreis，Y.，Kortenkamp，U.，Marquès，D.：i2g通用文件格式最终版。技术代表D3.10，Intergeo Consortium（2010），http://i2geo.net/xwiki/bin/view/I2G格式/
[17] Intergeo联盟：Intergeo实施表（2012年），http://i2geo.net/xwiki/bin/view/I2G格式/实现表
[18] 维基百科：交互式几何软件列表（2014年2月），http://en.wikipedia.org/wiki/List_of_interactive_geometry_software
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。