首页 > 逻辑, 中文 > Tableau Algorithm该怎么翻译

Tableau Algorithm该怎么翻译

一般参 http://en.wikipedia.org/wiki/Method_of_analytic_tableaux

描述逻辑中的Tableau Algorithm参

An Overview of Tableau Algorithms for Description Logics
by: Franz Baader, and Ulrike Sattler
In: Studia Logica, Vol. 69, Nr. 1 (2001), p. 5–40.

一般中文文献中,都直接称为“Tableau算法”。有少量文献称之为“表算法”,我以为不妥。

Tableau在Merriam-Webster上相关意思有:

  • a graphic description or representation (图形表现)
  • a depiction of a scene usually presented on a stage by silent and motionless costumed participant (舞台造型)

Tableau算法通常是通过构造一个树形的结构(tree-shaped structure)来做证明。这和“表”没多大关系。

不如意译为“树图算法”。虽然严格来说,不是所有的Tableau算法都产生树图,有些会产生特殊的森林图,但是一般算法的主要内容,是关于树形结构的构造。

相应的,“Hypertableau Reasoning”是“超树图推理”。

结论: Tableau Algorithm=树图算法

Advertisements
分类:逻辑, 中文
  1. ralphsabah
    2011/05/14 @ 19:06

    老哥 你的这些见解真的很独到。前一阵写DL跟ontology reasonning 就对这个tableau的理解很纠结 听你这么一解释 觉得很形象 很是感谢 :)

  1. 2011/05/14 @ 19:20

发表评论

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / 更改 )

Twitter picture

You are commenting using your Twitter account. Log Out / 更改 )

Facebook photo

You are commenting using your Facebook account. Log Out / 更改 )

Google+ photo

You are commenting using your Google+ account. Log Out / 更改 )

Connecting to %s

%d 博主赞过: