TAILIEUCHUNG - Giáo trình môn trí tuệ Nhân tạo - Part 5

Logic mệnh đề Trong chương này chúng ta sẽ trình bày các đặc trưng của ngôn ngữ biểu diễn tri thức. Chúng ta sẽ nghiên cứu logic mệnh đề, một ngôn ngữ biểu diễn tri thức rất đơn giản, có khả năng biểu diễn hẹp, nhưng thuận lợi cho ta làm quen với nhiều khái niệm quan trọng trong logic, đặc biệt trong logic vị từ cấp một sẽ được nghiên cứu trong các chương sau. | Phần II Tri thức và lập luận Chương V Logic mệnh đề Trong chương này chúng ta sẽ trình bày các đặc trưng của ngôn ngữ biểu diễn tri thức. Chúng ta sẽ nghiên cứu logic mệnh đề một ngôn ngữ biểu diễn tri thức rất đơn giản có khả năng biểu diễn hẹp nhưng thuận lợi cho ta làm quen với nhiều khái niệm quan trọng trong logic đặc biệt trong logic vị từ cấp một sẽ được nghiên cứu trong các chương sau. . Biểu diễn tri thức Con người sống trong môi trường có thể nhận thức được thế giới nhờ các giác quan tai mắt và các bộ phận khác sử dụng các tri thức tích luỹ được và nhờ khả năng lập luận suy diễn con người có thể đưa ra các hành động hợp lý cho công việc mà con người đang làm. Một mục tiêu của Trí tuệ nhân tạo ứng dụng là thiết kế các tác nhân thông minh intelligent agent cũng có khả năng đó như con người. Chúng ta có thể hiểu tác nhân thông minh là bất cứ cái gì có thể nhận thức được môi trường thông qua các bộ cảm nhận sensors và đưa ra hành động hợp lý đáp ứng lại môi trường thông qua bộ phận hành động effectors . Các robots các softbot software robot các hệ chuyên gia . là các ví dụ về tác nhân thông minh. Các tác nhân thông minh cần phải có tri thức về thế giới hiện thực mới có thể đưa ra các quyết định đúng đắn. Thành phần trung tâm của các tác nhân dựa trên tri thức knowledge-based agent còn được gọi là hệ dựa trên tri thức knowledge-based system hoặc đơn giản là hệ tri thức là cơ sở tri thức. Cơ sở tri thức CSTT là một tập hợp các tri thức được biểu diễn dưới dạng nào đó. Mỗi khi nhận được các thông tin đưa vào tác nhân cần có khả năng suy diễn để đưa ra các câu trả lời các hành động hợp lý đúng đắn. Nhiệm vụ này được thực hiện bởi bộ suy diễn. Bộ suy diễn là thành phần cơ bản khác của các hệ tri thức. Như vậy hệ tri thức bảo trì một CSTT và được trang bị một thủ tục suy diễn. Mỗi khi tiếp nhận được các sự kiện từ môi trường thủ tục suy diễn thực hiện quá trình liên kết các sự kiện với các tri thức trong CSTT để rút ra các câu trả lời hoặc các hành động hợp lý .

• Kỹ thuật lập trình
• Giải quyết vấn đề bằng tìm kiếm
• tri thức
• lập luận
• công cụ tìm kiếm
• chiến lược tìm kiếm
• lôgic mệnh đề
• Trí tuệ nhân tạo
• Bài giảng Trí tuệ nhân tạo
• Không gian trạng thái
• Tìm kiếm mù
• Tìm kiếm trên không gian trạng thái
• kỹ năng mềm
• tâm lý
• nghệ thuật sống
• kỹ năng tư duy
• Đồ thị tìm kiếm
• Các trạng thái lặp
• Tìm kiếm không gian trạng thái
• Tìm kiếm theo chiều rộng
• Bài toán ràng buộc
• Đồ thị với ràng buộc
• Tìm kiếm quay lui
• Tìm kiếm bằng kiểm thử
• Giáo trình Nhập môn trí tuệ nhân tạo
• Nhập môn trí tuệ nhân tạo
• Bài toán tìm kiếm trong không gian trạng thái
• Biểu diễn tri thức
• Lập luận logic
• office
• tin học
• Kỹ năng lập trình
• Khoa học về trí não
• Nghiên cứu trí tuệ nhân tạo
• Công nghệ thông tin
• Kỹ thuật lập trình