LexCore - Trợ lý pháp lý AI cho Bất động sản Việt Nam
LexCore là trợ lý pháp lý AI cho lĩnh vực đất đai & kinh doanh bất động sản, xây dựng trên Luật Đất đai, Luật Nhà ở, Luật Kinh doanh Bất động sản và các luật, nghị định, thông tư liên quan.
Fig. 01 · Ảnh dự án
1. Bài Toán Nghiệp Vụ (Problem Statement)
1.1. Bối cảnh thị trường & Sự phức tạp pháp lý
Trong lĩnh vực bất động sản (BĐS) Việt Nam, giá trị giao dịch của mỗi hợp đồng (mua bán, cho thuê, thầu xây dựng, hợp tác đầu tư...) là cực kỳ lớn. Do đó, tính pháp lý luôn là yếu tố sống còn quyết định sự thành bại và tính ổn định tài chính của doanh nghiệp.
1.2. Thách thức cốt lõi của doanh nghiệp bất động sản
Quá tải và sai sót trong rà soát thủ công: Phòng pháp chế của các chủ đầu tư hoặc đơn vị phát triển BĐS phải xử lý hàng trăm tài liệu mỗi ngày. Việc đọc và đối chiếu thủ công từng điều khoản tốn rất nhiều thời gian (từ vài giờ đến vài ngày cho một hợp đồng dài), dễ bỏ sót các điều khoản rủi ro tiềm ẩn hoặc áp dụng sai các quy định luật cũ.
Nguy cơ vô hiệu hợp đồng do lỗi thời: Do sự thay đổi nhanh chóng của luật pháp, nhiều mẫu hợp đồng cũ vẫn tiếp tục được sử dụng, dẫn đến rủi ro các điều khoản bị tuyên vô hiệu một phần hoặc toàn bộ, gây thiệt hại nghiêm trọng khi có tranh chấp xảy ra.
Khoảng cách kiến thức giữa phòng Pháp chế và phòng Kinh doanh (Sales): Nhân viên kinh doanh là người trực tiếp đàm phán với khách hàng, nhưng họ thường thiếu kiến thức pháp lý chuyên sâu để giải thích hoặc phản hồi ngay lập tức cho đối tác. Việc phải chờ đợi phản hồi từ phòng Pháp chế làm chậm tốc độ chốt giao dịch, thậm chí làm mất cơ hội kinh doanh.
Hạn chế của các công cụ AI generic: Các trợ lý AI thông thường (như ChatGPT, Claude bản chung) dễ gặp lỗi ảo giác (hallucination), bịa đặt điều khoản hoặc trích dẫn các điều luật không có thật, không hiểu sâu sắc hệ thống pháp lý Việt Nam, và không bảo đảm tính riêng tư khi xử lý tài liệu nhạy cảm của doanh nghiệp. Trong khi đó, các giải pháp chuyên nghiệp quốc tế (như Harvey AI, LexisNexis AI) lại quá đắt đỏ và không được tối ưu hóa cho hệ thống luật pháp Việt Nam.
2. Giải Pháp Kỹ Thuật (Technical Solution)
Dự án LexCore được thiết kế để giải quyết triệt để các vấn đề trên thông qua sự kết hợp giữa kiến trúc hệ thống bất đồng bộ mạnh mẽ và các kỹ thuật xử lý ngôn ngữ tự nhiên tối tân (RAG & Rule-based checks).
graph TB
FE[Next.js Frontend] -->|REST + SSE| API[FastAPI Async]
API --> PG[(PostgreSQL + pgvector)]
API --> Redis[(Redis/arq)]
Redis --> Worker[arq Worker]
Worker --> PG
API --> Storage[(Local/S3/MinIO Storage)]
Worker --> Storage
API --> OR[OpenRouter]
Worker --> OR
API --> Metrics[/metrics]
API --> Audit[Audit log]
2.1. Kiến trúc hệ thống tổng quan
Backend (FastAPI async e2e): Viết bằng Python, vận hành hoàn toàn bất đồng bộ để đáp ứng số lượng kết nối đồng thời lớn mà không gây nghẽn. Kết nối cơ sở dữ liệu qua và .
§
Phụ lục — Demo & Slides
Video demo
Bản demo trực tiếp
Slide trình bày
SQLAlchemy 2.0 Async
asyncpg
Frontend (Next.js + Tailwind + shadcn/ui): Đảm bảo giao diện phản hồi nhanh, responsive và trực quan hóa các dữ liệu phức tạp (như hiển thị tài liệu side-by-side).
Background Jobs (Redis + arq): arq là hàng đợi công việc asyncio-native, được cấu hình trên Redis để thực hiện các luồng rà soát hợp đồng nặng mà không làm block API chính. Có cơ chế fallback chạy in-process khi Redis ngoại tuyến trong môi trường phát triển.
Cơ sở dữ liệu (PostgreSQL + pgvector): Mô hình 15 bảng chuẩn hóa cao. Kích hoạt extension pgvector để lưu trữ và tìm kiếm vector cosine với chỉ mục HNSW nhằm tối ưu hiệu năng truy vấn hàng nghìn văn bản pháp lý.
LLM & Embeddings:
Tích hợp OpenAI API (gpt-4o-mini) giúp tối ưu hóa chi phí/chất lượng mô hình.
Sử dụng OpenAI text-embedding-3-small để tối đa hóa hiệu năng.
2.2. Chi tiết kỹ thuật của các tính năng cốt lõi
A. RAG Legal Chat (Hỏi đáp pháp lý đối chiếu)
Hybrid Retrieval (pgvector + Postgres FTS): Kết hợp tìm kiếm ngữ nghĩa (Dense vector search qua pgvector) với tìm kiếm cú pháp văn bản (Lexical search qua Postgres Full-Text Search) trên bảng legal_chunks. Hai luồng kết quả được kết hợp thông qua thuật toán Reciprocal Rank Fusion (RRF).
Multi-turn Condense: Lịch sử hội thoại được tóm tắt và làm rõ thành một câu truy vấn độc lập (standalone query) trước khi gửi đi tìm kiếm ngữ cảnh nhằm nâng cao độ chính xác khi đối thoại nhiều lượt.
Cơ chế chống ảo giác nhiều lớp:
Hard abstention floor: Nếu độ tương đồng cosine thấp hơn ngưỡng cho phép (rag_abstain_score), hệ thống tự động từ chối trả lời thay vì để LLM đoán mò.
Context/Citation sync: Chỉ trích dẫn các tài liệu thực sự được chuyển vào context của LLM (sau khi cắt tỉa theo giới hạn độ dài context window).
Groundedness check: Một bộ kiểm tra hậu kỳ tự động đối chiếu các số hiệu, Điều khoản, phần trăm trong câu trả lời của LLM với tài liệu gốc được trích dẫn. Nếu phát hiện sai lệch sẽ gắn cờ cảnh báo.
Temporal validity (Hiệu lực thời gian): Hỗ trợ lọc luật dựa trên tham số ngày có hiệu lực (as_of_date), đảm bảo trả lời chính xác theo luật pháp có hiệu lực tại thời điểm ký kết hợp đồng.
B. Contract Review (Đánh giá hợp đồng thông minh)
Quy trình rà soát được thiết kế theo mô hình lai (Hybrid Review Pipeline) để đảm bảo cả tính linh hoạt của LLM và độ chính xác tuyệt đối của lập trình logic:
sequenceDiagram
participant User as Người dùng
participant API as FastAPI API
participant Worker as arq Worker
participant DB as PostgreSQL
participant LLM as OpenRouter (Claude)
User->>API: Upload hợp đồng (PDF/DOCX)
API->>API: Magic-byte validation (kiểm tra định dạng thực)
API->>DB: Tạo ContractVersion (status=processing)
API->>Worker: Enqueue review_job
API-->>User: Trả về HTTP 202 (Job Accepted)
rect rgb(200, 220, 240)
Note over Worker: OCR Fallback nếu là PDF scan dạng ảnh
Worker->>Worker: Trích xuất văn bản & Phân tách điều khoản (Clauses)
Worker->>Worker: Chạy Deterministic Rule Checks (Luật Thương mại, KDBĐS, Dân sự)
Worker->>LLM: Gửi từng chunk điều khoản phân tích rủi ro định tính
Worker->>DB: Tìm kiếm RAG đính kèm cơ sở pháp lý cho rủi ro phát hiện
Worker->>Worker: Kết hợp phát hiện (Deduplicate & tính điểm Risk Score)
end
Worker->>DB: Cập nhật status=completed, lưu findings & risks
User->>API: Poll trạng thái hợp đồng (GET)
API->>DB: Truy vấn kết quả
DB-->>API: Trả về findings
API-->>User: Hiển thị kết quả Side-by-side trên UI
Deterministic Rule Checks (Kiểm tra luật cứng): Code Python được lập trình cứng (sử dụng regex và tính toán toán học chính xác) để kiểm tra các ngưỡng luật định (Cap 5% đặt cọc, 70% thanh toán trước bàn giao, 8% phạt hợp đồng, 20% lãi suất vay). LLM chỉ xử lý các rủi ro định tính, giúp loại bỏ hoàn toàn việc LLM tính toán sai hoặc hiểu nhầm con số.
Báo cáo rủi ro phân cấp (Max-severity Rubric): Điểm số rủi ro (risk_score) được tính toán dựa trên mức độ nghiêm trọng lớn nhất (max severity) của các rủi ro được phát hiện trong hợp đồng, thay vì tính trung bình (nhằm tránh việc một hợp đồng có 1 lỗi nghiêm trọng chết người bị làm mờ đi bởi các điều khoản khác an toàn).
Đảm bảo an toàn (Failure-safe Invariant): Nếu quá trình bóc tách hoặc LLM gặp sự cố, hệ thống trả về trạng thái failed hoặc partial (giao diện sẽ hiển thị cảnh báo và sàn điểm rủi ro ở mức tối thiểu Medium để người dùng không chủ quan), tuyệt đối không bao giờ hiển thị trạng thái an toàn (Low risk) khi chưa được kiểm duyệt hoàn chỉnh.
C. Observability, Security & Enterprise Operations
Stitch logs: Mỗi yêu cầu đi vào hệ thống đều được tạo một request_id (qua ASGI middleware). ID này được lưu trữ trong log và chuyển tiếp sang hàng đợi arq worker, cho phép DevOps truy vết log của toàn bộ vòng đời xử lý hợp đồng xuyên suốt từ API sang Worker.
Compliance Audit Log: Hệ thống duy trì một file log kiểm toán bảo mật riêng biệt (audit.py) để ghi lại hành vi của người dùng (tải hợp đồng, xem rủi ro, bấm giải quyết rủi ro, gửi feedback) kèm IP và User-Agent để đáp ứng tiêu chuẩn kiểm soát nội bộ của doanh nghiệp lớn.
Prometheus metrics: Endpoint /metrics cung cấp trực quan số lượng request, thời gian xử lý và các cảnh báo request chậm (slow_api_request) cho hệ thống giám sát thời gian thực.
Magic-byte Validation: Kiểm tra chữ ký byte thực sự của tệp được tải lên (PDF bắt đầu bằng %PDF-, DOCX/ZIP bắt đầu bằng PK), tránh việc đổi đuôi file để tấn công hệ thống.
3. Tính Khả Thi của Dự Án (Feasibility)
3.1. Tính khả thi về mặt kỹ thuật: Cao
Độ chín của công nghệ: FastAPI, PostgreSQL/pgvector và Next.js là những công nghệ đã được chứng minh có hiệu năng cao và cộng đồng hỗ trợ lớn. Việc sử dụng arq worker giúp hệ thống xử lý bất đồng bộ mượt mà trên môi trường Windows/Linux mà không cần cơ chế fork phức tạp của Celery/RQ.
Kiểm nghiệm thực tế bằng RAGAS: Chất lượng hệ thống RAG không chỉ dựa trên cảm tính mà đã được đo lường cụ thể thông qua bộ kiểm thử tự động với tập dữ liệu vàng gồm 10 mẫu luật tiếng Việt, đạt kết quả ấn tượng:
Faithfulness (Độ trung thực):0.77
Relevancy (Độ liên quan):0.84
Context Precision (Độ chính xác ngữ cảnh):0.92
Context Recall (Độ phủ ngữ cảnh):0.89
Các chỉ số trên chứng minh hệ thống định vị nguồn luật cực kỳ chính xác và câu trả lời bám sát tài liệu được cung cấp, hạn chế tối đa ảo giác.
3.2. Tính khả thi về mặt nghiệp vụ & vận hành: Cao
Giải quyết trực tiếp nỗi đau (Pain points): Hệ thống đánh trúng nhu cầu tiết kiệm thời gian của phòng pháp chế và nhu cầu tra cứu nhanh của phòng kinh doanh BĐS.
Trải nghiệm người dùng (UX) tối ưu: Giao diện PDF Viewer side-by-side kèm danh sách thẻ rủi ro phân loại màu sắc (Đỏ - High, Vàng - Medium, Xanh - Low) giúp người dùng dễ dàng theo dõi. Nút "Resolve/Ignore" giúp chuyên viên pháp chế lưu lại ghi chú xử lý trực tiếp vào cơ sở dữ liệu.
Kiểm soát và phân quyền: Cơ chế Collaborative Access Control phân chia rõ không gian làm việc giữa các tổ chức/phòng ban khác nhau, cho phép nhân sự trong cùng nhóm xem chung dữ liệu nhưng cô lập hoàn toàn tài liệu giữa các doanh nghiệp đối thủ.
3.3. Tính khả thi về mặt tài chính: Tối ưu
Linh hoạt cấu hình embeddings: Khả năng chuyển đổi dễ dàng giữa local embeddings (không mất phí) và API OpenAI (phí rất thấp chỉ $0.00002/1k tokens) giúp doanh nghiệp tối ưu hóa chi phí vận hành.
Hạn ngạch sử dụng (Quota & Billing Meter): Hệ thống đã xây dựng sẵn các bảng quản lý gói cước (subscription_plans, usage_records), cho phép admin giới hạn số lượt rà soát hoặc số lượt chat AI cho mỗi tài khoản, kiểm soát chi phí gọi API từ OpenRouter/OpenAI.
4. Định Hướng Phát Triển (Future Development)
Để đưa LexCore từ phiên bản MVP hiện tại trở thành một nền tảng pháp lý doanh nghiệp toàn diện, các hướng phát triển tiếp theo bao gồm:
4.1. Tự động hóa cập nhật tri thức pháp lý & Cảnh báo thời gian thực
Auto-sync từ cổng thông tin Chính phủ: Nâng cấp module knowledge để tự động hóa việc crawl văn bản luật mới từ các trang vbpl.vn hoặc thuvienphapluat.vn.
Cảnh báo hồi tố (Retroactive regulation alerts): Khi có luật mới được cập nhật (ví dụ một nghị định hướng dẫn Luật Đất đai mới có hiệu lực), hệ thống sẽ tự động đối chiếu với cơ sở dữ liệu các hợp đồng đang thực thi hoặc chưa ký kết để gửi cảnh báo tự động đến người quản lý nếu phát hiện điều khoản hợp đồng cũ vi phạm luật mới.
4.2. Tinh chỉnh thuật toán & Trải nghiệm AI chuyên biệt
LLM Rerank: Bật cấu hình rag_rerank_enabled trên môi trường cloud bằng cách tích hợp các mô hình Cross-Encoder nhẹ hoặc API Cohere Rerank nhằm sắp xếp lại ngữ cảnh sau khi retrieve, tăng độ phủ chính xác của luật trích dẫn.
Fine-tune mô hình ngôn ngữ tiếng Việt: Huấn luyện hoặc fine-tune các mô hình mã nguồn mở chuyên về tiếng Việt (như V-LLM v1) trên cơ sở dữ liệu pháp luật Việt Nam để tự chủ về mặt công nghệ, bảo mật dữ liệu tuyệt đối (on-premise) cho các tập đoàn lớn không muốn chuyển dữ liệu hợp đồng ra cloud.
So sánh phiên bản hợp đồng trực quan (Diffing tool): Tích hợp công cụ hiển thị thay đổi giữa các phiên bản hợp đồng (contract_versions) trực tiếp trên giao diện side-by-side, giúp chuyên viên pháp lý thấy ngay AI đã đề xuất sửa đổi những gì và đối tác đã phản hồi ra sao.
4.3. Thương mại hóa & Mở rộng thị trường
Cổng thanh toán tự động (Stripe/VNPAY): Tích hợp cổng thanh toán để tự động hóa hoàn toàn quy trình mua gói cước, gia hạn credit, biến LexCore thành một mô hình SaaS (Software-as-a-Service) kinh doanh độc lập.
Mẫu hợp đồng thông minh (Smart Contract Wizard): Mở rộng tính năng contract_generator cho phép tạo mẫu hợp đồng phức tạp nhiều lựa chọn rẽ nhánh tùy thuộc vào câu trả lời khảo sát ban đầu của người dùng, tự động kiểm tra chéo thông tin khách hàng từ module customers.
4.4. Mở rộng lĩnh vực pháp lý bổ trợ
Mở rộng kho tri thức pháp luật (legal_documents) sang các luật phụ trợ có liên quan chặt chẽ đến bất động sản, tạo nên một hệ sinh thái rà soát pháp lý 360 độ cho các dự án xây dựng và phát triển đô thị tại Việt Nam.
