Arxiv hàng ngày

Đây là trang tổng hợp các bài báo về trí tuệ nhân tạo được xuất bản trên toàn thế giới.
Trang này sử dụng Google Gemini để tóm tắt nội dung và hoạt động phi lợi nhuận.
Bản quyền của các bài báo thuộc về tác giả và tổ chức liên quan; khi chia sẻ, chỉ cần ghi rõ nguồn.

ASP-FZN: Bộ giải quyết tập hợp câu trả lời ràng buộc dựa trên bản dịch

Created by
  • Haebom

Tác giả

Thomas Eiter, Tobias Geibinger, Tobias Kaminski, Nysret Musliu, Johannes Oetsch

Phác thảo

Bài báo này trình bày asp-fzn, một trình giải cho Lập trình Tập Trả lời Ràng buộc (CASP) với các ràng buộc tuyến tính. asp-fzn chuyển đổi các chương trình CASP sang ngôn ngữ FlatZinc độc lập với trình giải, hỗ trợ một số trình giải lập trình ràng buộc và lập trình số nguyên. Nó hỗ trợ một loạt các ràng buộc tuyến tính và một số ràng buộc toàn cục chung, và thể hiện hiệu suất cạnh tranh với các trình giải ASP tiên tiến trên các chuẩn mực từ các cuộc thi ASP hiện có. Hơn nữa, chúng tôi đánh giá asp-fzn trên một số bài toán CASP từ các tài liệu và so sánh hiệu suất của nó với clingcon, một trình giải CASP hàng đầu hỗ trợ hầu hết ngôn ngữ asp-fzn. Asp-fzn có khả năng cạnh tranh trên ASP chung và cho thấy hiệu suất đầy hứa hẹn, vượt trội hơn clingcon trên một số chuẩn mực CASP.

Takeaways, Limitations

Takeaways:
Chúng tôi giới thiệu một trình giải mới, asp-fzn, để giải quyết các bài toán CASP nhằm đảm bảo khả năng cạnh tranh với các trình giải hiện có.
Khả năng mở rộng để hỗ trợ nhiều trình giải quyết vấn đề khác nhau bằng cách tận dụng ngôn ngữ FlatZinc.
Vượt trội hơn các trình giải hiện có trên ASP thông thường và một số chuẩn CASP.
Hỗ trợ nhiều ràng buộc tuyến tính và ràng buộc toàn cục.
Limitations:
Phạm vi đánh giá và so sánh được trình bày trong bài báo có thể bị hạn chế.
Hiệu suất của asp-fzn có thể không luôn vượt trội trong mọi vấn đề CASP.
Có thể còn thiếu mô tả về các thuật toán cụ thể và chi tiết triển khai.
👍