左线性文法与语义学理论的结合

1/1左线性文法与语义学理论的结合第一部分左线性文法的基本概念及其性质 2第二部分语义学理论的概述和不同流派 4第三部分左线性文法与形式语义学的结合 6第四部分左线性文法与分布语义学的结合 10第五部分左线性文法与情景语义学的结合 12第六部分左线性文法与认知语义学的结合 15第七部分左线性文法与计算语义学的结合 18第八部分左线性文法与语义学理论的相互促进 20

第一部分左线性文法的基本概念及其性质关键词关键要点【左线性文法的基本概念】：

1.定义：左线性文法是一种形式文法，其中每个产生式都只产生一个非终结符，并且这个非终结符出现在产生式的最左侧。

2.符号集：左线性文法的符号集分为终结符集和非终结符集，终结符集是单词的组成元素，非终结符集是用于描述单词结构的符号。

3.产生式：左线性文法的产生式由一个非终结符和一个由终结符和非终结符组成的字符串组成，其中，非终结符出现在产生式的最左侧。

【左线性文法的性质】：

左线性文法的基本概念及其性质

左线性文法是形式语言理论中的一个重要概念，它在自然语言处理、编译器设计和程序语言设计等领域有着广泛的应用。左线性文法（LL文法）是一种特定的上下文无关文法，它具有以下基本概念和性质：

1.产生式：

-左线性文法的产生式具有以下形式：

-A→α

-其中，A是一个非终结符，α是由终结符和非终结符组成的字符串。

-左线性文法中的产生式只能以非终结符开头，并且非终结符只能出现在产生式的左边。

-同一个非终结符的产生式可以有多条。

2.终结符和非终结符：

-左线性文法的终结符是字母表中的符号，它们不能被进一步分解。

-左线性文法的非终结符是文法中由产生式定义的符号，它们可以被进一步分解。

3.开始符号：

-左线性文法有一个开始符号，它是文法中唯一的一个非终结符，不能出现在产生式的右边。

4.推导：

-左线性文法中的推导是指从开始符号出发，根据产生的式进行替换，生成字符串的过程。

-推导的每一步都是将一个非终结符替换成它对应的产生式右部的字符串。

-推导的最终结果是一个由终结符组成的字符串。

5.语言：

-左线性文法生成的语言是指从开始符号出发，通过推导可以生成的字符串的集合。

-左线性文法生成的语言是一个上下文无关语言。

6.性质：

-左线性文法具有以下性质：

-左线性文法是确定性的，这意味着对于任何一个给定的字符串，只能通过唯一的一条推导路径生成它。

-左线性文法是有效的，这意味着对于任何一个给定的字符串，都可以通过一条推导路径生成它。

-左线性文法是简约的，这意味着它不包含任何不必要的产生式或符号。第二部分语义学理论的概述和不同流派关键词关键要点【乔姆斯基生成文法理论】：

1.乔姆斯基生成文法理论认为，语言是一种由规则生成的系统，这些规则可以产生无限数量的句子。语言的规则可以分为两大类：句法规则和语义规则。

2.句法规则决定句子的结构，语义规则决定句子的意义。

3.乔姆斯基生成文法理论对语言学的发展产生了深远的影响，为语言学的科学化和现代化做出了重大贡献。

【贝克尔派生成语义学理论】：

#语义学理论的概述和不同流派

概述

语义学是语言学的一个分支，研究语言中的意义和表达方式，以及意义是如何在语言中产生的和如何被理解的。语义学理论试图解释语言中的意义是如何产生的，以及意义是如何在语言中表达和理解的。语义理论有许多不同的流派，每种流派都有自己的基本假设和方法。

不同流派

#形式语义学

形式语义学是语义学理论的主要流派之一。形式语义学认为，语言的意义可以形式化地表示，并且可以通过逻辑和数学的方法来研究。形式语义学理论通常使用逻辑形式或谓词逻辑来表示语言的意义。逻辑形式是一种由逻辑符号组成的结构，它可以表示一个命题的真假值。谓词逻辑是一种形式语言，它可以用来表示复杂的命题和推理。

#认知语义学

认知语义学是语义学理论的另一种主要流派。认知语义学认为，语言的意义是基于人类的认知能力，例如知觉、记忆和推理。认知语义学理论通常使用认知模型或图式来表示语言的意义。认知模型是一种心理结构，它可以用来解释人类如何理解语言。图式是一种认知结构，它可以用来表示人类对世界的知识。

