XỬ lý TIẾNG VIỆT TRONG TAM ĐOẠN LUẬN

Khi sử dụng tin học vào việc nghiên cứu, giảng dạy và ứng dụng logic học trong đời sống, chúng ta phải giải quyết vấn đề xử lý tiếng Việt nói chung và xử lý tiếng Việt trong tam đoạn luận nói riêng. Thuật ngữ “Xử lý tiếng Việt trong tam đoạn luận” ở bài viết này được hiểu theo nghĩa là việc xác định rõ cách dùng tiếng Việt trong các tam đoạn luận đơn, cụ thể hơn là cấu trúc tam đoạn luận đơn cho bằng tiếng Việt với các thành phần, cách sắp xếp của chúng, nhờ đó có thể lập được chương trình máy tính hiểu được tam đoạn luận đơn bằng tiếng Việt (từ đây về sau, để cho gọn, thay vì viết “tam đoạn luận đơn” chúng tôi viết gọn là “tam đoạn luận”). Vấn đề xử lý ngôn ngữ tự nhiên là một trong những vấn đề rất lớn trong tin học, cả về lý luận và thực tiễn. Đây là một vấn đề rất khó khăn, và có thể khẳng định cho tới nay chưa có bất kỳ công trình nào (và có lẽ sẽ không bao giờ có) xử lý được trọn vẹn bất cứ ngôn ngữ tự nhiên nào, mà chỉ có các công trình cố gắng xử lý một phần nào đó của một ngôn ngữ tự nhiên nào đó mà thôi. Cái khó này có rất nhiều nguyên nhân, mà trước hết là sự có mặt của các hiện tượng bất quy tắc và hiện tượng mập mờ về ngữ nghĩa của một số từ, cụm từ, câu hay đoạn văn bản trong ngôn ngữ tự nhiên. Cấu trúc đặc biệt của tam đoạn luận – gồm ba phán đoán thuộc tính đơn, ba hạn từ và mỗi hạn từ xuất hiện đúng hai lần trong hai phán đoán khác nhau – làm cho việc xử lý ngôn ngữ tự nhiên nói chung và tiếng Việt nói riêng ở đây trở nên đơn giản hơn chút ít. Đây là lý do làm xuất hiện – từ cuối thế kỷ thứ trước một xu hướng sử dụng tam đoạn luận để xử lý ngôn ngữ tự nhiên. Trong bài viết này chúng tôi không có tham vọng xử lý hoàn chỉnh tiếng Việt trong tam đoạn luận, mà chỉ cố gắng giải quyết vấn đề với một số dạng sử dụng tiếng Việt nhất định mà thôi, cụ thể là các trường hợp tam đoạn luận chính tắc và tam đoạn luận bán chính tắc.

XỬ LÝ TIẾNG VIỆT TRONG TAM ĐOẠN

LUẬN

TS PHẠM ĐÌNH NGHIỆM

Khi sử dụng tin học vào việc nghiên cứu, giảng dạy và ứng dụng logic học trong đời sống, chúng ta phải giải quyết vấn đề xử lý tiếng Việt nói chung và xử lý tiếng Việt trong tam đoạn luận nói riêng Thuật ngữ “Xử lý tiếng Việt trong tam đoạn luận” ở bài viết này được hiểu theo nghĩa là việc xác định rõ cách dùng tiếng Việt trong các tam đoạn luận đơn, cụ thể hơn

là cấu trúc tam đoạn luận đơn cho bằng tiếng Việt với các thành phần, cách sắp xếp của chúng, nhờ đó có thể lập được chương trình máy tính hiểu được tam đoạn luận đơn bằng

tiếng Việt (từ đây về sau, để cho gọn, thay vì viết “tam đoạn luận đơn” chúng tôi viết gọn

là “tam đoạn luận”).

Vấn đề xử lý ngôn ngữ tự nhiên là một trong những vấn đề rất lớn trong tin học, cả về lý luận và thực tiễn Đây là một vấn đề rất khó khăn, và có thể khẳng định cho tới nay chưa có bất kỳ công trình nào (và có lẽ sẽ không bao giờ có!) xử lý được trọn vẹn bất cứ ngôn ngữ

