Quy tắc suy luận trong toán rời rạc năm 2024

TÓM TẮT: Rút gọn thuộc tính là bài toán quan trọng trong bước tiền xử lý dữ liệu của quá trình khai phá dữ liệu và khám phá tri thức. Trong mấy năm gần đây, các nhà nghiên cứu đề xuất các phương pháp rút gọn thuộc tính trực tiếp trên bảng quyết định gốc theo tiếp cận tập thô mờ (Fuzzy Rough Set FRS) nhằm nâng cao độ chính xác mô hình phân lớp. Tuy nhiên, số lượng thuộc tính thu được theo tiếp cận FRS chưa tối ưu do ràng buộc giữa các đối tượng trong bảng quyết định chưa được xem xét đầy đủ. Trong bài báo này, chúng tôi đề xuất phương pháp rút gọn thuộc tính trực tiếp trên bảng quyết định gốc theo tiếp cận tập thô mờ trực cảm (Intuitionistic Fuzzy Rough Set IFRS) dựa trên các đề xuất mới về hàm thành viên và không thành viên. Kết quả thử nghiệm trên các bộ dữ liệu mẫu cho thấy, số lượng thuộc tính của tập rút gọn theo phương pháp đề xuất giảm đáng kể so với các phương pháp FRS và một số phương pháp IFRS khác.

Râu hùm (Tacca chantrieri Andre) là loài cây thuốc quý, có công dụng chữa bệnh thấp khớp, dùng uống trị viêm loét dạ dày và hành tá tràng, viêm gan, huyết áp cao, bỏng lửa, lở ngứa…[7,10]. Mặc dù chưa bị khai thác nhiều quá mức song nạn phá rừng và khai thác rừng đã trực tiếp làm thu hẹp diện phân bố và khả năng trữ lượng tự nhiên của cây. Việc nghiên cứu nhân giống loài Râu hùm nhằm bảo tồn và phát triển các loài cây thuốc của tỉnh Tuyên Quang. Kết quả nghiên cứu nhân giống Râu hùm bằng phương pháp sinh dưỡng cho thấy, hom giâm ở các vị trí hom khác nhau (hom ngọn, hom giữa và hom gốc) có kích thước 10cm cho tỷ lệ sống cao hơn, trong đó hom giữa (kích thước 10cm) sau 30 ngày, 60 ngày và 90 ngày đều cho kết quả cao nhất với các giá trị tương ứng về tỷ lệ hom sống (95,9%, 78,5% và 67,8%). Hom giữa (10cm) cho số chồi/hom cao nhất. Khi nhân giống Râu hùm bằng hom giữa (10cm) có sử dụng các chất kích thích sinh trưởng và nồng độ sử dụng các chất đó tới tỷ lệ sống và ra rễ cho thấy: sau ...

CHỨC NĂNG, NHIỆM VỤ, QUYỀN HẠN VA CƠ CẤU TỔ CHỨC SỞ GIAO DỤC VA ĐAO TẠO HA TĨNHĐiều 1. Vị tri va chức năng 1. Sở Giao dục va ...

Vi bao là phương pháp hiệu quả giúp bảo quản các chất sinh học. Thông qua cơ chế bao gói của các polymer có nguồn gốc từ protein, polysaccharide, các hợp chất tự nhiên (polyphenol, carotenoid, …) cũng như vi sinh vật có lợi (nấm men, probiotic) giúp bảo vệ trong các điều kiện bất lợi của môi trường. Ứng dụng các hạt vi bao trong chế biến thực phẩm giúp sản phẩm kéo dài thời gian sử dụng, nâng cao khả năng kháng oxy hóa và cải thiện khả năng sống sót của probiotic.

Malpera “Amida Kurd” (Swêd) bi Ezîz ê Cewo Mamoyan ra. Yên êzdî û êzdîtî. Li ser rêya hevhatin û yekîtîyê. Gotûbêj. Weşanên “Amida Kurd”, s. 2022. Ev berevoka gotûbêjên malpera “Amida Kurd” bi lêgerîner, nivîskar û rojnamegerê kurd Ezîz ê Cewo ra li ser mijara wan pirsgirêkan e, yên ku li ser rêya hevhatin û yekîtîya civaka netewî-ayînî ya kurdên êzdî dibin asteng. Mamosta Ezîz ê Cewo di nava goveka van gotûbêjan da bingehên wan pêvajoyên dîrokî ravedike, yên ku bûne sedemên bûyerên bobelatî û rojên reş û giran di jîyana êzdîyan da. Wisa jî pêvajoyên îroyîn û rê û rêbazên lêgerandin û berterefkirina wan pirsgirêkan tên govtûgokirin, ên ku hê jî di nava jîyana êzdîyan da rû didin… Ev weşana ji bo govekek a berfireh a xwendevanan hatye armanckirin.

Hiện nay, tại chùa Bảo Ninh Sùng Phúc (huyện Chiêm Hóa, Tuyên Quang) còn lưu giữ được tấm bia cổ duy nhất thuộc các tỉnh miền núi phía Bắc nước ta có niên đại từ thời nhà Lý. Nội dung văn bia chép về dòng họ Hà và những đóng góp của dòng họ này đối với vùng đất Vị Long nói riêng và đất nước nói chung ở thế kỷ XI - XII. Trong đó phải kể đến công lao to lớn của nhân vật lịch sử Hà Di Khánh.