#原型语义学

原型语义学是语义学理论的第三种主要流派。原型语义学认为，语言的意义是基于原型或典型例子的。原型是一种典型的或标准的例子，它可以用来代表一个类别。原型语义学理论通常使用特征理论或框架理论来表示语言的意义。特征理论是一种理论，它认为一个类别的成员可以由一组特征来定义。框架理论是一种理论，它认为一个类别的成员可以由一个框架来定义，框架由一系列槽位组成，每个槽位都可以由一个元素来填充。

#话语语义学

话语语义学是语义学理论的第四种主要流派。话语语义学认为，语言的意义是在话语中产生的，而不是在孤立的句子中产生的。话语语义学理论通常使用话语分析或语篇分析的方法来研究语言的意义。话语分析是一种研究话语结构和组织的方法，而语篇分析是一种研究话语意义和表征的方法。

#功能语义学

功能语义学是语义学理论的第五种主要流派。功能语义学认为，语言的意义是由语言的功能决定的。功能语义学理论通常使用功能语法或角色语义学的方法来研究语言的意义。功能语法是一种语法理论，它认为句子的结构是由句子的功能决定的，而角色语义学是一种语义理论，它认为句子的意义是由句子的角色决定的。

比较

不同的语义学理论流派有不同的基本假设和方法，但它们都试图解释语言中的意义是如何产生的，以及意义是如何在语言中表达和理解的。这些理论流派之间存在着许多争论，但它们也为我们理解语言的意义提供了许多有价值的insights。第三部分左线性文法与形式语义学的结合关键词关键要点【语言理解与生成模型】：

1.左线性文法和形式语义学在语言理解和生成模型中的融合使自然语言处理领域取得突破性进展。

2.左线性文法提供了一种简洁而强大的句法表示形式，能够有效地捕获语言的结构信息。

3.形式语义学提供了一套严格的形式框架来描述语言的语义，使我们能够对语言的意义进行精确的分析。

【语义解析】：

左线性文法与形式语义学的结合

左线性文法(LFG)和形式语义学是两个关注语言形式表示和解释的语言学理论。LFG是一种成分语法，将句子分解成一系列成分，每个成分都有自己的语法和语义特征。形式语义学是一种数学形式主义，用于表示和解释句子的意义。

LFG和形式语义学的结合可以为语言学研究带来许多好处。首先，这种结合可以帮助我们更好地理解句子的结构和意义之间的关系。LFG的成分结构可以帮助我们识别句子的不同成分，而形式语义学可以帮助我们理解这些成分的意义。其次，这种结合可以帮助我们开发出更强大的语言处理系统。LFG和形式语义学都可以提供句子的形式表示，这些表示可以被计算机程序用来自动处理语言数据。

左线性文法的特点

LFG是一种成分语法，将句子分解成一系列成分，每个成分都有自己的语法和语义特征。LFG的成分包括：

*名词短语(NP)：表示一个名词或名词短语。

*动词短语(VP)：表示一个动词或动词短语。

*形容词短语(AdjP)：表示一个形容词或形容词短语。

*副词短语(AdvP)：表示一个副词或副词短语。

*介词短语(PP)：表示一个介词或介词短语。

LFG的语法规则指定了这些成分如何组合成句子。例如，以下规则指定了一个句子可以由一个名词短语和一个动词短语组成：

```

S->NPVP

```

形式语义学

形式语义学是一种数学形式主义，用于表示和解释句子的意义。形式语义学使用一系列逻辑符号来表示句子的意义。这些符号包括：

*变量：表示句子中的实体或概念。

*谓词：表示实体或概念之间的关系。

*量词：表示实体或概念的数量。

*连接词：表示句子中不同部分之间的关系。

形式语义学使用这些符号来构建一个句子意义的逻辑表达式。例如，以下表达式表示了句子“约翰爱玛丽”的意义：

```

love(john,mary)

```

左线性文法与形式语义学的结合

LFG和形式语义学可以结合起来，为语言学研究带来许多好处。这种结合可以帮助我们更好地理解句子的结构和意义之间的关系，也可以帮助我们开发出更强大的语言处理系统。

结合LFG和形式语义学的例子