tự nhiên nào, mà chỉ có các công trình cố gắng xử lý một phần nào đó của một ngôn ngữ tự nhiên nào đó mà thôi Cái khó này có rất nhiều nguyên nhân, mà trước hết là sự có mặt của các hiện tượng bất quy tắc và hiện tượng mập mờ về ngữ nghĩa của một số từ, cụm từ, câu hay đoạn văn bản trong ngôn ngữ tự nhiên

Cấu trúc đặc biệt của tam đoạn luận – gồm ba phán đoán thuộc tính đơn, ba hạn từ và mỗi hạn từ xuất hiện đúng hai lần trong hai phán đoán khác nhau – làm cho việc xử lý ngôn ngữ

tự nhiên nói chung và tiếng Việt nói riêng ở đây trở nên đơn giản hơn chút ít Đây là lý do làm xuất hiện – từ cuối thế kỷ thứ trước - một xu hướng sử dụng tam đoạn luận để xử lý ngôn ngữ tự nhiên

Trong bài viết này chúng tôi không có tham vọng xử lý hoàn chỉnh tiếng Việt trong tam đoạn luận, mà chỉ cố gắng giải quyết vấn đề với một số dạng sử dụng tiếng Việt nhất định mà thôi,

cụ thể là các trường hợp tam đoạn luận chính tắc và tam đoạn luận bán chính tắc

1 Tam đoạn luận chính tắc và tam đoạn luận bán chính tắc

Để làm rõ những khái niệm này, trước hết – nhằm tránh hiểu nhầm sinh ra do sự khác biệt trong việc sử dụng thuật ngữ – chúng tôi xin phép nhắc lại một số định nghĩa:

Định nghĩa 1 Hạn từ chuẩn là danh từ, hoặc cụm từ đóng vai trò danh từ, nghĩa là biểu thức ngôn ngữ chỉ một đối tượng nào đó.

Các từ sinh viên và đoàn viên trong câu “mọi sinh viên đều là đòan viên” đều là hạn từ chuẩn Các từ logic học, động vật, Trái đất, Mặt trời, biển, chim, người đầu tiên bay vào vũ trụ, người phát minh ra internet, ngọn núi cao nhất Việt nam, … đều là hạn từ chuẩn.

Hạn từ được định nghĩa trên đây chúng ta gọi là hạn từ chuẩn

Nếu đòi hỏi các từ S, P, M (tiểu từ, đại từ, trung từ) trong tam đoạn luận đều là hạn từ chuẩn thì việc áp dụng lý thuyết tam đoạn luận vào đời sống sẽ gặp nhiều khó khăn Chính xác hơn là lĩnh vực áp dụng lý thuyết này sẽ rất hẹp, vì ngay cả suy luận cổ điển

Mọi người đều phải chết.

Socrate là người,

Vậy Socrate phải chết.

cũng không thỏa mãn đòi hỏi đó, bởi lẽ “phải chết” không phải là hạn từ chuẩn.

Để xét được cả những suy luận sử dụng kiểu như trên mà không cần chuẩn hóa, chúng ta

đưa ra khái niệm hạn từ để những từ như“phải chết” trong suy luận trên, hoặc như “có quyền tự quyết” trong suy luận sau đây cũng là hạn từ:

Mọi dân tộc đều có quyền tự quyết.

Dân tộc Libăng là một dân tộc

Vậy dân tộc Libăng có quyền tự quyết.

Định nghĩa 2: Các hạn từ chuẩn là hạn từ Các từ chỉ tính chất, đặc điểm của đối tượng cũng

là các hạn từ.

Các từ quyền tự quyết, phải chết, học logic giỏi toán, thông minh, … là các hạn từ, nhưng

chúng không phải là hạn từ chuẩn

Định nghĩa 3: Chuẩn hóa hạn từ là thay thế một hạn từ không phải là hạn từ chuẩn bằng một hạn từ chuẩn chỉ tập hợp các đối tượng có tính chất, đặc điểm nêu bởi hạn từ không chuẩn ban đầu.

Trong các suy luận trên đây, ta thấy rõ rằng các hạn từ không phải là hạn từ chuẩn đều có thể chuẩn hóa, tức là đưa về hạn từ chuẩn được, hay đúng hơn là thay thế được bằng hạn

từ chuẩn, thành:

Mọi người đều là kẻ phải chết

Scrate là người

Vậy Socrate là kẻ phải chết

