Bài báo này đề cập đến vấn đề tìm kiếm sự thỏa hiệp giữa các đề xuất của tác nhân. Cụ thể, chúng tôi đề xuất một mô hình xem xét tính hợp lý và tính bất định bị giới hạn của tác nhân, dựa trên quy trình hình thành liên minh của Elkind và cộng sự (2021) để tìm ra các đề xuất được đa số ủng hộ. Tập trung vào việc tạo tài liệu cộng tác, chẳng hạn như soạn thảo hiến pháp cộng đồng, chúng tôi sử dụng các kỹ thuật xử lý ngôn ngữ tự nhiên và mô hình ngôn ngữ quy mô lớn để rút ra một không gian đo lường ngữ nghĩa trong văn bản và thiết kế một thuật toán đề xuất các thỏa hiệp có khả năng nhận được sự ủng hộ rộng rãi. Các mô phỏng chứng minh rằng AI có thể cho phép chỉnh sửa văn bản dân chủ quy mô lớn.