×
弗朗索瓦州施瓦岑特鲁伯

根据区域连接演算规范绘制交互式欧拉图。 （英语） Zbl 1362.68275号

J.逻辑语言信息。 24，第4期，375-408（2015）.
摘要：本文描述了生成交互式欧拉图的方法。需要用户交互来提高绘图的美学质量，而无需编写繁琐的正式规范。更准确地说，用户可以通过鼠标控制快速修改图表的布局。我们证明了可满足性问题在（{mathsf{PSPACE}}）中，并且我们提供了两个语法片段，使得相应的限制可满足问题已经是（{mathf{NP}}。我们描述了（1）一种改进的基于局部搜索的方法，（2）一种受梯度方法启发的方法，以及一种混合（1）和（2）的混合方法。实现了一个软件工具并描述了其实现。我们还对不同的方法进行了实验比较。我们首先看到，改进的局部搜索和混合方法优于文献中的局部搜索以及生成图的梯度方法。在交互方面，局部搜索方法不适用，但混合方法和梯度方法在绘图质量和稳定性方面都取得了良好的结果。使用区域连接演算（RCC-8）、半径约束和析取编写规范。欧拉图被描述为一组圆。

MSC公司：

68立方英尺 知识表示
65年第68季度 算法和问题复杂性分析
68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
第68页第27页 人工智能中的逻辑
68单位35 信息系统的计算方法（超文本导航、接口、决策支持等）

关键词：

欧拉图;区域连接演算;可满足性问题;本地搜索

软件：

动态记录仪;Graphviz公司;郁金香;QOCA公司;GeoGebra公司;欧拉图;欧拉APE;草图集
PDF格式BibTeX公司 XML格式引用
\textit{F.Schwarzentruber}，J.Logic Lang.Inf.24，No.4，375--408（2015；Zbl 1362.68275）
全文： 内政部 哈尔

参考文献：