Ví dụ: “Nếu hôm nay trời mưa thì cô ấy không đến. Nếu cô ấy không đến thì ngày mai cô ấy đến. Vì vậy, nếu hôm nay trời mưa thì ngày mai cô ấy đến.” ⇒ Quy tắc ... “An giỏi toán. Do đó, An giỏi toán hoặc tin” ⇒Quy tắc ... “Nếu hôm nay tuyết rơi thì trường học đóng cửa. Hôm nay trường học không đóng cửa. Do đó, hôm nay đã không có tuyết rơi.” ⇒Quy tắc ...

Quy tắc Tên ∴ ∨

Cộng ∧ ∴

Rút gọn → ∴

Khẳng định

→ ∴

Phủ định

→ → ∴ →

Tam đoạn luận giả định ∨ ∴

Tam đoạn luận tuyển

Các quy tắc suy luận

Ví dụ: “An giỏi toán. Do đó, An giỏi toán hoặctin”

Quy tắc Tên ∴ ∨

Cộng ∧ ∴

Rút gọn → ∴

Khẳng định

→ ∴

Phủ định

→ → ∴ →

Tam đoạn luận giả định ∨ ∴

Tam đoạn luận tuyển

Đặt: P = “An giỏi toán” Q = “An giỏi tin” Biểu thức: → ( ∨) ⇒Quy tắc Cộng

Các quy tắc suy luận

Ví dụ: “Nếu hôm nay tuyết rơithì trường học đóng cửa. Hôm nay trường học không đóng cửa. Do đó, hôm nay đã không có tuyết rơi.”

Quy tắc Tên ∴ ∨

Cộng ∧ ∴

Rút gọn → ∴

Khẳng định

→ ∴

Phủ định

→ → ∴ →

Tam đoạn luận giả định ∨ ∴

Tam đoạn luận tuyển

Đặt: P = “Hôm nay tuyết rơi” Q = “Trường học đóng cửa” Biểu diễn: → ∧ → ⇒Quy tắc Phủ định

Các quy tắc suy luận

Ví dụ: “Nếu tôi làm bài tập này cả đêm thì tôi có thể trả lời được tất cả các bài tập. Nếu tôi trả lời được tất cả các bài tập thì tôi sẽ hiểu được tài liệu này. Do đó, nếu tôi làm được bài tập này cả đêm thì tôi sẽ hiểu được tài liệu này.” ⇒Quy tắc Tam đoạn luận giả định

Quy tắc Tên ∴ ∨

Cộng ∧ ∴

Rút gọn → ∴

Khẳng định

→ ∴

Phủ định

→ → ∴ →

Tam đoạn luận giả định ∨ ∴

Tam đoạn luận tuyển

Các quy tắc suy luận

VD: Dùng các quy tắc suy luận chứng minh rằng → → ∧ ∨̅ ∧ ⇒

Quy tắc Tên ∴ ∨

Cộng ∧ ∴

Rút gọn → ∴

Khẳng định

→ ∴

Phủ định

→ → ∴ →

Tam đoạn luận giả định ∨ ∴

Tam đoạn luận tuyển

1. → →
2. ∨̅
3.

-----

4. → Khẳng định 1 và 3
5. Tam đoạn luận tuyển 2 và 3
6. Khẳng định 4 và 5

Các quy tắc suy luận

VD: “Nếu bạn đã giải hết bài tập trong sách Toán rời rạc này thì bạn nắm vững logic. Bạn nắm vững logic. Vậy, bạn đã giải hết bài tập trong sách Toán rời rạc này.” ⇒Quy tắc ... Đặt: P = “Bạn đã giải hết bài tập trong sách Toán rời rạc này” Q = “Bạn nắm vững logic” Biểu diễn: → ∧ → ⇒Đây là một tiếp liên ⇒Một suy diễn như trên được gọi là ngụy biện

Ngụy biện hay ngộ nhận kết quả là phương pháp chứng minh sai, suy luận không dựa vào hằng đúng mà chỉ dựa vào một tiếp liên

Các quy tắc suy luận

VD: Cho 2 giả thiết:

  • Môn Logic là khó hoặc không có nhiều sinh viên thích môn Logic. Nếu môn Toán là dễ thì Logic là không khó. Hãy xác định xem các khẳng định sau là có dựa trên cơ sở của các giả thiết đã cho hay không: a/ Môn toán là không dễ nếu nhiều sinh viên thích môn logic. b/ Không có nhiều sinh viên thích môn logic nếu môn toán là không dễ. c/ Môn toán là dễ hoặc môn logic là khó. Biểu thức kết luận: ∨ Nếu mệnh đề “giả thiết →kết luận” = T thì phát biểu trong câu c/ là có cơ sở Ta xét: ∨ ∧ ∨ → ∨ = ∨ ∧ ∨ ∨ ∨ = ∧ ∨ ∧ ∨ ∨ = ∧ ∨ ∨ ∧ ∨ = ∨)∧( ∨ ∨ = ∧ ∨ ∨ = ∨ ∨ Đây là một tiếp liên. Vậy kết luận trong phát biểu c/ là không có cơ sở d/ Môn logic là không khó hoặc môn toán là không dễ.