概称句词项逻辑的树图判定算法

概称句的形式刻画研究始于人工智能。从条件蕴涵引入开始,到建立概称句词项逻辑的形式系统GAG和Gaa,关于概称句这一系列的研究主要是围绕概称句自身性质的探讨,以试图对于概称句推理给出更合理的形式刻画,而没有同时兼顾计算机应用方面的考虑。回归问题的初始,关于概称句的概念理论是否还可以用于计算机科学领域,是这一研究路线所面临的问题。首先要解决的问题是,根据GAG和Gaa模型,公式的可满足性是否有能行的判定方法。对此本文给出了基于GAG语义的树图判定算法,包括相应的可靠性,完备性等证明。

树图可视化

树图是一种流行的利用包含关系表达层次化数据的可视化方法.由于其呈现数据时高效的空间利用率和良好的交互性,受到众多的关注,得到深入的研究,并在科学、社会学、工程、商业等领域都得到了广泛的应用.文中从树图的布局算法、交互方法、改进和变种、应用领域和用户评价研究等角度,对树图可视化及其扩展方法的基础和研究前沿进行了综述,并对树图可视化方法的前景进行了展望.