Bài viết sưu tầm
Ta có cơ sở tri thức mô tả mối quan hệ của các thành phần trong một tam giác như sau:
- Nếu biết 3 cạnh của 1 tam giác ta có thể biết nủa chu vi của tam giác đó
- Nếu biết 2 cạnh và nữa chu vi của một tam giác thì ta có thể biết được cạnh còn lại của tam giác đó
- nếu biết được diện tích và một cạnh của một tam giác thì ta có thể biết được chiều cao tương ứng với cạnh đó
- Nếu biết 2 cạnh và một góc kẹp giữa 2 cạnh đó của một tam giác thì ta có thể biết được cạnh còn lại của tam giác đó.
- Nếu biết 2 cạnh và một góc kẹp giữa 2 cạnh đó của một tam giác thì ta có thể biết được diện tích của tam giác đó
- Nếu biết ba cạnh và nữa chu vi của một tam giác thì ta biết được diện tích của tam giác đó
- Nếu biết diện tích và đường cao của một tam giác thì ta biết được cạnh tương ứng với đường cao của tam giác đó
- Giả sử biết được 2 cạnh và và góc kẹp giữ hai cạnh đó. Bằng phương pháp Robinson, hãy chứng minh rằng ta có thể suy ra được đường cao tương ứng với cạnh còn lại
- Hướng dẫn
- Ký hiệu a: cạnh a của tam giác k: đường cao tương ứng với cạnh a
- b: cạnh b của tam giác l: đường cao tương ứng với cạnh b
- c: cạnh c của tam giác m: đường cao tương ứng với cạnh c
- A: góc tương ứng với cạnh a S: diện tích của tam giác
- B: góc tương ứng với cạnh b p: nữa chu vi của tam giác
- C: góc tương ứng với cạnh c
Các tri thức đó được biểu diễn dưới dạng logic mệnh đề như sau:
|
1) abc => p 2) bpc => a 3) apc => b 4) abp => c 5) Sa => k 6) Sb => l 7) Sc => m 8) abC => c 9) acB => b |
10) bcA => a 11) abC => S 12) acB => S 13) bcA => S 14) abcp => S 15) Sk => a 16) Sl => b 17) Sm => c
|
Sau đó dùng phương pháp Robinson (GT={a, b}, KL={m})
» Tin mới nhất:
- Hệ thống xử lý giao dịch (Transaction Processing Systems - TPS) (11/01/2025)
- Các mức cô lập trong DB2 (tiếp theo) – Đọc lặp lại (09/01/2025)
- 3 lời khuyên để thành công trong ngành IT từ giảng viên tại New Zealand (09/01/2025)
- Linux: Cài đặt và cấu hình DNS (08/01/2025)
- Linux Shell: Viết chương trình shell tạo user theo thông tin trong file user.db (18/12/2024)
» Các tin khác:
- Biểu diễn tri thức bằng luật sản xuất (17/09/2014)
- Đa kế thừa (17/09/2014)
- Đơn kế thừa (17/09/2014)
- [JQuery] Tạo hiệu ứng căn phòng 3D (16/09/2014)
- [JQuery] Trượt chuyển động với phong cách của Iphone trên trình duyệt (16/09/2014)
- MySQL: Khóa chính (primary key) và khóa ngoại (foreign key) của table (Bài 8) (07/09/2014)
- MySQL: Câu lệnh truy vấn INSERT (Bài 7) (07/09/2014)
- Các loại sao lưu (backup) trong SQL Server (05/09/2014)
- Vì sao cần phải sao lưu và khôi phục dữ liệu (05/09/2014)
- Disk Space Management of Oprerating System (2) (18/08/2014)