以下例子说明了如何将LFG和形式语义学结合起来分析句子“约翰爱玛丽”。

1.首先，我们将句子分解成LFG的成分。

*名词短语(NP)：约翰

*动词短语(VP)：爱玛丽

2.然后，我们将这些成分用形式语义学的符号表示。

*约翰：john

*爱玛丽：mary

*爱：love

3.最后，我们将这些符号组合成一个逻辑表达式，表示句子的意义。

```

love(john,mary)

```

这个逻辑表达式表示了句子“约翰爱玛丽”的意义。它明确地表明了约翰是这个命题的爱的人，而玛丽是这个命题的爱的人。

结合LFG和形式语义学的好处

结合LFG和形式语义学可以为语言学研究带来许多好处。这些好处包括：

*更清晰的语法和语义分析：LFG和形式语义学都可以提供句子的形式表示。这些表示可以帮助我们更好地理解句子的结构和意义之间的关系。

*更强大的语言处理系统：LFG和形式语义学都可以为语言处理系统提供形式表示。这些表示可以被计算机程序用来自动处理语言数据。

*更深入的语言研究：LFG和形式语义学可以帮助我们更好地理解语言的本质和结构。这种理解可以帮助我们开发出更强大的语言学理论。第四部分左线性文法与分布语义学的结合关键词关键要点左线性文法与分布语义学结合的优势

1.左线性文法能够有效捕捉语言的结构信息，而分布语义学能够提供词语的语义信息。二者的结合可以综合利用句法和语义信息，提高自然语言处理任务的准确性。

2.左线性文法能够提供词语的句法信息，分布语义学能够提供词语的语义信息。二者结合可以用来构建语义分析模型，帮助计算机理解自然语言的语义。

3.左线性文法和分布语义学都是形式化的方法，二者结合可以建立形式化的语义学理论。这种理论可以为自然语言处理任务提供坚实的基础。

左线性文法与分布语义学结合的难点

1.左线性文法和分布语义学都是复杂的理论，二者结合需要解决很多技术问题。

2.左线性文法和分布语义学都是计算密集型的理论，二者结合需要解决计算效率问题。

3.左线性文法和分布语义学都是知识密集型的理论，二者结合需要解决知识获取问题。

左线性文法与分布语义学结合的研究进展

1.学者们已经提出了多种将左线性文法和分布语义学结合起来的方法，其中包括：基于规则的方法、基于统计的方法、基于深度学习的方法等。

2.基于规则的方法通常使用左线性文法来定义语言的句法，然后使用分布语义学来定义词语的语义。

3.基于统计的方法通常使用统计模型来学习左线性文法的句法规则和分布语义学的词向量表示。

4.基于深度学习的方法通常使用深度神经网络来学习左线性文法的句法规则和分布语义学的词向量表示。

左线性文法与分布语义学结合的应用

1.左线性文法和分布语义学结合已被应用于多种自然语言处理任务，其中包括：机器翻译、信息检索、文本分类、情感分析等。

2.在机器翻译任务中，左线性文法和分布语义学结合可以帮助计算机理解源语言的句法结构和语义信息，从而生成更好的译文。

3.在信息检索任务中，左线性文法和分布语义学结合可以帮助计算机理解查询语句的句法结构和语义信息，从而返回更相关的结果。

4.在文本分类任务中，左线性文法和分布语义学结合可以帮助计算机理解文本的句法结构和语义信息，从而将其分类到正确的类别。

5.在情感分析任务中，左线性文法和分布语义学结合可以帮助计算机理解文本的句法结构和语义信息，从而识别文本的情感极性。

左线性文法与分布语义学结合的未来发展

1.左线性文法和分布语义学结合的研究还处于早期阶段，还有很多问题需要解决。

2.未来，研究人员将致力于解决左线性文法和分布语义学结合的难点，并提出新的方法来提高其准确性和效率。

3.左线性文法和分布语义学结合的研究将为自然语言处理领域带来新的突破，并推动自然语言处理技术的发展。

左线性文法与分布语义学结合的前沿研究方向

1.基于生成模型的左线性文法与分布语义学结合方法

2.基于深度学习的左线性文法与分布语义学结合方法

3.基于强化学习的左线性文法与分布语义学结合方法左线性文法与分布语义学的结合

#一、引言

