Để làm cho việc lý luận trở nên dễ dàng hơn, máy tính phải có khả năng sửa đổi một cách có hệ thống cách nhìn của chúng về thế giới và chúng có thể sớm sửa lại các kết luận trước đây bằng AI. Luận án của Timotheus Kampik đã xem xét cách sử dụng các phương pháp lý luận toán học để duy trì tính nhất quán với các kết luận được rút ra trước đó đồng thời bác bỏ chúng trước những bằng chứng mới mạnh mẽ.
Con người có khả năng xem xét lại quan điểm của mình
Con người luôn xem xét lại quan điểm của mình về thế giới trong khi lý luận và đưa ra đánh giá, bác bỏ những gì trước đây họ cho là đúng hoặc mong muốn để có được một góc nhìn sáng suốt hơn. Mục tiêu lâu dài của nghiên cứu trí tuệ nhân tạo là cho phép máy móc làm được điều đó với độ chính xác logic. Đó là lý do tại sao công việc này có thể mở đường cho máy tính xem xét lại các kết luận trước đây bằng AI.
Timotheus mở rộng dòng nghiên cứu này trong luận án của mình bằng cách phát triển các kỹ thuật lý luận cân bằng tính nhất quán và cập nhật các kết luận được rút ra trước đó để phù hợp với bằng chứng thuyết phục mới. Để đạt được mục tiêu này, ông áp dụng các nguyên tắc toán học nổi tiếng từ lý thuyết kinh tế vào lập luận hình thức, một phương pháp lý luận tự động dựa trên logic.
AI có thể cho phép máy tính xem lại quan điểm của chúng về thế giới
Các phương pháp của Timotheus Kampik nhằm cho phép một cỗ máy xem xét lại, với độ chính xác về mặt toán học, những phát hiện được ghi lại trước đây chỉ ở mức cần thiết khi đối mặt với bằng chứng áp đảo và duy trì tính nhất quán là rất khéo léo.
“Điều này cho phép máy móc tránh trở nên ‘chuyên tâm’ và bướng bỉnh, nhưng cũng tránh ‘đi vòng quanh’ trước một luồng thông tin mới liên tục có thể mâu thuẫn một cách nhẹ nhàng nhưng không thuyết phục với các kết luận đã rút ra trước đó,” giải thích Timothy Kampik, Bằng tiến sĩ. sinh viên Khoa Khoa học Máy tính tại Đại học Umeå.
Các phần lý thuyết của tác phẩm được bổ sung bằng những hiểu biết sâu sắc mang tính ứng dụng, đặc biệt là trong hai bài viết hợp tác với một học giả lý luận pháp lý và một chuyên gia ngành viễn thông. Bài viết này có thể là một cột mốc quan trọng giúp máy tính xem xét lại các kết luận trước đây bằng AI.
“Khi tôi bắt đầu nghiên cứu vấn đề này, tôi tin rằng công việc của mình chỉ mang tính liên quan về mặt trí tuệ. Tôi rất ngạc nhiên khi gặp các học giả từ các ngành khác, cũng như những người thực hành trong ngành, những người nhận thấy một số ý tưởng trong công việc của tôi đủ thú vị để bắt đầu cộng tác với tôi. Đây có thể là dấu hiệu cho thấy nhánh nghiên cứu trí tuệ nhân tạo của chúng tôi đang dần tiến tới khả năng ứng dụng quy mô lớn,” Timotheus Kampik cho biết thêm.
