Logic mờ - Suy luận gần đúng

Sau đây là các phương thức lập luận gần đúng khác nhau -

Lý luận phân loại

Trong phương thức lập luận gần đúng này, tiền đề, không chứa định lượng mờ và xác suất mờ, được giả định là ở dạng chính tắc.

Lập luận Định tính

Trong phương thức lập luận gần đúng này, tiền đề và hậu quả có các biến ngôn ngữ mờ; mối quan hệ đầu vào - đầu ra của một hệ thống được biểu diễn dưới dạng tập hợp các luật IF-THEN mờ. Lý luận này chủ yếu được sử dụng trong phân tích hệ thống điều khiển.

Lập luận âm tiết

Trong chế độ suy luận xấp xỉ này, tiền đề với các lượng tử mờ có liên quan đến các quy tắc suy luận. Điều này được thể hiện là -

x = S 1 A là B

y = S 2 C là D

------------------------

z = S 3 E là F

Ở đây A, B, C, D, E, F là các vị từ mờ.

  • S 1S 2 là các định lượng mờ.

  • S 3 là định lượng mờ cần được quyết định.

Lập luận theo từng vị trí

Trong phương thức lập luận xấp xỉ này, tiền đề là những vị trí có thể chứa định lượng mờ “thường”. Bộ định lượngUsuallyliên kết với nhau giữa lý luận phiến diện và âm tiết; do đó nó đóng một vai trò quan trọng.

Ví dụ, quy tắc dự báo của suy luận trong suy luận theo mệnh lệnh có thể được đưa ra như sau:

thường ((L, M) là R) ⇒ thường (L là [R ↓ L])

Đây [R ↓ L] là phép chiếu của quan hệ mờ R trên L

Cơ sở quy tắc logic mờ

Có một thực tế là con người luôn cảm thấy thoải mái khi nói chuyện bằng ngôn ngữ tự nhiên. Việc trình bày tri thức của con người có thể được thực hiện với sự trợ giúp của cách diễn đạt ngôn ngữ tự nhiên sau:

IF tiền thân THEN hệ quả

Biểu thức như đã nêu ở trên được gọi là cơ sở quy tắc IF-THEN mờ.

Hình thức kinh điển

Sau đây là dạng chính tắc của Cơ sở Quy tắc Logic Mờ -

Rule 1 - Nếu điều kiện C1 thì hạn chế R1

Rule 2 - Nếu điều kiện C1 thì hạn chế R2

.

.

.

Rule n - Nếu điều kiện C1 thì hạn chế Rn

Giải thích các quy tắc IF-THEN mờ

Quy tắc IF-THEN mờ có thể được giải thích dưới bốn dạng sau:

Tuyên bố bài tập

Những loại câu lệnh này sử dụng “=” (dấu bằng) cho mục đích gán. Chúng có dạng sau:

a = xin chào

khí hậu = mùa hè

Câu điều kiện

Các loại câu lệnh này sử dụng dạng cơ sở quy tắc “IF-THEN” cho mục đích điều kiện. Chúng có dạng sau:

NẾU nhiệt độ cao THÌ Khí hậu nóng

NẾU thực phẩm là tươi THÌ ăn.

Tuyên bố vô điều kiện

Chúng có dạng sau:

GOTO 10

tắt quạt

Biến ngôn ngữ

Chúng tôi đã nghiên cứu rằng logic mờ sử dụng các biến ngôn ngữ là các từ hoặc câu trong ngôn ngữ tự nhiên. Ví dụ, nếu chúng ta nói nhiệt độ, nó là một biến ngôn ngữ; các giá trị rất nóng hoặc lạnh, hơi nóng hoặc lạnh, rất ấm, hơi ấm, v.v ... Các từ rất, hơi là rào cản ngôn ngữ.

Đặc điểm của Biến ngôn ngữ

Bốn thuật ngữ sau đặc trưng cho biến ngôn ngữ:

  • Tên của biến, thường được biểu diễn bằng x.
  • Tập hợp số hạng của biến, thường được biểu diễn bằng t (x).
  • Các quy tắc cú pháp để tạo ra các giá trị của biến x.
  • Các quy tắc ngữ nghĩa để liên kết mọi giá trị của x và ý nghĩa của nó.

Các mệnh đề trong Logic mờ

Như chúng ta biết rằng mệnh đề là những câu được diễn đạt bằng bất kỳ ngôn ngữ nào thường được diễn đạt dưới dạng chính tắc sau:

s as P

Ở đây, s là Chủ ngữ và P là Vị ngữ.

Ví dụ: “ Delhi là thủ đô của Ấn Độ ”, đây là mệnh đề trong đó “ Delhi ” là chủ ngữ và “ là thủ đô của Ấn Độ ” là vị từ thể hiện thuộc tính của chủ ngữ.

Chúng ta biết rằng logic là cơ sở của suy luận và logic mờ mở rộng khả năng suy luận bằng cách sử dụng các vị từ mờ, các bổ ngữ-vị từ mờ, các định lượng mờ và các định lượng mờ trong các mệnh đề mờ tạo ra sự khác biệt so với logic cổ điển.

Các mệnh đề trong logic mờ bao gồm:

Vị ngữ mờ

Hầu hết mọi vị ngữ trong ngôn ngữ tự nhiên đều có bản chất mờ, do đó logic mờ có các vị từ như cao, ngắn, ấm, nóng, nhanh, v.v.

Bổ ngữ mờ-vị từ

Chúng tôi đã thảo luận về các rào cản ngôn ngữ ở trên; chúng ta cũng có nhiều bổ ngữ mờ-vị từ hoạt động như hàng rào. Chúng rất cần thiết để tạo ra các giá trị của một biến ngôn ngữ. Ví dụ, các từ rất, hơi là bổ ngữ và mệnh đề có thể giống như " nước hơi nóng ."

Bộ định lượng mờ

Nó có thể được định nghĩa là một số mờ cho phép phân loại mơ hồ về bản số của một hoặc nhiều tập mờ hoặc không mờ. Nó có thể được sử dụng để ảnh hưởng đến xác suất trong logic mờ. Ví dụ, các từ nhiều, hầu hết, thường xuyên được sử dụng làm định lượng mờ và các mệnh đề có thể giống như “ hầu hết mọi người đều dị ứng với nó ”.

Vòng loại mờ

Bây giờ chúng ta hãy hiểu về Bộ định lượng mờ. Một định tính mờ cũng là một mệnh đề của Logic mờ. Chứng nhận mờ có các dạng sau:

Chứng nhận mờ dựa trên sự thật

Nó tuyên bố mức độ chân lý của một mệnh đề mờ.

Expression- Nó được biểu diễn dưới dạng x là t . Ở đây, t là một giá trị chân lý mờ.

Example - (Xe màu đen) KHÔNG RẤT ĐÚNG.

Chứng nhận mờ dựa trên xác suất

Nó tuyên bố xác suất, hoặc số hoặc một khoảng, của mệnh đề mờ.

Expression- Biểu diễn x là λ . Ở đây, λ là một xác suất mờ.

Example - (Xe màu đen) rất có thể.

Chứng nhận mờ dựa trên khả năng

Nó tuyên bố khả năng của mệnh đề mờ.

Expression- Biểu thị x là π . Ở đây, π là một khả năng mờ.

Example - (Xe màu đen) là Gần như Không thể.