左线性文法（LLG）是形式语言理论中的一种上下文无关文法，其产生式左部的非终结符最多只有一个。LLG因其简单性和可解析性而被广泛用于自然语言处理和其他领域。分布语义学是一种语义学理论，认为词语的意义可以从其在文本中的分布中推断出来。分布语义学方法已被成功应用于各种自然语言处理任务，包括词义消歧、情感分析和机器翻译。

#二、LLG与分布语义学的结合

LLG与分布语义学的结合是一种将LLG与分布语义学模型相结合的方法，用于从文本中提取语义信息。LLG提供了一种句法结构框架，而分布语义学模型则提供了一种计算词语意义的语义表示方法。LLG与分布语义学的结合可以用于解决各种自然语言处理任务，包括句法分析、语义分析和机器翻译。

#三、LLG与分布语义学的结合方法

LLG与分布语义学的结合方法主要包括以下步骤：

1.首先，使用LLG对文本进行句法分析，生成句法树。

2.然后，使用分布语义学模型计算每个词语的语义向量。

3.最后，将词语的语义向量组合起来，形成句子的语义向量。

#四、LLG与分布语义学的结合应用

LLG与分布语义学的结合已被成功应用于各种自然语言处理任务。例如，在句法分析任务中，LLG与分布语义学的结合方法可以提高句法分析的准确率。在语义分析任务中，LLG与分布语义学的结合方法可以提高语义分析的准确率和鲁棒性。在机器翻译任务中，LLG与分布语义学的结合方法可以提高机器翻译的质量。

#五、LLG与分布语义学的结合前景

LLG与分布语义学的结合是一种很有前景的研究方向。这种方法可以将句法信息和语义信息结合起来，从而提高自然语言处理任务的性能。随着LLG与分布语义学的结合方法的进一步发展，这种方法有望在更多的自然语言处理任务中得到应用。第五部分左线性文法与情景语义学的结合关键词关键要点动态情景语义学与左线性文法

1.动态情景语义学是一种基于情景语义学的语义学理论，它认为语义不是一成不变的，而是随着情景的变化而变化的。这种理论将情景作为语义解析和生成的基础，认为情景中的信息可以帮助理解和生成自然语言。

2.左线性文法是一种上下文无关文法，它只允许左递归规则。这种文法可以用来解析和生成自然语言，因为它可以很好地模拟自然语言的句法结构。

3.将动态情景语义学与左线性文法相结合，可以创建一个能够处理自然语言的语义解析和生成系统的框架。这个框架可以利用情景中的信息来帮助理解和生成自然语言，从而提高系统的性能。

左线性文法与情景逻辑

1.情景逻辑是一种基于情景语义学的逻辑理论，它将情景作为逻辑推理的基础。这种逻辑理论可以用来表示和推理自然语言中的信息，因为情景中的信息可以帮助理解和推理自然语言。

2.左线性文法可以用来表示情景逻辑中的公式，因为这种文法可以很好地模拟情景逻辑中的句法结构。将情景逻辑与左线性文法相结合，可以创建一个能够处理自然语言的逻辑推理系统的框架。这个框架可以利用情景中的信息来帮助理解和推理自然语言，从而提高系统的性能。

3.将情景逻辑与左线性文法相结合，可以创建一个能够处理自然语言的逻辑推理系统的框架。这种框架可以利用情景中的信息来帮助理解和推理自然语言，从而提高系统的性能。#左线性文法与情景语义学的结合：一种语义学理论的应用

在现代语言学和计算机科学领域，左线性文法（LLG）作为一种形式文法，因其简单性和实用性而被广泛应用于自然语言处理、编译器设计和人工智能等领域。近年来，将LLG与情景语义学相结合，探索其在语义学理论中的应用，成为了一门新兴的研究方向。本文将介绍LLG与情景语义学的结合，探讨其在语义学中的应用及其意义。

一、左线性文法（LLG）

左线性文法（LLG）是一种上下文无关文法，其产生式满足以下条件：

1.左线性的：每个产生式中的非终结符只能出现在最左边的位置。

2.终结符只有一个：每个产生式中只能有一个终结符。

LLG的形式简单，易于分析，因此被广泛应用于语义学、编译器设计、自然语言处理和人工智能等领域。

二、情景语义学

