Lý luận tự động là gì?

Lý luận tự động là ý tưởng rằng máy tính hoặc các máy khác có thể được lập trình để tái tạo kết quả của lý luận logic của con người.Loại theo đuổi công nghệ cụ thể này là một phần của lĩnh vực lớn hơn đôi khi được gọi là trí tuệ nhân tạo, nơi các nhà phát triển sử dụng các thuật toán phức tạp và các tài nguyên khác để mô phỏng trí thông minh của con người.Lý luận tự động tập trung vào việc đạt được kết quả logic với máy tính. Các chuyên gia trong lĩnh vực trí tuệ nhân tạo có thể xác định một loạt các dự án sử dụng tự động hóa để lý luận.Một số trong số này tập trung hơn vào những gì mà Lừa gọi là lý luận suy diễn hợp lệ, sử dụng toán học để tạo ra logic chính thức.Các loại dự án này có thể bao gồm chứng minh các định lý hoặc sử dụng các biến cụ thể để tạo ra một tập hợp các giá trị logic tương ứng.Các loại lý luận tự động khác dựa trên ngôn ngữ hoặc trừu tượng hơn, trong đó các nhà phát triển con người có thể cần cung cấp cho máy tính các mục tiêu hoặc đánh giá được dán nhãn cụ thể để có được kết quả hoặc quyết định hiệu quả. Nhiều chuyên gia xác định các mục tiêu cụ thể trong các dự án lý luận tự động.Ví dụ, một số thuật toán có thể được viết hướng tới mục tiêu cung cấp chẩn đoán y tế hoặc lập kế hoạch, xác minh hoặc các nhiệm vụ khác trong đó đầu vào và lập trình máy tính dẫn đến kết quả logic theo quyết định cụ thể.Trong nhiều dự án này, các nhà phát triển làm việc để mở rộng quy mô các công nghệ này để có hiệu quả trong việc phân tích các vấn đề trong thế giới thực.Nhiều trong số các ứng dụng tự động hóa để lý luận rơi vào danh mục được gọi là hỗ trợ quyết định, trong đó công nghệ được sử dụng để hỗ trợ con người đưa ra quyết định về một loạt các dự án.Các loại công nghệ.Ví dụ, những người làm việc trên tự động hóa để lý luận trong các ứng dụng thường sử dụng cái mà Lọ gọi là logic mờ, trong đó các thuật toán về cơ bản đã đun sôi một tập hợp rộng các điểm dữ liệu thành một kết quả cụ thể và cụ thể hơn.Đánh giá các phương pháp cho lý luận tự động có thể giúp các nhà quan sát bên ngoài hiểu cách xây dựng các ứng dụng công nghệ này, cách chúng hoạt động và những gì chúng hữu ích..Các dự án trong tương lai có thể sẽ bao gồm các cách để làm cho một loạt các sản phẩm tiêu dùng hiệu quả hơn thông qua bao gồm cả các chip nhỏ với khả năng lý luận tự động.Các ứng dụng lớn hơn có thể cung cấp các nâng cấp cực kỳ quan trọng trong phương pháp cho hành chính công và các lĩnh vực quản lý cấp cao khác.