[1] Auber，D.（2004）。郁金香——一个巨大的图形可视化框架。M.Jünger&P.Mutzel（编辑），图形绘制软件（第105-126页）。柏林：斯普林格。
[2] Borning，A.、Marriott，K.、Stuckey，P.J.和Xiao，Y.（1997年）。解决用户界面应用程序的线性算术约束。在ACM用户界面软件和技术研讨会上（第87-96页）。
[3] Burton，J.、Stapleton，G.、Howse，J.和Chapman，P.（2014）。使用欧拉图可视化概念。In Dwyer，T.，Purchase，H.C.，Delaney，A.（Eds.），《图解表示和推断会议录——第八届国际会议》，图表2014，计算机科学讲义第8578卷，澳大利亚维多利亚州墨尔本，2014年7月28日至8月1日（第54-56页）。柏林：斯普林格。
[4] Canny，J.（1988）。pspace中的一些代数和几何计算。第二十届ACM计算理论研讨会论文集（第460-467页）。伦敦：ACM。
[5] Dasgupta，S.、Papadimitriou，C.H.和Vazirani，U.（2006年）。算法。纽约：McGraw-Hill公司。
[6] Ellson，J.、Gansner，E.R.、Koutsofios，E.、North，S.C.和Woodhull，G.（2004）。Graphviz和dynagraph静态和动态图形绘制工具。M.Jünger和P.Mutzel（编辑），图形绘制软件（第127-148页）。柏林：斯普林格·Zbl 1054.68583号
[7] Fekete，J.-D.和Plaisant，C.（2002年）。一百万个项目的交互式信息可视化。在2002年IEEE信息可视化研讨会上。INFOVIS 2002（第117-124页）。电气与电子工程师协会·Zbl 1072.68081号
[8] 弗劳尔，J。；豪斯，J。；Hegarty，M.（编辑）；Meyer，B.（编辑）；Hari Narayanan，N.（编辑），《生成欧拉图》，61-75（2002），柏林·Zbl 1049.68099号
[9] Harrison，J.（2009）。实用逻辑和自动推理手册。剑桥：剑桥大学出版社·Zbl 1178.03001号 ·doi:10.1017/CBO9780511576430
[10] Hohenwarter，M.和Preiner，J.（2007）。GeoGebra动态数学。在线数学及其应用杂志，71448
[11] Kontchakov，R.、Nenov，Y.、Pratt-Hartmann，I.和Zakharyaschev，M.（2011）。关于二维和三维欧氏空间中连通约束的可判定性。在IJCAI进程中，国际人工智能联合会议（第22卷，第957页）·Zbl 1353.68267号
[12] LaSalle，J.P.（1968年）。常微分方程的稳定性理论。《微分方程杂志》，4（1），57-65·Zbl 0159.12002号 ·doi:10.1016/0022-0396（68）90048-X
[13] Lutz，C.和Wolter，F.（2006年）。拓扑关系的模态逻辑。计算机科学中的逻辑方法，2，1-14·Zbl 1126.03026号 ·doi:10.2168/LMCS-2（2:5）2006年
[14] 英国万豪酒店。；莫尔德，P。；Stuckey，PJ；博宁，A。；Walsh，T.（编辑），交互式图形应用程序的析取约束求解，361-376（2001），柏林·Zbl 1067.68652号
[15] Micallef，L.和Rodgers，P.（2014）。eulerape：使用椭圆绘制面积比例三维恩图。《公共科学图书馆·综合》，9（7），e101717·doi:10.1371/journal.pone.0101717
[16] Papadimitriou，C.H.（2003）。计算复杂性。伦敦：威利·Zbl 0557.68033号
[17] Plaisant，C.、Monroe，M.、Meyer，T.和Shneiderman，B.（2014）。交互式可视化。在K.Marconi&H.Lehman（编辑）的《大数据和健康分析》中。佛罗里达州博卡拉顿：CRC出版社。
[18] Randell，D.A.、Cui，Z.和Cohn，A.G.（1992年）。基于区域和连接的空间逻辑。吉尔吉斯斯坦共和国，92，165-176。
[19] Reiter，R.（1980）。默认推理的逻辑。人工智能，13（1），81-132·Zbl 0435.68069号 ·doi:10.1016/0004-3702（80）90014-4
[20] Renz，J.和Nebel，B.（1999年）。关于定性空间推理的复杂性：区域连接演算的一个最大可处理片段。人工智能，108（1），69-123·Zbl 0914.68160号 ·doi:10.1016/S0004-3702（99）00002-8
[21] Rodgers，P.（2014）。欧拉图综述。视觉语言与计算杂志，25（3），134-155·doi:10.1016/j.jvlc.2013.08.006
[22] Rodgers，P.、Zhang，L.和Fish，A.（2008）。通用欧拉图生成。在2008年9月19日至21日于德国赫尔兴举行的第五届国际会议《图解表示和推断会议录》中（第13-27页）。
[23] Schaefer，M.、Sedgwick，E.和Štefanković，D.（2003）。识别NP中的字符串图。计算机与系统科学杂志，67（2），365-380·Zbl 1072.68081号 ·doi:10.1016/S0022-0000（03）00045-X
[24] Schaefer，M.和Stefankovic，D.（2001）。弦图的可判定性。第三十三届ACM计算理论研讨会论文集（第241-246页）。伦敦：ACM·Zbl 1323.68307号
[25] Schockaert，S.、De Cock，M.和Kerre，E.（2009）。模糊区域连接演算中的空间推理。人工智能，173（2），258-298·Zbl 1180.03013号 ·doi:10.1016/j.artint.2008.10.009
[26] Schwarzentruber，F.和Hao，J.-K.（2014）。通过局部搜索从区域连接演算规范中绘制欧拉图。Fermé，E.，&Leite，J.（编辑），《第14届欧洲人工智能逻辑学会议录》，JELIA 2014，计算机科学讲义第8761卷，葡萄牙马德拉，芬查尔，2014年9月24-26日（第582-590页）。柏林：斯普林格·Zbl 1362.68276号
[27] Simonetto，P.、Auber，D.和Archambault，D.（2009年）。重叠集的全自动可视化。在计算机图形论坛（第28卷，第967-974页）。威利在线图书馆。
[28] Snyman，J.（2005）。实用数学优化：介绍基本优化理论和基于梯度的经典算法和新算法（第97卷）。柏林：斯普林格·Zbl 1104.90003号
[29] Sridhar，M.、Cohn，A.G.和Hogg，D.C.（2011年）。从视频到rcc8：利用基于距离的语义来稳定单拓扑关系的解释。在M.Egenhofer，N.Giudice，R.Moratz和M.Worboys（编辑），空间信息理论（第110-125页）。柏林：斯普林格。
[30] Stapleton，G.、Zhang，L.、Howse，J.和Rodgers，P.（2010年）。用圆绘制欧拉图。《图解表示和推断会议录》，第六届国际会议，图表2010，波特兰，俄勒冈州，美国，2010年8月9日至11日（第23-38页）·Zbl 1180.03013号
[31] Stapleton，G.、Zhang，L.、Howse，J.和Rodgers，P.（2011年）。用圆绘制欧拉图：穿孔理论。IEEE可视化与计算机图形学汇刊，17（7），1020-1032·doi:10.1109/TVCG.2010.119
[32] Van Harmelen，F.、Lifschitz，V.和Porter，B.（2008）。知识表示手册（第1卷）。阿姆斯特丹：爱思唯尔·Zbl 1183.68611号
[33] Verroust，A。；维亚德，M-L；AF布莱克威尔（编辑）；Marriott，K.（编辑）；Shimojima，A.（编辑），《确保8组扩展欧拉图的可绘制性》，128-141（2004），柏林·Zbl 1091.68664号
[34] Wang，M.、Plimmer，B.、Schmieder，P.、Stapleton，G.、Rodgers，P.和Delaney，A.（2011年）。草图集：使用钢笔或鼠标创建欧拉图。2011年9月18日至22日，美国宾夕法尼亚州匹兹堡，2011年VL/HCC，IEEE视觉语言与以人为本计算研讨会（第75-82页）。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。