情景语义学是一种语义学理论，它将语言的意义解释为一系列情景。在情景语义学中，一个情景是一个可能的世界，它由一系列命题组成。命题是语句的意义，它可以是真或假。

三、LLG与情景语义学的结合

LLG与情景语义学的结合可以为语义学理论提供一种新的分析工具。通过将LLG的产生式解释为语义规则，可以将语句的意义形式化为一系列情景。例如，考虑以下LLG：

```

S→NPVP

NP→DetN

VP→VNP

Det→the

N→dog

V→barks

```

这个LLG可以用来生成句子“Thedogbarks”。根据这个LLG，这个句子的语义解释可以表示为：

```

[∃x:dog(x)∧barks(x)]

```

这个语义解释表示，存在一个实体x，它是一只狗，并且它吠叫。

四、LLG与情景语义学的结合的意义

LLG与情景语义学的结合为语义学理论的研究提供了新的思路和方法。这种结合可以将语义分析的形式化与自然语言的丰富性和复杂性相结合，为语义学理论的研究开辟了新的道路。

五、结语

LLG与情景语义学的结合是一种有前景的研究方向。这种结合可以将LLG的简单性和实用性与情景语义学的丰富性和表达力相结合，为语义学理论的研究提供新的思路和方法。随着研究的深入，LLG与情景语义学的结合有望在语义学理论的研究中发挥越来越重要的作用。第六部分左线性文法与认知语义学的结合关键词关键要点左线性文法与认知语义学结合的优势

1.认知语义学关注人类认知过程与语言表达之间的关系，而左线性文法为认知语义学提供了一种形式化的框架。二者结合可以将语言结构与认知意义建立起直接的联系，从而加深对语言本质的理解。

2.左线性文法能够很好地刻画语言中的层次结构，而认知语义学强调概念之间的层次关系。二者结合可以将语言的层次结构与概念的层次结构进行映射，从而为语言的语义解释提供一个清晰的框架。

3.左线性文法中的规则可以被视为一系列认知操作，这些操作反映了人类在处理语言信息时的认知过程。认知语义学则提供了一种对认知操作进行建模的方法。二者结合可以将语言的句法结构与认知过程进行对应，从而为语言的理解和生成提供一个动态的模型。

左线性文法与认知语义学结合的难点

1.认知语义学中的概念往往是抽象且复杂的，将其形式化为左线性文法规则存在一定的困难。

2.左线性文法是一种严格的句法形式主义，而认知语义学则是一种较为灵活的语义理论。二者结合时，需要在严谨性和灵活性之间找到一个平衡点。

3.左线性文法与认知语义学结合的研究领域是一个相对较新的领域，缺乏系统的理论和方法论。需要进一步的探索和研究来推动该领域的不断发展。左线性文法与认知语义学的结合

左线性文法（简称LL文法）是一种形式文法，它限制每个非终结符只能在产生式的最左边出现。LL文法在计算机科学中被广泛用于语法分析，并与认知语义学理论有密切的联系。

#LL文法的定义

LL文法是一个元组$$G=(V,\Sigma,P,S)$$,其中：

*$$V$$是非终结符集合。

*$$\Sigma$$是终结符集合。

*$$P$$是产生式集合。

*$$S$$是开始符号。

LL文法中的每个产生式有如下形式：

$$A\rightarrow\alpha$$

其中：

*$$A$$是非终结符。

*$$\alpha$$是非终结符和终结符的序列。

#LL文法的性质

LL文法具有以下性质：

*LL文法是上下文无关文法。

*LL文法可以被有效的语法分析算法识别。

*LL文法可以用于生成自然语言的语法。

#LL文法与认知语义学的结合

认知语义学理论认为，人类的语言能力是基于对世界的认知。认知语义学理论将语言视为一种符号系统，这种符号系统可以用来表达人类对世界的认知。

LL文法与认知语义学的结合可以为自然语言的语法和语义分析提供一个统一的框架。LL文法可以用于生成自然语言的语法，而认知语义学理论可以为自然语言的语义分析提供一个理论基础。

#具体的研究成果

近些年来，左线性文法与认知语义学的结合已经取得了一些具体的成果。例如：

*研究人员已经开发出了基于LL文法的自然语言语法分析器。这些语法分析器可以用来分析自然语言的语法结构，并识别出自然语言中的句子成分。