và

Mọi dân tộc đều là chủ thể có quyền tự quyết.

Dân tộc Libăng là một dân tộc

Vậy dân tộc Libăng là một chủ thể có quyền tự quyết

Ta đã thay “phải chết” bằng hạn từ chuẩn “kẻ phải chết”, thay “có quyền tự quyết” thành “chủ thể có quyền tự quyết” Việc thay bằng cách thêm các từ “kẻ”, “chủ thể” như vậy không làm thay đổi nghĩa của các câu, và cũng đạt yêu cầu cao về mặt diễn

đạt tiếng Việt Tuy nhiên, thay thế - hay chuẩn hóa – như vậy có nhược điểm là đòi hỏi một

sự lựa chọn biểu thức được thêm vào phán đoán Với con người, việc chọn lựa đó là dễ dàng, nhưng lại hoàn toàn không dễ dàng đối với máy tính Chính vì vậy, chúng ta cần tìm

ra một hoặc một số tương đối ít biểu thức dùng để thêm vào Chúng tôi đề nghị dùng một

biểu thức duy nhất: “đối tượng”.

Sau khi chuẩn hóa hạn từ, các suy luận nêu trên trở thành:

Mọi người đều là đối tượng phải chết

Scrate là người

Vậy Socrate là đối tượng phải chết

và

Mọi dân tộc đều là đối tượng có quyền tự quyết

Dân tộc Libăng là một dân tộc

Vậy dân tộc Libăng là một đối tượng có quyền tự quyết

Những kết quả này được diễn đạt khô cứng hơn nhiều so với các kết quả trên kia, nhưng nó vẫn đảm bảo được nội dung suy luận tương đượng với suy luận gốc Với các tam đoạn luận khác việc chuẩn hóa hạn từ cũng được thực hiện tương tự như vậy

Định nghĩa 4 Phán đoán đơn là nội dung câu tường thuật trong đó khẳng định rằng đối

tượng có một tính chất nào đó hoặc phủ định rằng đối tượng có tính chất nào đó

Các câu “Mọi dân tộc đều yêu nước”, “Có sinh viên là nhà khoa học thực thụ”, “một số sinh viên không học tập tích cực” đều là các phán đoán đơn.

Bài viết này chỉ xem xét các tam đọan luận đơn (xem định nghĩa ở phần sau), vốn được tạo thành từ phán đoán đơn, không có các phán đóan loại khác, vì thế để cho ngắn gọn từ đây

về sau ta sẽ gọi phán đoán đơn là phán đoán.

Định nghĩa 5 Phán đoán chính tắc là phán đoán trong đó hệ từ xuất hiện tường minh, nghĩa

là phán đoán có cụm từ “không là” hoặc “là” phân cách các hạn từ.

Định nghĩa 6 Tam đoạn luận đơn là suy luận diễn dịch[1] gồm hai tiền đề và kết luận đều là phán đoán đơn, trong đó có vừa đúng ba hạn từ khác nhau

Trong định nghĩa về tam đoạn luận trên đây chúng tôi đã phân biệt “tiền đề” và “kết luận”

Sự phân biệt này chỉ có thể thực hiện được nếu suy luận chứa một dấu hiệu nào đó giúp xác định các thành phần tương ứng mà thôi Nói cách khác, chúng ta đã giả định trong tam

đoạn luận có yếu tố xác định đâu là tiền đề, đâu là kết luận Các yếu tố đó ta gọi là từ chỉ thị tiền đề và từ chỉ thị kết luận, viết ngắn gọn là chỉ thị tiền đề và chỉ thị kết luận.

Nếu xét nghiêm ngặt thì suy luận sau đây không phải là tam đoạn luận:

Mọi sinh viên triết đều học logic

Mọi người học logic đều suy luận chặt chẽ

Vậy mọi sinh viên triết đều suy luận chặt chẽ

Sở dĩ như vậy là vì trong suy luận này có đến bốn từ “sinh viên triết”, “học logic”, “người học logic”, và “suy luận chặt chẽ” Tuy nhiên, nếu chuẩn hóa phán đoán đầu tiên thì suy luận lại trở thành tam đoạn luận:

Mọi sinh viên triết học đều là người học logic

Mọi người học logic đều suy luận chặt chẽ

Vậy mọi sinh viên triết đều suy luận chặt chẽ

