Automated Reasoning. 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I
Cập nhật vào: Thứ sáu - 12/09/2025 04:35
Nhan đề chính: Automated Reasoning. 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I
Nhan đề dịch: Suy luận tự động. Hội nghị quốc tế lần thứ 12, IJCAR 2024, Nancy, Pháp, ngày 3–6 tháng 7 năm 2024, Tài liệu báo cáo, Phần I
Tác giả: Christoph Benzmüller
Nhà xuất bản: Springer Nature
Năm xuất bản: 2024
Số trang: 482 tr.
Ngôn ngữ: Tiếng Anh
ISBN: 978-3-031-63498-7
SpringerLink
Lời giới thiệu: Đây là tập đầu tiên trong bộ tuyển tập các công trình nghiên cứu được trình bày tại Hội nghị quốc tế IJCAR 2024 - một trong những sự kiện hàng đầu thế giới trong lĩnh vực suy luận tự động. Cuốn sách tập hợp những bài báo khoa học xuất sắc nhất, phản ánh những xu hướng nghiên cứu mới, các đột phá lý thuyết, cũng như những ứng dụng thực tiễn nổi bật trong lĩnh vực suy luận tự động. Nội dung cuốn sách bao gồm nhiều chủ đề đa dạng như:
- Các phương pháp chứng minh định lý tự động
- Suy diễn logic, đại số, và suy luận hình thức
- Các hệ thống hỗ trợ chứng minh tương tác
- Ứng dụng suy luận tự động trong trí tuệ nhân tạo, bảo mật phần mềm, kiểm chứng phần mềm, và các hệ thống phức tạp
- Kỹ thuật tối ưu hóa, chiến lược tìm kiếm và thiết kế thuật toán mới cho hệ thống suy luận
Các bài viết trong tuyển tập này được chọn lọc kỹ lưỡng thông qua quy trình phản biện gắt gao, đảm bảo tính học thuật cao, đồng thời cũng cung cấp cái nhìn thực tiễn về cách thức suy luận tự động đang được áp dụng để giải quyết những bài toán khó trong khoa học máy tính và kỹ thuật phần mềm hiện đại. Sách đặc biệt phù hợp cho: Các nhà nghiên cứu, giảng viên và sinh viên trong lĩnh vực trí tuệ nhân tạo, logic máy tính, khoa học dữ liệu, và khoa học tính toán; các kỹ sư phần mềm, chuyên gia kiểm định hệ thống và những người quan tâm đến việc ứng dụng công nghệ suy luận tự động trong thực tiễn công nghiệp. Với nội dung phong phú và chất lượng khoa học xuất sắc, cuốn sách là một tài liệu tham khảo không thể thiếu cho bất kỳ ai mong muốn nắm bắt được nhịp đập mới nhất của cộng đồng nghiên cứu suy luận tự động quốc tế.
Từ khóa: Suy luận tự động. Phương pháp. Khoa học máy tính. Tài liệu hội nghị.
Nội dung cuốn sách gồm những phần sau:
Đóng góp được mời
Suy luận tự động cho toán học
Quy nạp trong bão hòa
Những bước đệm trong thế giới TPTP
Chứng minh định lý và công cụ
Phần mở đầu
Đánh giá thực nghiệm về tiến trình chứng minh định lý tự động
Ma cà rồng bậc cao (bài viết ngắn)
Bảng cho suy luận tự động trong logic bậc cao được gõ phụ thuộc
Công cụ chứng minh định lý Naproche-ZF (Bài báo ngắn)
Ràng buộc khả quy trong chồng chập
Tạo mô hình chữ tự động bậc nhất
Tổng hợp của chương trình đệ quy trong bão hòa
Tổng hợp chương trình logic tương đương
Chính quy hóa trong khám phá chiến lược theo kiểu mạng nhện và xây dựng lịch trình
Khám phá bổ đề và chiến lược cho quy nạp tự động
Kiểm soát luồng tinh chỉnh cho phân tích độ phức tạp của các chương trình xác suất trong KoAT (Bài báo ngắn)
Về tính (không) hoàn chỉnh của giải pháp bình đẳng phá hủy trong phép tính chồng chập
SAT, SMT và loại bỏ định lượng
Vấn đề đầu
Mô hình hoàn chỉnh cho cây hợp lý
SAT, SMT và loại bỏ quantifier
Chứng nhận trừu tượng pha
Xác minh bảng băm có thể thay đổi thực tế
Booleguru, đa ngôn ngữ mệnh đề (Bài báo ngắn)
Chuyển đổi quantifier cho công thức Boolean lượng tử được xem xét lại
Khả năng thỏa mãn Modulo Số học số nguyên mũ
Học tập dựa trên SAT về Logic cây tính toán
Suy luận trường hữu hạn dựa trên MCSat trong Trình giải Yices2 SMT (Bài báo ngắn)
Xử lý trước MaxSAT được chứng nhận
Mô hình chính thức để chứng minh chấm dứt khởi tạo cho các tiên đề hóa dựa trên E-matching
Kiểm tra chứng chỉ UNSAT nhanh chóng và đã xác minh
Lý thuyết modulo tối ưu hóa tổng quát
Liên hệ
Tiếng Việt
Tiếng Anh