*研究人员已经开发出了基于LL文法的自然语言语义分析器。这些语义分析器可以用来分析自然语言的语义结构，并确定自然语言中的句子所表达的意思。

*研究人员已经开发出了基于LL文法的自然语言生成器。这些生成器可以用来生成自然语言的句子，这些句子可以用来表达人类对世界的认知。

#结语

LL文法与认知语义学的结合是一个有前景的研究领域。这个领域的研究成果可以为自然语言的语法和语义分析提供一个统一的框架，并为自然语言的生成提供一种新的方法。第七部分左线性文法与计算语义学的结合关键词关键要点【左线性文法与计算语义学的结合】：

1.结合概述：左线性文法与计算语义学的结合涉及将左线性文法的结构和生成机制应用于计算语义学，从而构建形式语言系统来表示和处理自然语言的含义。

2.语义解析：该主题主要集中于将左线性文法用作形式语言框架，来解析自然语言文本的语义表示。解析过程涉及将自然语言句子映射到左线性文法派生的句法树，并从中提取语义信息。

3.动态语义学：这个主题侧重于探索如何将左线性文法与动态语义理论相结合，以处理诸如时态、指示和量词等动态语义现象。通过建立动态语义系统，可以对自然语言进行更精确的语义解释。

【计算语义学中的左线性文法】：

#左线性文法与计算语义学理论的结合

引言

左线性文法(LLG)和计算语义学理论(CST)的结合是一种旨在研究自然语言语义的框架。它将左线性文法的形式化语法框架与计算语义学理论的语义表示和计算模型相结合，以提供一种对自然语言语义进行形式化分析和计算处理的方法。

左线性文法

左线性文法(LLG)是一种上下文无关文法，其产生式满足以下条件：

*每个产生式都具有形式A→αβ，其中A和β是非终结符，α是由终结符和非终结符组成的字符串。

*在每个产生式中，非终结符A只能出现在字符串α的最左侧。

与上下文无关文法不同，LLG的产生式中，非终结符只能出现在字符串的最左侧，这简化了语言的分析和解析。

计算语义学理论

计算语义学理论(CST)是一种研究自然语言语义的理论框架。CST将语言的语义表示为形式化的数学对象，并使用计算模型来处理和推理这些语义表示。CST的主要思想是将自然语言的语义表示为形式化的数学对象，并使用计算模型来处理和推理这些语义表示。

左线性文法与计算语义学的结合

LLG和CST的结合为自然语言语义的研究提供了一种新的框架。一方面，LLG的形式化语法框架可以为自然语言语义的分析提供一个严格的数学基础。另一方面，CST的语义表示和计算模型可以为自然语言语义的计算处理提供一个有效的方法。

LLG和CST的结合可以通过以下步骤实现：

1.将自然语言句子转换为LLG语法形式。

2.根据LLG语法形式，生成语言的抽象语法树(AST)。

3.将AST转换为CST的语义表示。

4.使用CST的计算模型对语义表示进行计算处理。

通过以上步骤，LLG和CST的结合可以实现对自然语言语义的分析和计算处理。

应用

LLG和CST的结合已经在自然语言处理的许多领域得到了应用，包括：

*机器翻译

*信息检索

*语义角色标注

*文本摘要

*问答系统

总结

LLG和CST的结合是一种强大的框架，可以用于分析和计算自然语言的语义。这种框架已经成功地应用于自然语言处理的许多领域，并取得了良好的效果。随着LLG和CST的不断发展，这种框架将在自然语言处理领域发挥越来越重要的作用。第八部分左线性文法与语义学理论的相互促进关键词关键要点【左线性文法的语义解释】：

1.左线性文法的语义解释，是指利用左线性文法作为中间媒介，将自然语言的语法结构和语义结构联系起来。

2.左线性文法的语义解释方法包括基于词典的方法、基于规则的方法和基于逻辑的方法等。

3.基于词典的方法是将自然语言中的词语一一对应到语义表示中，并利用语法规则将这些语义表示组合起来，从而获得句子的语义表示。基于规则的方法是利用一组语法规则，将自然语言中的句子转换成语义表示。基于逻辑的方法是利用逻辑形式来表示句子的语义，并利用逻辑规则来推导出句子的语义蕴涵关系。

【语义学理论的左线性文法建构】：

左线