Trong thực tế người sử dụng tiếng Việt coi hai suy luận vừa dẫn trên đây là một, suy luận trước được coi như một dạng viết tắt của suy luận sau Nói cách khác, trong khuôn khổ của suy luận này thì các từ “người học logic” và “học logic” được coi là như nhau, chỉ cùng một tập hợp đối tượng Thế nhưng đối với máy móc – mà nói đến xử lý tiếng Việt trong tam đoạn luận là ta đang cố gắng đưa ra cách xác định các thành phần của suy luận cho máy móc – thì hoàn toàn khác Với suy luận đã chuẩn hóa việc xác định các thành phần đại từ, trung từ, thuộc từ dễ hơn nhiều so với trong suy luận ban đầu Để phân biệt hai dạng suy luận như vậy chúng ta sẽ đặt tên riêng cho loại suy luận sau

Định nghĩa 4 Tam đoạn luận sử dụng hạn từ đồng nhất là tam đoạn luận trong đó các từ về thực chất chỉ cùng một tập hợp đối tượng được viết bằng cùng những ký tự như nhau (nhưng không cần tính đến sự khác biệt giữa cách viết hoa và viết thường, hoặc giữa cách viết thường và ký tự in).

Định nghĩa 5 Tam đoạn luận chính tắc là tam đoạn luận sử dụng hạn từ đồng nhất có các phán đoán tiền đề và kết luận đều là phán đoán chính tắc.

Định nghĩa 6 Tam đoạn luận bán chính tắc là tam đoạn luận sử dụng hạn từ đồng nhất và

có ít nhất một trong ba phán đoán thành phần là phán đoán chính tắc.

Ví dụ 1.(i) tam đoạn luận:

Mọi sinh viên khoa Triết đều là đoàn viên

Mọi sinh viên khoa Triết đều là người cần học logic hiện đại

Vậy một số đoàn viên là người cần học logic hiện đại

là tam đoạn luận chính tắc

(ii) Tam đoạn luận:

Mọi hạt lepton đều có spin bán nguyên

Điện tử là hạt lepton

Vậy điện tử có spin bán nguyên

là tam đoạn luận bán chính tắc, nhưng không phải là tam đoạn luận chính tắc, vì đại tiền đề

và kết luận không phải là phán đoán chính tắc

(iii) Tam đoạn luận sau đây không phải là tam đoạn luận bán chính tắc:

Mọi sinh viên đều học logic

Mọi người học logic đều suy luận tốt

Vậy mọi sinh viên đều suy luận tốt

Suy luận vừa nêu trên vừa không thỏa mãn điều kiện có phán đoán chính tắc, vừa không

thỏa mãn điều kiện sử dụng hạn từ đồng nhất (các cụm từ “học logic” và “người học logic” không đồng nhất với nhau).

Trong bài viết này chúng tôi chỉ xác định các thành phần của tam đoạn luận sử dụng đồng nhất các hạn từ mà thôi Các tam đoạn luận khác, muốn xác định được các thành phần thì trước hết phải đưa về dạng sử dụng thống nhất hạn từ, công việc này sẽ được thực hiện trong một bài viết khác

2 Xác định các thành phần trong tam đoạn luận sử dụng đồng nhất hạn từ

Các thành phần trong tam đoạn luận được chúng tôi xác định theo thứ tự sau đây:

1 Các từ chỉ thị tiền đề, chỉ thị kết luận

2 Kết luận, các tiền đề (chưa phân biệt đại hay tiểu tiền đề)

3 Các lượng từ

4 Các hạn từ: tiểu từ, đại từ, trung từ

5 Kiểu phán đoán của các tiền đề và kết luận

Xác định các từ chỉ thị tiền đề, chỉ thị kết luận

Tam đoạn luận bao giờ cũng có từ chỉ thị tiền đề, hoặc từ chỉ thị kết luận, hoặc cả hai loại từ này

Từ chỉ thị tiền đề bao giờ cũng đi trước tiền đề Ta có thể có một từ để chỉ thị chung cả hai tiền đề Khi đó nó đi ngay với tiền đề đầu tiên trong suy luận Ta cũng có thể có hai từ riêng biệt chỉ thị cho từng tiền đề một, chúng đi trước từng tiền đề Trong trường hợp có hai từ như vậy, từ đi trước tiền đề thứ hai chỉ thị cho tiền đề thứ hai trong suy luận, thật ra là từ liệt

