本文将系统分享从零开始搭建本地大模型问答知识库过程中所遇到的问题及其解决方案。
1 概述
目前,搭建大语言问答知识库能采用的方法主要包括微调模型、再次训练模型以及增强检索生成(RAG,Retrieval Augmented Generation)三种方案。
而我们的目标是希望能搭建一个低成本、快速响应的问答知识库。由于微调/训练大语言模型需要耗费大量资源和时间,因此我们选择使用开源的本地大型语言模型结合RAG方案。经过测试,我们发现llama3:8b
和qwen2:7b
这种体量的大语言模型能快速响应用户的提问,比较符合我们搭建问答知识库的需求。
我们花了一段时间,对RAG各个步骤的原理细节和改进方案进行了一些研究,下面将按照RAG的步骤进行讲解。
1.1 简述RAG原理
首先,我们来讲解一下RAG的原理。假设我们有三个文本和三个问题,如下所示:
context = [
"北京,上海,杭州",
"苹果,橘子,桃子",
"太阳,月亮,星星"
]
questions = ["城市", "水果", "天体"]
接下来使用ollama的mxbai-embed-large
模型,把三个文本和三个问题都转化为向量的表示形式,代码如下所示:
vector = []
model = "mxbai-embed-large"
for c in context:
r = self.engine.embeddings(c, model=model)
vector += [r]
print("r =", r)
'''
r = [-0.4238928556442261, -0.037000998854637146, ......
'''
qVector = []
for q in questions:
r = self.engine.embeddings(q, model=model)
qVector += [r]
print("r =", r)
'''
q = [-0.3943982422351837,
'''
接下来使用numpy模块来编写一个函数,计算向量的相似度,代码如下所示:
def cosine_similarity(self, a, b):
return np.dot(a, b) / (np.linalg.norm(a) * np.linalg.norm(b))
for i in range(3):
for j in range(3):
similar = self.engine.cosine_similarity(qVector[i], vector[j])
print(f"{questions[i]}和{context[j]}的相似度为:{similar}")
'''
城市和北京,上海,杭州的相似度为:0.6192201604133171
城市和苹果,橘子,桃子的相似度为:0.6163859899608889
城市和太阳,月亮,星星的相似度为:0.5885895914816769
水果和北京,上海,杭州的相似度为:0.6260800765574224
水果和苹果,橘子,桃子的相似度为:0.6598514846105531
水果和太阳,月亮,星星的相似度为:0.619382129127254
天体和北京,上海,杭州的相似度为:0.5648588692973202
天体和苹果,橘子,桃子的相似度为:0.6756043740633552
天体和太阳,月亮,星星的相似度为:0.75651740246562
'''
从上面的示例可以看出,计算出的结果值越大,表示两个文本之间的相似度越高。上述过程是RAG原理的简化版。
有一定基础的都知道,大语言模型本质上就是计算概率,因此它只能回答训练数据中包含的内容。如果要搭建一个问答知识库,并且该知识库的内容是公开的,那么这些内容很可能已经包含在大模型的训练数据集中。在这种情况下,不需要进行任何额外操作,可以直接使用大模型进行问答,这也是目前大多数人使用大语言模型的普遍方式。
然而,我们要搭建的本地知识库大部分包含私有数据,这些内容并不存在于当前大语言模型的训练数据集中。在这种情况下,可以考虑对大模型进行微调或重新训练,但这种方案既费时又费钱。
因此,更常用的方案是将知识库的内容放入到prompt中,让大语言模型通过我们提供的内容来进行回答。但是该方案存在一个问题,那就是token的长度限制(上下文长度限制)。比如,本地大语言模型中的qwen2:7b
,token
的最大长度为128k
,表示输入的上下文通过AutoTokenizer
计算出的长度不能超过128k,但是正常情况下,知识库的大小超过128k是很正常的。我们不可能把所有的知识库内容都放入到prompt中,因此就有了RAG方案。
RAG的方案步骤如下所示:
-
对知识库根据一定的大小进行分片处理。
-
使用embedding大模型对分片后的知识库进行向量化处理。
-
使用embedding大模型对用户的问题也进行向量化处理。
-
把用户问题的向量和知识库的向量数据进行相似度匹配,找出相似度最高的k个结果。
-
把这k个结果作为上下文放入到prompt当中,跟着用户的问题进行提问。
在开头的例子中,context
变量相当于知识库的内容,"城市"
就相当于用户提出的问题,接着通过相似度计算,"北京,上海"
是最接近的信息,所以接着把该信息作为提问的上下文提供给GPT进行问答。
一个简单的prompt示例如下所示:
prompt = [
{
"role": "user",
"content": f"""当你收到用户的问题时,请编写清晰、简洁、准确的回答。
你会收到一组与问题相关的上下文,请使用这些上下文,请使用中文回答用户的提问。不允许在答案中添加编造成分,如果给定的上下文没有提供足够的信息,就回答"##no##"。
不要提供与问题无关的信息,也不要重复。
> 上下文:
>>>
{context}
>>>
> 问题:{question}
"""
}
]
1.2 使用redis-search计算相似度
在上述的例子中,是自行编写了一个cosine_similarity
函数来计算相似度,但是在实际的应用场景中,知识库的数据会非常大,这会导致计算相似度的速度非常慢。
经过研究发现,能对向量进行存储并且快速计算相似度的工具有:
-
redis-search
-
chroma
-
elasticsearch
-
opensearch
-
lancedb
-
pinecone
-
qdrant
-
weaviate
-
zilliz
下面分享一个使用redis-search的KNN算法来快速找到最相似的k个内容的方案。
首先搭建redis-search
环境,可以使用docker一键搭建,如下所示:
$ docker pull redis/redis-stack
$ docker run --name redis -p6379:6379 -itd redis/redis-stack
接着编写相关python代码,如下所示:
# 首先定义一个redis相关操作的类
import redis
from redis.commands.search.query import Query
from redis.commands.search.field import TextField, VectorField
class RedisCache:
def __init__(self, host: str = "localhost", port: int = 6379):
self.cache = redis.Redis(host=host, port=port)
def set(self, key: str, value: str):
self.cache.set(key, value)
def get(self, key: str):
return self.cache.get(key)
def TextField(self, name: str):
return TextField(name=name)
def VectorField(self, name: str, algorithm: str, attributes: dict):
return VectorField(name=name, algorithm=algorithm, attributes=attributes)
def getSchema(self, name: str):
return self.cache.ft(name)
def createIndex(self, index, schema):
try:
index.info()
except redis.exceptions.ResponseError:
index.create_index(schema)
def dropIndex(self, index):
index.dropindex(delete_documents=True)
def hset(self, name: str, map: dict):
self.cache.hset(name=name, mapping=map)
def query(self, index, base_query: str, return_fields: list, params_dict: dict, num: int, startnum: int = 0):
query = (
Query(base_query)
.return_fields(*return_fields)
.sort_by("similarity")
.paging(startnum, num)
.dialect(2)
)
return index.search(query, params_dict)
# 初始化类
redis = RedisCache()
# 定义一个文本类型,用来储存知识库内容
info = TextField("info")
# 建立一个向量类型,使用HNSW算法
name="embedding"
algorithm="HNSW"
# DIM计算方法
r = self.engine.embeddings(q, model=model)
DIM = len(r)
attributes={
"TYPE": "FLOAT32",
"DIM": DIM,
"DISTANCE_METRIC": "COSINE"
}
embed = VectorField(
name=name, algorithm=algorithm, attributes=attributes
)
# 创建索引
scheme = (info, embed)
index = redis.getSchema(self.redisIndexName)
redis.createIndex(index, scheme)
# 接着把所有知识库内容进行向量化后储存进redis中
def insertData(self, model):
j = 0
for file in self.filesPath:
for i in file.content:
# i就是分片后的知识库内容
embed = self.engine.embeddings(i, model = model)
emb = numpy.array(embed, dtype=numpy.float32).tobytes()
im = {
"info": i,
"embedding": emb,
}
name = f"{self.redisIndexName}-{j}"
j += 1
self.redis.hset(name, im)
# 查询
# 取最接近的10个结果
k = 10
base_query = f"* => [KNN {k} @embedding $query_embedding AS similarity]"
return_fields = ["info", "similarity"]
# question为用户的问题
qr = self.engine.embeddings(question, model = model)
params_dict = {"query_embedding": np.array(qr, dtype=np.float32).tobytes()}
index = self.redis.getSchema(self.redisIndexName)
result = self.redis.query(index, base_query, return_fields, params_dict, k)
for _, doc in enumerate(result.docs):
# 查看相似度值和上下文内容
print(doc.info, doc.similarity)
2 RAG知识库难点
在了解了RAG的原理后,我们就可以尝试编写相关代码,搭建一个本地问答知识库。但是在我们开始行动后,就会发现事情并不会按照我们所预料的发展。
2.1 难点一:大语言模型能力不足
在我们的设想中,问答知识库是这样工作的:
-
根据用户的提问,在知识库中找到最相似k个的内容。
-
把这k个内容作为上下文,提供给大模型。
-
大模型根据用户提问的上下文,给出准确的答案。
但是在实际应用的过程中,程序却无法按照我们的意愿运行,首先是问答的大语言模型能力不足,毕竟我们使用的是qwen2:7b
这种小体积的大模型,无法和GPT4
这类的大模型相比较。但是修改一下提问的方式或者上下文和问题之间的顺序,还是能比较好的达到我们预期的效果。
但是更重要的是embed大模型的能力同样存在不足,这里用开头例子进行说明,我们把context
的内容简单修改一下,如下所示:
context = [
"北京,上海,杭州",
"苹果,橘子,梨",
"太阳,月亮,星星"
]
然后再计算一次相似度,如下所示:
城市和北京,上海,杭州的相似度为:0.6192201604133171
城市和苹果,橘子,梨的相似度为:0.6401285511286077
城市和太阳,月亮,星星的相似度为:0.5885895914816769
水果和北京,上海,杭州的相似度为:0.6260800765574224
水果和苹果,橘子,梨的相似度为:0.6977096659034031
水果和太阳,月亮,星星的相似度为:0.619382129127254
天体和北京,上海,杭州的相似度为:0.5648588692973202
天体和苹果,橘子,梨的相似度为:0.7067548826946035
天体和太阳,月亮,星星的相似度为:0.75651740246562
我们发现,"城市"
竟然和"苹果,橘子,梨"
是最相似的。虽然这只是一个简单的例子,但是在实际的应用中经常会遇到这类的情况,通过用户提问的内容找到的知识库中最相似的内容有可能跟问题并不相关。
这是否是本地embed大模型的问题?OpenAI的embed大模型效果如何?接着我们找了一些本地embed大模型和OpenAI的text-embedding-3-small
、text-embedding-ada-002
、text-embedding-3-large
进行一个简单的测试,判断通过问题找到的最相似的知识库上下文,是否是预期的内容。
最终的结果是,不管是本地的大模型还是OpenAI的大模型,成功率都在50%-60%之间。embed大模型的能力差是普遍存在的问题,并不仅仅是本地embed大模型的问题。
该问题经过我们一段时间的研究,找到了“将就”能用的解决方案,将会在后文细说。
2.2 难点二:提问的复杂性
理想中的问答知识库是能处理复杂问题,并且能进行多轮对话,而不是一轮提问就结束。
以Seebug Paper
作为知识库,提出的问题具体到某一篇文章,并且多轮对话之间的问题是相互独立的,这种情况是最容易实现的。比如:
user: 帮我总结一下CVE-2024-22222漏洞。
assistant: ......
user: CVE-2023-1111漏洞的危害如何?
assistant: ......
......
但是想要让问答知识库成为一个好用的产品,不可能把目标仅限于此,在实际的应用中还会产生多种复杂的问题。
1.范围搜索性提问
参考以下几种问题:
2024年的文章有哪些?
CTF相关的文章有哪些?
跟libc有关的文章有哪些?
…
拿第一个问题举例,问题为:2024年的文章有哪些?
。
接着问答知识库的流程为:
-
通过embed模型对问题进行向量化。
-
通过redis搜索出问题向量数据最接近的k个知识库内容。(假设k=10)
-
然后把这10个知识库内容作为上下文,让GPT进行回答。
如果按照上面的逻辑来进行处理,最优的情况就是,问答大模型根据提供的10个知识库上下文成功的回答了10篇2024年的文章。
这样问题就产生了,如果2024年的文章有20篇呢?也许我们可以提高k值的大小,但是k值提高的同时也会增加运算时间。虽然看似临时解决了问题,但是却产生了新问题,k值提高到多少?提高到20?那如果2024年的文章有50篇。提高到100?那如果2024年的文章如果只有1篇,该方案就浪费了大量运算时间,同时可能会超过大语言模型的token限制,如果使用的是商业GPT(比如OpenAI),那么token就是金钱,这就浪费了大量资金。如果使用的是开源大语言模型,token同样有限制,并且在token增加的同时,大语言模型的能力也会相应的下降。
2.多轮对话
参考以下多轮提问:
user: 2024年的文章有哪些?
assistant: …
user: 还有吗?
问答知识库在处理第二个提问的流程为:
-
通过embed模型对
"还有吗?"
问题进行向量化。 -
通过redis搜索出问题向量数据最接近的k个知识库内容。(假设k=10)
-
…
问题产生了,根据"还有吗?"
搜索出的相似上下文会是我们需要的上下文吗?基本上不可能是。
该问题经过我们一段时间的研究,同样是找到了“将就”能用,但是并不优雅的解决方案,将会在后文细说。
2.3 难点三:文本的处理
在使用Seebug Paper
搭建问答知识库的过程中,发现两个问题:
-
文章中的图片怎么处理?
-
文章长度一般在几k到几十k之间,因此是需要分片处理的,那么如何分片?
关于图片处理勉强还有一些解决方案:
-
使用OCR识别将图片转换为文字。(效果不太好,因为有些图片重要的不是文字。)
-
使用llava这类的大模型来对图片进行描述和概括(llava效果不太好,不过gpt4的效果会好很多)。
-
直接加上如下图所示,并且在prompt中告诉GPT,让其需要用到图片时,直接返回图片的链接。
但是分片的问题却不是很好处理,如果要进行分片,那么如何分片呢?研究了llama_index
和langchain
框架,基本都是根据长度来进行分片。
比如在llama_index
中,对数据进行分片的代码如下所示:
from llama_index import SimpleDirectoryReader
from llama_index.node_parser import SimpleNodeParser
documents = SimpleDirectoryReader(input_dir="./Documents").load_data()
node_parser = SimpleNodeParser.from_defaults(chunk_size=514, chunk_overlap=80)
nodes = node_parser.get_nodes_from_documents(documents)
在上面的示例代码中,设置了chunk_size
的值为514,但是在Paper中,经常会有内嵌的代码段长度大于514,这样就把一段相关联的上下文分在了多个不同的chunk当中。
假设一个相关联的代码段被分成了chunk1和chunk2,但是根据用户问题搜索出相似度前10的内容中只有chunk2并没有chunk1,最终GPT只能获取到chunk2的上下文内容,缺失了chunk1的上下文内容,这样就无法做出正确的回答。
不仅仅是代码段,如果只是通过长度进行分片,那么有可能相关联的内容被分成了多个chunk。
3 将就能用的解决方案
下面分享一些针对上面提出的难点研究出的解决方案,但是仅仅只是将就能用的方案,都是通过时间换准确率,暂时没找到完美的解决方案。
3.1 rerank模型
通过研究QAnything
项目,发现可以使用rerank模型来提升embed模型的准确率。
举个例子,比如你想取前10相似的内容作为提问的上下文。那么可以通过redis获取到前20相似的内容,接着通过rerank模型对这20个内容进行重打分,最后获取前10分数最高的内容。相关代码示例如下所示:
from BCEmbedding import RerankerModel
# 初始化rerank模型
rerankModel = RerankerModel(model_name_or_path="maidalun1020/bce-reranker-base_v1", local_files_only=True)
......
# 搜索出知识库中与用户问题相似度最高的前20个内容
k = 20
result = self.redis.query(index, base_query, return_fields, params_dict, k)
passages = []
for _, doc in enumerate(result.docs):
passages += [doc.info]
# 根据用户提问,对这20个内容进行重打分
rerank_results = rerankModel.rerank(question, passages)
info = rerank_results["rerank_passages"]
last_result = info[:10]
rerank
模型本质上就是训练出了一个专门打分的大语言模型,让该模型对问题和答案进行打分。该方案一定程度上可以提升搜索出内容的准确度,但是仍然无法完美解决难点一的问题。
3.2 上下文压缩
通过研究LLMLingua
和langchain
项目,发现了上下文压缩方案。
在上面的例子中,都是以k=10
来举例的,那么k的值等于多少才合适呢,这需要根据知识库分片的大小和大语言模型的能力来调整。
首先,要求上下文的长度加上prompt的内容不能超过大语言模型token长度的限制。其次,基本所有的大语言模型都会随着上下文的增加导致能力下降。所以需要根据使用的大语言模型找到一个长度阙值,来设置k的大小。
在实际应用中,会发现前k个上下文中可能大部分内容都跟用户的提问无关,因此可以使用上下文压缩技术,去除无用的内容,减小上下文体积,增加k值大小。
由于LLMLingua
项目使用的模型有点大,跑起来费时费电(跑不起来),所以根据其原理,实现了一个低级版本的压缩代码,如下所示:
def compress(self, question: str, context: list[str], maxToken: int = 1024) -> list[str]:
template = f"下面将会提供问题和上下文,请判断上下文信息是否和问题相关,如果不相关,请回复##no##,如果相关,请提取出和上下文相关的内容。*注意*:请直接提取出上下文的关键内容,请*不要*自行发挥,*不要*进行任何修改或者压缩删减操作。\n\n> 问题:{question}\n> 上下文:\n>>>\n%s\n>>>"
result = []
for c in context:
qs = template%c
answer = self.engine.chat(qs)
# print(c, answer)
# input()
if "##no##" not in answer:
result += [answer]
newContent = "\n".join(result)
question = f"你是一个去重机器人,下面将会提供一组上下文,请你对上下文进行去重处理。*注意*,请*不要*自行发挥,*不要*进行任何添加修改,请直接在上下文内容中进行去重。\n上下文:>>>\n{newContent}\n>>>"
answer = self.engine.chat(question)
return answer
由于有了上下文压缩方案,我们可以考虑设置k的值为一个非常大的值,然后分析计算出的相似度的值,比如我发现在我的案例中,redis搜索结果相似度大于0.4
的内容就完全跟提问无关,rerank重打分分数小于0.5
的内容完全跟提问无关,所以可以做出以下修改:
k = 1000
......
passages = []
for _, doc in enumerate(result.docs):
# 只取相似度小于0.4的内容
if float(doc.similarity) > 0.4:
break
passages += [doc.info]
rerank_results = rerankModel.rerank(questionHistory, passages)
info = rerank_results["rerank_passages"]
score = rerank_results["rerank_scores"]
contexts_list = []
for i in range(len(info)):
# 只取重打分后分数大于0.5的
if float(score[i]) > 0.5:
contexts_list += [info[i]]
else:
break
# 上下文压缩
contexts = self.compress(question, contexts_list)
通过以上方案,一定程度上解决了范围性搜索提问
的难题。同样,我们可以尝试寻找一个相似度分数的阙值,来解决多轮对话
的难题,因为"还有吗?"
这类的多轮对话问题和知识库的相关性非常低,得到的分数都会非常低。这样当我们最终获取到的上下文内容为空时,表明当前为多轮对话,再按照对轮对话的逻辑进行处理。
3.3 知识库分片处理
经过研究,目前没找到完美的分片方案,我认为针对不同格式的知识库设计针对性的分片方案会比较好。
针对Seebug Paper
的情况,我们考虑根据一级标题
来进行分片,每个chunk中还需要包含当前文章的基础信息,比如文章名称。如果有代码段,则需要根据token的大小来进一步分片。
在一些框架中,不同chunk之前会有一部分重叠内容,但是我们研究后发现这种处理方案不会让最终的效果有较大的提升。
经过研究,我们发现固定格式的文档是最佳的知识库素材,例如漏洞应急简报,每篇简报的内容大小适中,并且采用Markdown格式便于匹配和处理。我们能根据漏洞概述、漏洞复现、漏洞影响范围、防护方案、相关链接
来进行分片,每部分的相关性都不大。
4 总结
我们期望的问答知识库是大语言模型能根据我们提供的知识库快速、准确的回答用户的提问。目前来看是还是不存在理想中的问答知识库,一方面是由于大语言模型能力的限制,在当前的大语言模型中,快速响应
和精准响应
还是一对反义词。
使用embed大语言模型寻找相关文档的准确率太低,大部分的优化方案都是通过时间换取准确率。所以还是寄希望于生成式大语言模型未来的发展,是否能达成真人工智能。
目前的问答知识库和RAG
类的框架效果相差不大,都是属于先把框架建好,把大语言模型分割开来,能随意替换各类大语言模型,因此这类框架的能力取决于使用的是什么大语言模型。相当于建造一个机器人,把身体都给搭建好了,但是还缺少一颗优秀的脑子。
如何学习大模型 AI ?
由于新岗位的生产效率,要优于被取代岗位的生产效率,所以实际上整个社会的生产效率是提升的。
但是具体到个人,只能说是:
“最先掌握AI的人,将会比较晚掌握AI的人有竞争优势”。
这句话,放在计算机、互联网、移动互联网的开局时期,都是一样的道理。
我在一线互联网企业工作十余年里,指导过不少同行后辈。帮助很多人得到了学习和成长。
我意识到有很多经验和知识值得分享给大家,也可以通过我们的能力和经验解答大家在人工智能学习中的很多困惑,所以在工作繁忙的情况下还是坚持各种整理和分享。但苦于知识传播途径有限,很多互联网行业朋友无法获得正确的资料得到学习提升,故此将并将重要的AI大模型资料包括AI大模型入门学习思维导图、精品AI大模型学习书籍手册、视频教程、实战学习等录播视频免费分享出来。
第一阶段(10天):初阶应用
该阶段让大家对大模型 AI有一个最前沿的认识,对大模型 AI 的理解超过 95% 的人,可以在相关讨论时发表高级、不跟风、又接地气的见解,别人只会和 AI 聊天,而你能调教 AI,并能用代码将大模型和业务衔接。
- 大模型 AI 能干什么?
- 大模型是怎样获得「智能」的?
- 用好 AI 的核心心法
- 大模型应用业务架构
- 大模型应用技术架构
- 代码示例:向 GPT-3.5 灌入新知识
- 提示工程的意义和核心思想
- Prompt 典型构成
- 指令调优方法论
- 思维链和思维树
- Prompt 攻击和防范
- …
第二阶段(30天):高阶应用
该阶段我们正式进入大模型 AI 进阶实战学习,学会构造私有知识库,扩展 AI 的能力。快速开发一个完整的基于 agent 对话机器人。掌握功能最强的大模型开发框架,抓住最新的技术进展,适合 Python 和 JavaScript 程序员。
- 为什么要做 RAG
- 搭建一个简单的 ChatPDF
- 检索的基础概念
- 什么是向量表示(Embeddings)
- 向量数据库与向量检索
- 基于向量检索的 RAG
- 搭建 RAG 系统的扩展知识
- 混合检索与 RAG-Fusion 简介
- 向量模型本地部署
- …
第三阶段(30天):模型训练
恭喜你,如果学到这里,你基本可以找到一份大模型 AI相关的工作,自己也能训练 GPT 了!通过微调,训练自己的垂直大模型,能独立训练开源多模态大模型,掌握更多技术方案。
到此为止,大概2个月的时间。你已经成为了一名“AI小子”。那么你还想往下探索吗?
- 为什么要做 RAG
- 什么是模型
- 什么是模型训练
- 求解器 & 损失函数简介
- 小实验2:手写一个简单的神经网络并训练它
- 什么是训练/预训练/微调/轻量化微调
- Transformer结构简介
- 轻量化微调
- 实验数据集的构建
- …
第四阶段(20天):商业闭环
对全球大模型从性能、吞吐量、成本等方面有一定的认知,可以在云端和本地等多种环境下部署大模型,找到适合自己的项目/创业方向,做一名被 AI 武装的产品经理。
- 硬件选型
- 带你了解全球大模型
- 使用国产大模型服务
- 搭建 OpenAI 代理
- 热身:基于阿里云 PAI 部署 Stable Diffusion
- 在本地计算机运行大模型
- 大模型的私有化部署
- 基于 vLLM 部署大模型
- 案例:如何优雅地在阿里云私有部署开源大模型
- 部署一套开源 LLM 项目
- 内容安全
- 互联网信息服务算法备案
- …
学习是一个过程,只要学习就会有挑战。天道酬勤,你越努力,就会成为越优秀的自己。
如果你能在15天内完成所有的任务,那你堪称天才。然而,如果你能完成 60-70% 的内容,你就已经开始具备成为一名大模型 AI 的正确特征了。