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

Automated Reasoning. 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I

Những tin mới hơn

Những tin cũ hơn