kê tiền đề Từ này (nếu có) ta gọi là từ chỉ thị tiền đề hai Từ chỉ thị chung cho cả hai tiền đề

và từ chỉ thị tiền đề thứ nhất trong suy luận (nếu có) ta gọi là từ chỉ thị tiền đề 1, hoặc đơn giản hơn là từ chỉ thị tiền đề Ta còn có thể có trường hợp 3, chỉ có từ chỉ thị tiền đề 2, đi ngay trước tiền đề thứ hai

Ví dụ 2: vì

A là B

B là C

nên

A là C

Từ vì ở đây chỉ thị cả hai tiền đề

Ví dụ 3:

Vì A là B

và B là C nên A là C

Ở ví dụ này từ “vì” chỉ thị tiền đề 1, từ “và” chỉ thị tiền đề 2

Ví dụ 4:

A là B

Và B là C Nên A là C

ở đây “và” là từ chỉ thị tiền đề 2, không có từ chỉ thị tiền đề 1

Với tam đoạn luận trong tiếng Việt, từ chỉ thị tiền đề khá đa dạng, nhưng nếu không tính đến những cách dùng từ quá đặc biệt thì số lượng các từ như vậy không lớn lắm Ta xác định nó bằng cách liệt kê

Các từ chỉ thị tiền đề 1 thường gặp:

• Vì, bởi vì, vì lý do

• Ta biết

Các từ chỉ thị tiền đề 2 (từ nối, từ liệt kê tiền đề) thường gặp:

• Và, mà, thế mà, vậy mà, nhưng, còn, nhưng còn, trong khi đó, trong khi, thế mà, thế nhưng, tuy thế.

• Các từ như từ chỉ tiền đề 1

Như vậy một số biểu thức ngôn ngữ trong tiếng Việt có thể là từ chỉ thị tiền đề một, cũng có thể là từ chỉ thị tiền đề hai Điều này gây khó khăn cho việc xác định tiền đang nói tới là tiền

đề 1 hay tiền đề 2

Từ chỉ thị kết luận (nếu có) bao giờ cũng đi trước kết luận, chúng không trùng lặp với các từ chỉ thị tiền đề, và cũng ít có khả năng là thành phần của các phán đoán trong suy luận, vì vậy dễ nhận biết Mặt khác, mặc dù trong tiếng Việt các từ chỉ thị kết luận phong phú hơn nhiều so với từ chỉ thị tiền đề, nhưng nếu không kể đến các hình thức sử dụng rất đặc biệt nào đó, thì số lượng những từ như vậy cũng không phải là quá lớn, vì thế ta cũng xác định chúng bằng cách liệt kê

Các từ chỉ thị kết luận thường gặp là các từ sau đây:

• Vậy, bởi vậy, do vậy, vì vậy

• Nên, cho nên, thế nên, vậy nên

• Từ đây, từ đó, từ đây rút ra, từ đó rút ra, từ đây suy ra, từ đó suy ra, từ đây ta có, từ

đó ta có

• Vì thế, bởi thế

• Suy ra, vì vậy suy ra, vậy suy ra, bởi vậy suy ra, nên suy ra, cho nên suy ra, thế nên suy ra, vậy nên suy ra

• Rút ra, vì vậy rút ra, vậy rút ra, bởi vậy rút ra, nên rút ra, cho nên rút ra, thế nên rút

ra, vậy nên rút ra

Xác định kết luận và các tiền đề (chưa phân biệt đại hay tiểu tiền đề)

Các thành phần kết luận và tiển đề của tam đoạn luận nói riêng, suy luận nói chung, chỉ có thể phân biệt được, nghĩa là xác định được hoặc nhờ cấu trúc hình thức của chúng, hoặc nhờ các từ chỉ thị tiền đề hoặc/và từ chỉ thị kết luận Trường hợp đầu, nghĩa là trường hợp suy luận có cấu trúc hình thức nhất định (chẳng hạn như quy định suy luận phải tách thành nhiều dòng, dòng cuối cùng là kết luận, mỗi dòng trên nó là tiền đề; hoặc đánh dấu các tiền

đề và kết luận bằng những dấu hiệu như ngoặc tròn, ngoặc đơn, nháy đơn, nháy kép,…) không phải là trường hợp của suy luận trong ngôn ngữ tự nhiên, mà chỉ có thể là kết quả của một sự biến đổi nhất định suy luận trong ngôn ngữ tự nhiên – sau khi đã xác định được các thành phần của suy luận Trường hợp này, vì vậy, không cần đến việc xác định tiền đề

và kết luận nữa

Trường hợp sau mới thực sự đáng quan tâm Dễ nhận thấy là trong tiếng Việt, các phán đoán tiền đề bao giờ cũng được diễn đạt liền khối, nghĩa là giữa các từ của nó không có một biểu thức ngôn ngữ nào không thuộc nó xen vào Nhưng phán đoán kết luận thì có thể liền khối, có thể không Trường hợp phán đoán kết luận không liền khối có thể xảy ra khi từ chỉ thị kết luận (đi cùng các dấu phân cách) xen vào ngay sau chủ từ[2] Ví dụ: “ Con người, vì vậy, phải bảo vệ rừng”.

Các phán đoán trong suy luận còn có thể chứa những từ - mặc dù là thành phần thật sự của

nó – gây nhầm lẫn với các từ dùng để liệt kê tiền đề (mà ta gọi là chỉ thị tiền đề 2) Ví dụ, từ

“và” trong phán đoán sau là một từ như vậy: “Những người trung thực và dũng cảm không bao giờ thỏa hiệp với hiện tượng tham nhũng”.

Trong bài này, chúng tôi chỉ xác định các thành phần tiền đề và kết luận của những suy luận

có các phán đoán liền khối và không có những từ gây nhầm lẫn với chỉ thị tiền đề loại 2, việc xác định các thành phần của suy luận cho những tam đoạn luận khác sẽ được trình bày trong một bài khác

Từ chỉ thị tiền đề và kết luận luôn luôn đi ngay trước phán đoán mà chúng chỉ thị Vì vậy, nếu kết luận hoặc tiền đề không có từ chỉ thị đi kèm (trưởng hợp có từ chỉ thị tiền đề chung cho cả hai tiền đề thì ta coi là cả hai tiền đề đã có từ chỉ thị đi kèm) thì kết luận hoặc tiền đề

đó chỉ có thể xác định khi chúng xuất hiện ở đầu suy luận

Từ những phân tích trên đây, với điều kiện phán đoán trong suy luận liền khối và không chứa các từ gây nhầm lẫn với các từ chỉ thị tiền đề 2, ta có các thứ tự xắp xếp sau đây: Thứ tự 1:

<chỉ thị tiền đề> <tiền đề 1> <tiền đề 2> <chỉ thị kết luận><kết luận>

Thứ tự 2:

<chỉ thị tiền đề 1> <tiền đề 1> <chỉ thị tiền đề 2> <tiền đề 2> <chỉ thị kết luận>

<kết luận>

Thứ tự 3:

<tiền đề 1> <chỉ thị tiền đề 2> <tiền đề 2> <chỉ thị kết luận> <kết luận>

Thứ tự 4:

<tiền đề 1> <chỉ thị kết luận> <kết luận> <chỉ thị tiền đề 2> <tiền đề 2>

Thứ tự 5:

<chỉ thị tiền đề 1> <tiền đề 1> <chỉ thị kết luận> <kết luận> <chỉ thị tiền đề 2> <tiền đề 2>

Thứ tự 6:

<kết luận> <chỉ thị tiền đề> <tiền đề1> <tiền đề 2>

Thứ tự 7:

<kết luận> <chỉ thị tiền đề 1> <tiền đề 1> <chỉ thị tiền đề 2> <tiền đề 2>

Sau đây là một số ví dụ về các thứ tự sắp xếp và sử dụng các từ chỉ thị tiền đề, chỉ thị kết luận

Ví dụ 5:

Thứ tự 1: “Vì mọi sinh viên đều học logic, Nam không học logic, cho nên Nam không phải là sinh viên.”

Thứ tự 2: “vì mọi người đều có quyền mưu cầu hạnh phúc, và hắn là con người nên hắn có quyền mưu cầu hạnh phúc.”

Thứ tự 3: “Mọi cán bộ thanh liêm đều không giàu có, thế mà ông ta giầu có, vậy ông

ta không phải là cán bộ thanh liêm.”

Thứ tự 4: “Mọi cán bộ tham nhũng đều có tội với dân, vậy ông ta có tội với dân, vì ông

ta là cán bộ tham nhũng.”

Thứ tự 5: “Vì một số loài vật có trí thông minh, nên một số loài vật có thể thuần dưỡng được, bởi những loài vật có trí thông minh có thể thuần dưỡng được”

Thứ tự 6: “Có những hành tinh có sự sống, vì có những hành tinh có nước, hành tinh

có nước là có sự sống.”

Thứ tự 7: “Tiểu thuyết Nanh Trắng rất hay vì nó là tiểu thuyết của Jack London, mà mọi tiểu thuyết của Jack London đều rất hay.”

Các thứ tự sắp xếp cho thấy kết luận có thể nằm ở đầu suy luận, có thể nằm ở cuối suy luận, cũng có thể ở khoảng giữa suy luận, xen giữa các tiền đề

Nếu kết luận nằm ở đầu suy luận thì nó đứng ngay trước một chỉ thị tiền đề Nếu nó đứng cuối thì nó đứng ngay sau từ chỉ thị kết luận Trong trường hợp kết luận nằm giữa các tiền

đề thì nó được ngăn cách với tiền đề trước nó bằng từ chỉ thị kết luận và ngăn cách với đằng sau nó bằng từ chỉ thị tiền đề Từ các đặc điềm này, ta xây dựng được thuật toán tìm kết luận:

Bước 1 Tìm xem suy luận có từ chỉ thị kết luận không Nếu không có thì sang bước hai Nếu có thì sang bước ba

Bước 2 Xác định vị trí của từ chỉ thị tiền đề đầu tiên (nghĩa là của ký tự đầu tiên của

từ này) trong suy luận Kết luận chính là đoạn suy luận từ đầu đến ngay trước vị trí vừa xác định Kết thúc

Bước 3 Tìm xem có chỉ thị tiền đề đi sau chỉ thị kết luận không Nếu có thì tiếp tục bước 4, nếu không có thì chuyển sang bước 5

Bước 4 Xác định vị trí ký tự cuối của chị thị kết luận và vị trí ký tự đầu của chỉ thị tiền

đề đầu tiên sau chỉ thị kết luận Kết luận chính là đoạn suy luận nằm giữa hai vịtrí vừa xác định

Bước 5 Xác định ký tự cuối của chỉ thị tiền đề Kết luận là đoạn suy luận nằm sau vị trí này đến hết suy luận

Ký hiệu sl là suy luận, kl là kết luận của suy luận; ký hiệu del(x,y) có nghĩa là xóa đoạn y (có thể có một hoặc nhiều ký tự) khỏi văn bản x; copy(x,n,m) có nghĩa là copy đoạn văn bản gồm m ký tự tính từ ký tự thứ n của văn bản x; ký hiệu ‘ ‘ là chuỗi ký tự rỗng.

Khi đó thuật toán tìm kết luận từ suy luận cho trước có thể biểu diễn bằng lưu đồ sau đây (xem trang sau).

Khác với kết luận, các tiền đề không phải bao giờ cũng được tách biệt khỏi phần còn lại của suy luận nhờ các từ chỉ thị tiền đề và từ chỉ thị kết luận Trong các thứ tự 1 và 6, ta không thấy từ chỉ thị tiền đề hoặc từ chỉ thị kết luận cho biết điểm khởi đầu của tiền đề thứ 2 Làm thế nào để tách riêng từng tiền đề? Để ý rằng nếu không có từ chỉ thị tiền đề hoặc kết luận báo hiệu bắt đầu một tiền đề hoặc kết luận nào đó thì chắc chắn phải có dấu kỹ thuật ngăn cách các tiền đề và kết luận như vậy Trong trường hợp thứ tự 1 và thứ tự 6 chắc chắn phải

có dấu chấm (.), dấu phẩy (,) hay dấu chấm phẩy (;) giữa hai tiền đề Điều này gợi cho ta cách tách riêng từng tiền đề của suy luận: dựa vào các từ chỉ thị tiền đề, từ chỉ thị kết luận

và dấu phân cách (dấu chầm, dấu phẩy hoặc dấu chấm phẩy)

Ta có thuật toán sau để tách riêng từng tiền đề:

• Bước 1: tách kết luận và từ chỉ thị kết luận (nếu có) khỏi suy luận Ta cũng loại bỏ khỏi suy luận các dấu phân cách (tức là các dấu kỹ thuật) đi ngay sau kết luận (nếu có) Phần còn lại của suy luận, ta gọi là các khối tiền đề

• Bước 2: tách riêng hai tiền đề từ khối tiền đề

Để mô tả bước 2, trước hết, chúng ta sẽ khảo sát kết quả bước 1, tức là khảo sát cấu trúc các khối tiền đề Sau khi tách phần kết luận cùng với từ chỉ thị kết luận, các thứ tự suy luận chỉ còn lại khối tiền đề như sau:

Cấu trúc 1 (từ thứ tự 1):

<chỉ thị tiền đề> <tiền đề 1> <tiền đề 2>

Cấu trúc 2 (từ thứ tự 2):

<chỉ thị tiền đề 1> <tiền đề 1> <chỉ thị tiền đề 2> <tiền đề 2>

Cấu trúc 3 (từ thứ tự 3):

<tiền đề 1> <chỉ thị tiền đề 2> <tiền đề 2>

Cấu trúc 4 (từ thứ tự 4):

<tiền đề 1> <chỉ thị tiền đề 2> <tiền đề 2>

Cấu trúc 5 (từ thứ tự 5):

<chỉ thị tiền đề 1> <tiền đề 1> <chỉ thị tiền đề 2> <tiền đề 2>

Cấu trúc 6 (từ thứ tự 6):

<chỉ thị tiền đề> <tiền đề 1> <tiền đề 2>

Cấu trúc 7 (từ thứ tự 7):

<chỉ thị tiền đề 1> <tiền đề 1> <chỉ thị tiền đề 2> <tiền đề 2>

Dễ thấy các cấu trúc 2, 5, 7 trùng nhau, các cấu trúc 3, 4 trùng nhau; các cấu trúc 1, 6 trùng nhau Như vậy trên thực tế còn lại ba cấu trúc, đó là cấu trúc 1, 2, 3

Khảo sát ba cấu trúc này, ta thấy chỉ có cấu trúc 1 không có từ chỉ định tiền đề ngăn cách các tiền đề Như vậy chỉ với cấu trúc 1 ta mới phải sử dụng dấu phân cách để tách các tiền đề

Giống như trong lưu đồ xác định kết luận từ suy luận, ký hiệu ktđ là khối tiền đề; tđ1, tđ2 lần lượt là tiền đề 1, tiền đề 2; ký hiệu del(x,y) có nghĩa là xóa đoạn y (có thể có một hoặc nhiều

ký tự) khỏi văn bản x; copy(x,n,m)có nghĩa là copy đoạn văn bản gồm m ký tự tính từ ký tự thứ n của văn bản x.

Từ những phân tích và ký hiệu trên, chúng ta có được thuật toán tách riêng các tiền đề từ khối tiền đề, biểu thị qua lưu đồ như sau:

Lưu ý: Trong các thuật toán tách tiền đề và kết luận đã mô tả trên đây, chúng ta coi dấu phân cách (nếu có) đi ngay sau từ chỉ thị tiền đề hoặc chỉ thị kết luận là ký tự cuối cùng của

từ chỉ thị tiền đề hay từ chỉ thị kết luận đó

Để các thuật toán trên có cơ sở phân biệt được cả các cấu trúc sai của suy luận hoặc của khối tiền đề mà người sử dụng đưa vào ta thêm một phần kiểm tra ban đầu

Cụ thề, trong thuật toán tách kết luận, sau bước đặt kết luận= ‘ ‘, ta kiểm tra xem suy luận có chứa đựng ngoài các ký tự chữ cái, dấu tiếng Việt, dấu chấm, dấu phẩy và dấu chấm phẩy không Nếu có thì quá trình tách kết luận chấm dứt Nếu không có thì tiếp tục kiểm tra xem suy luận có quá một chỉ thị kết luận không, nếu có thì kết thúc, nếu không có thì kiểm tra xem suy luận có quá hai từ chỉ thị tiền đề không, nếu có thì kết thúc, nếu không thì tiếp tục phần sau của thuật toán mà ta đã biết