Lý thuyết biểu diễn diễn ngôn

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN - VŨ THỊ HƯƠNG LÝ THUYẾT BIỂU DIỄN DIỄN NGÔN LUẬN VĂN THẠC SĨ KHOA HỌC Hà Nội – 2014 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN - VŨ THỊ HƯƠNG LÝ THUYẾT BIỂU DIỄN DIỄN NGƠN Chun ngành: Cơ sở tốn học cho tin học Mã số: LUẬN VĂN THẠC SĨ KHOA HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC: TS Nguyễn Thị Minh Huyền Hà Nội – Năm 2014 MỤC LỤC LỜI CẢM ƠN GIỚI THIỆU CHƯƠNG CƠ SỞ TOÁN HỌC 1.1 LOGIC VỊ TỪ CẤP MỘT VÀ PHÉP HỢP NHẤT 1.1.1Các khái niệm 1.1.2Các khái niệm ngữ nghĩa 1.1.3Phép hợp (Unification) 1.2 TÍNH TỐN LAMBDA 1.2.1Cú pháp tính tốn lambda 1.2.2Biến tự biến ràng buộc 1.2.3Các phép biến đổi CHƯƠNG LÝ THUYẾT BIỂU DIỄN DIỄN NGÔN 2.1 CÁC THÀNH PHẦN CƠ BẢN CỦA DRT 2.1.1 Tổng quan DRT 2.1.2Cách xây dựng cấu trúc biểu diễn diễn n 2.2 NGÔN NGỮ DRS CƠ BẢN VÀ BIỂU DIỄN 2.2.1 Ngôn ngữ DRS mở rộng bậc 2.2.2Ngữ nghĩa chủ đích, mệnh đề, trạng thái 2.2.3Các lượng từ 2.2.4Số nhiều 2.2.5 Thời thể 2.3 TIỀN GIẢ ĐỊNH (PRESUPPOSITION) 2.3.1Ý nghĩa tiền giả định 2.3.2Một ví dụ CHƯƠNG BIỂU DIỄN DIỄN NGÔN VỚI THAM CHIẾU THỜI GIAN TRONG TIẾNG VIỆT 3.1 ĐỊNH VỊ THỜI GIAN 3.1.1Biểu diễn thời gian mối quan hệ 3.1.2Định vị thời gian 3.2 YẾU TỐ THỜI TRONG TIẾNG VIỆT 3.2.1Các quan niệm thời tiếng Việ 3.2.2Cách diễn đạt ý nghĩa thời tiếng 3.3 DẤU HIỆU TỪ VỰNG ĐỂ NHẬN BIẾT THỜI TRONG TIẾNG VIỆT KẾT LUẬN TÀI LIỆU THAM KHẢO DANH MỤC HÌNH VẼ Hình 1: Cây cú pháp biểu thức lambda Hình 2: Phân tích cú pháp kết hợp tính tốn lambda câu (2) Hình 3: Thời gian biểu diễn theo định hướng không gian Hình 4: Định vị thời gian với ẩm dụ người quan sát đứng yên Hình 5: Định vị thời gian với ẩm dụ người quan sát chuyển động DANH MỤC TỪ VIẾT TẮT Cụm từ viết tắt BV CCG CCP DRT DRS EKAW FV NP LỜI CẢM ƠN Đầu tiên em xin gửi lời cảm ơn chân thành sâu sắc tới TS Nguyễn Thị Minh Huyền bảo, hướng dẫn tận tâm cho em suốt q trình thực luận văn Việc hồn thành luận văn không kể tới hỗ trợ tạo điều kiện Viện Công nghệ thông tin, Viện Khoa học Công nghệ quân sự, Bộ Quốc Phịng quan tơi cơng tác Tơi xin trân trọng gửi lời cảm ơn tới thủ trưởng, đồng nghiệp, đồng chí Bên cạnh đó, em xin cảm ơn thầy cơ, cán nhân viên Bộ môn Tin học nói riêng khoa Tốn – Cơ – Tin học, trường Đại học Khoa học Tự nhiên nói chung tận tình dạy dỗ giúp đỡ em từ em sinh viên trường đến năm em trở lại học tập, nghiên cứu khoa với cương vị học viên cao học Tôi xin cảm ơn gia đình, bạn bè tất người quan tâm, tạo điều kiện, động viên cổ vũ để tơi hồn thành nhiệm vụ Luận văn tơi khơng tránh khỏi thiếu sót hạn chế thời gian thực hiểu biết thật hệ thống ngữ pháp, ngữ nghĩa tiếng Việt Tơi mong nhận ý kiến đóng góp thầy bạn Hà Nội, tháng 11 năm 2014 Học viên Vũ Thị Hương GIỚI THIỆU Sự chi phối ngữ cảnh ngôn ngữ tự nhiên tượng thiên biến vạn hóa vơ phức tạp, khiến nhiều nhà ngơn ngữ ngữ nghĩa dày công nghiên cứu Trước đây, quan niệm ngữ nghĩa tắc coi lý thuyết ngữ nghĩa mối quan tâm bản, khái niệm trọng tâm thông tin thật, ý nghĩa câu điều kiện thật mà khả thay đổi thông tin Khi nhà nghiên cứu trọng vào phụ thuộc ngữ cảnh ngơn ngữ mơ thức xử lý tốn ngữ nghĩa có thay đổi lớn, lý thuyết ngữ nghĩa động thiết kế đặc thù để làm việc với mối tương quan phát ngôn ngữ cảnh phản ánh thay đổi Tuy nhiên, quan hệ thơng tin thật có vị trí tối quan trọng thành phần định tất lý thuyết động Trong hai thập kỷ gần đây, lý thuyết ngữ nghĩa động phát triển mạnh mẽ, xoay quanh vấn đề cốt lõi mô tả phụ thuộc ngữ cảnh vào ngữ nghĩa [10] Đó đặc tính ln có ngơn ngữ tự nhiên tương tác có tính đối ứng Ta kể đến vài lý thuyết ngữ nghĩa động như: - Năm 1991 Groenendijk Stokhof đưa văn phạm Montague động dựa vào logic vị từ - Năm 1991 Chierchia nghiên cứu mối liên kết động tượng thay đại từ - Năm 1996 Kohlhase đưa lý thuyết tính tốn ngữ nghĩa dựa vào tính tốn lambda - Năm 1997 Eijck Kamp đề xuất cách biểu diễn diễn ngôn ngữ cảnh có Các cơng cụ biểu diễn ngữ nghĩa động phát triển rộng rãi như: - Named Entity Recognition (Nhận biết tên thực thể): Công cụ xác định cụm từ văn biểu diễn tên người, cụm từ biểu diễn vị trí hay tổ chức,… - Wikifier: Công cụ xác định thực thể khái niệm quan trọng văn bản, xử lý tượng mập mờ nghĩa liên kết tới trang Wikipedia - Context-Sensitive Spelling Correction (Sửa lỗi từ dựa vào ngữ cảnh): Cơng cụ tìm gợi ý cách sửa cho lỗi sai nghĩa - Co-reference Resolution (Giải đồng tham chiếu): Một thực thể nhắc đến văn theo nhiều cách khác Công cụ phát cụm từ thể thực thể - Context Sensitive Verb Paraphrasing (Chú thích động từ dựa ngữ cảnh): Công cụ phân loại xem xét động từ v ngữ cảnh với động từ ứng viên u, đồng thời xác định ngữ cảnh cho u thay cho v để giữ ngun ý nghĩa văn khơng Chúng ta tham khảo minh họa trực tuyến công cụ trang http://cogcomp.cs.illinois.edu/page/demos/ Lý thuyết biểu diễn diễn ngôn (DRT: Discourse Representation Theory) nằm phạm vi ngữ nghĩa động, khác biệt chỗ vai trò bật thật phát ngôn Một công cụ tiêu biểu dựa DRT Boxer Johan Bos phát triển Với đầu vào CCG (Combinatory Categorial Grammar: văn phạm danh mục kết nối), Boxer cho cấu trúc biểu diễn diễn ngôn (tham khảo minh họa http://svn.ask.it.usyd.edu.au/trac/candc/wiki/Demo) Một cơng trình khác Valentina Presutti, Francesco Draicchio Aldo Gangemi công bố hội thảo quốc tế EKAW 2012 đưa phương pháp kết hợp DRT với mẫu thể học để trích xuất tri thức [13] Luận văn nghiên cứu DRT với mục đích tạo tiền đề lý thuyết cho ứng dụng biểu diễn diễn ngôn tiếng Việt Cấu trúc luận văn gồm ba phần: Chương trình bày sở tốn học sử dụng cho chương sau, bao gồm logic vị từ cấp một, tính tốn lambda phép tốn hợp xử lý ngôn ngữ Đây cơng cụ để biểu diễn tính tốn ngữ nghĩa Chương hai trình bày lý thuyết biểu diễn diễn ngôn Phần đầu chương giới thiệu cách xây dựng cấu trúc biểu diễn diễn ngôn phương tiện để biểu diễn diễn ngôn cách thể yếu tố cú pháp cấu trúc Mơ hình tiền giả định trình bày phần sau Các kết luận ví dụ minh họa áp dụng cho tiếng Anh Chương ba khảo sát cách định vị thời gian phương thức thể yếu tố thời phát ngơn tiếng Việt Từ có nhận xét cách chọn thời gian tham chiếu phù hợp thể trọn vẹn yếu tố thời biểu diễn diễn ngôn tiếng Việt Thời gian kiện trường hợp phiếm định Ví dụ: (65) Đến anh đứng em Trước biển lớn đời thương cảm ấy? (Vũ Quần Phương) (Tương lai) (66) - Anh Hà Nội bao giờ? (Quá khứ) Trợ từ việc định vị thời gian: Trong tiếng Việt, trợ từ khảo sát bao gồm: nghe, nghe, nhé, cho mà xem, cho biết tay, đã, mà Các trợ từ nghe, nghe, có ý nghĩa yêu cầu, dấu hiệu cho biết kiện chưa xảy ra, nghĩa kiện xảy tương lai Các trợ từ cho mà xem, cho biết tay nhấn mạnh tác động không hay, phải chịu đựng việc xảy có tính chất đe dọa dấu hiệu cho biết kiện câu chưa xảy ra, nghĩa kiện câu xảy tương lai Trợ từ biểu thị kiện vừa nói đến cần hồn thành trước làm việc khác vậy, có ý nghĩa làm cho kiện câu phát ngôn chưa xảy ra; nói cách khác, kiện xảy tương lai Trợ ngữ mà biểu thị thái độ phàn nàn, trách móc khơng chấp thuận việc làm tại, lúc nói Tiếng Anh khơng có trợ từ Tiếng Anh có hình thái câu cầu khiến có ý nghĩa tương đương, thời động từ chia Sau số ví dụ: (67) - Ơng sếp ơi, cho cắt cỏ nghe! (Nguyễn Thi) (68) Linh) - Cô Loan, cô vào uống nước, ăn trầu (Nhất (69) Bà Lí xung tiết: -Ăn mà (Nguyễn Công Hoan) 68 (70) Come in, please! (71) Would you like some tea? 3.2 YẾU TỐ THỜI TRONG TIẾNG VIỆT 3.2.1 Các quan niệm thời tiếng Việt Tiếng Việt có phạm trù thời hay khơng? Đây câu hỏi chưa có câu trả lời quán nhà Việt ngữ Trong thời gian dài, người ta cho ba “đã”, “đang”, “sẽ” ba tố thời tiếng Việt Ngay sách giáo khoa dạy tiếng Việt cho người nước Khoa Việt ngữ trường Đại học Ngoại ngữ, Đại học Quốc gia Hà Nội biên soạn viết tiếng Việt có ba thì: q khứ, tương lai, đánh dấu ba tố “đã”, “đang” “sẽ” [4] Song cần khảo sát số ví dụ đơn giản như: (72) Hơm qua em làm gì? Em xem phim với lũ bạn (73) Bây cháu đâu đấy? Cháu xem phim bà (74) Ngày mai xem phim mẹ Ta thấy ý nghĩa khứ, tương lai biểu thị rõ câu mà khơng cần có mặt tố Hơn nữa, đưa chúng vào, câu tiếng Việt trở thành gượng ép, khó chấp nhận (72’) Hơm qua em làm gì? - Em xem phim với lũ bạn (73’) Bây cháu đâu đấy? - Cháu xem phim bà (74’) Ngày mai xem phim mẹ Hiện tồn hai trường phái đối lập Một trường phái khẳng định tiếng Việt có phạm trù thời thể, tiêu biểu Nguyễn Minh Thuyết [6] ông cho rằng: “Thời thể hai phạm trù ngữ pháp thật tiếng Việt” Trường phái thứ hai, ngược lại, phủ nhận tồn phạm trù thời 69 tiếng Việt Tiêu biểu cho trường phái Cao Xuân Hạo [4], Nguyễn Đức Dân [1] Luận văn trình bày theo trường phái cho tiếng Việt khơng có phạm trù thời, tức tiếng Việt khơng ngữ pháp hóa thời hình thái ngữ pháp bắt buộc động từ, song tiếng Việt hồn tồn có khả diễn đạt ý nghĩa thời cần thiết Sau luận văn đưa cách diễn đạt ý nghĩa thời tiếng Việt sở phân tích liệu thu thập trình nghiên cứu 3.2.2 Cách diễn đạt ý nghĩa thời tiếng Việt * Trong tiếng Việt, thời không đánh dấu hình thái ngữ pháp Các động từ đưa vào mơi trường câu khơng thay đổi hình thái, diễn đạt kiện khứ, tương lai, chẳng hạn ví dụ (72)-(74) mà quan sát Đứng phương diện ý nghĩa thời gian, cần phải định vị kiện thời gian, tiếng Việt sử dụng phương tiện từ vựng, tức dùng khung đề có ý nghĩa từ vựng tương ứng cho khứ hôm trước, hôm qua, ngày xưa, trước đây, lúc cho bây giờ, hôm nay, lúc này, cịn cho tương lai thường dùng từ mai này, mai, sau này, ngày mai, hai tháng Các khung đề diễn đạt ý nghĩa tương ứng với ý nghĩa diễn đạt thời khứ hay tiếng Anh, kể tính chất trực tức định vị kiện so với thời điểm phát ngôn Chúng ta khảo sát số đoạn trích từ truyện ngắn tác phẩm văn học Việt Nam sau: (75) thiên Hôm sinh nhật gái (Nguyễn Thị Thu Huệ, Hậu đường) 70 (76) Năm trước lần phép thăm nhà, thiếu tướng lấy làm thấy Bạch Ngọc thường hay lặng lẽ vào rừng sâu lúc xế chiều (Nguyễn Dậu, Con thú bị ruồng bỏ, trích Truyện ngắn chọn lọc, Nxb Hà nội) (77) Mai mười hai cháu tầu Vinh hả? (Ma Văn Kháng, Quê nội, trích Truyện ngắn chọn lọc, Nxb Hà nội) Các ví dụ trích dẫn cho thấy tiếng Việt dùng khung đề tương ứng với tại, khứ tương lai để định vị kiện xảy khung đề đó, thân kiện không mang dấu ấn thời Hơn nữa, tiếng Việt không cần dùng tố đã, đang, để định vị thời vào ba khung khứ, tương lai Chúng ta thấy ví dụ trên, đưa tố vào, câu trở nên khó chấp nhận nghĩa bị biến đổi (75’) Hôm sinh nhật gái (76’) Năm trước lần phép thăm nhà, thiếu tướng lấy làm thấy Bạch Ngọc thường hay lặng lẽ vào rừng sâu lúc xế chiều (77’) Mai mười hai cháu tầu Vinh hả? Còn câu (77) câu hỏi khẳng định “Đi tầu” kiện dự liệu trước nằm kế hoạch mà người nói người nghe biết Nói cách khác, kiện tiền giả định (77’) mang ý nghĩa giả thiết nhiều tính thực hóa kiện có khả thực Trong ngơn hội thoại, ngữ cảnh cho phép định vị kiện vào khung thời gian so với thời điểm phát ngơn tiếng Việt khơng cần thiết phải diễn đạt ý nghĩa thời gian, tức không cần dùng khung thời gian Chúng ta quan sát ví dụ sau: 71 (78) Bà ơi, bà mua túi cho cháu bà? (79) Chào cụ, cụ ạ? Ngữ cảnh phát ngôn (78) cho thấy tiền giả định người bà mua túi phải thỏa mãn Trong ngơn ngữ có phạm trù thời tiếng Anh, ý nghĩa phải mã hóa dạng thức động từ, thời khứ: (78’) Did you buy this wallet for me, grandma? Nhưng tiếng Việt không cần diễn đạt ý nghĩa thời gian rõ nhờ ngữ cảnh Tiếng Việt không cần dùng từ để biểu thị kiện diễn thời điểm phát ngôn câu (79) lẽ người nói đặt câu hỏi cho người đối thoại hai người đường gặp đường Thực tế, đặt câu hỏi này, người Việt Nam không quan tâm đến địa điểm mà người đối thoại với đến, đến hành độnh mà người làm mà thực chất câu hỏi thay cho lời chào giao tiếp người Việt Nam Các ví dụ cho thấy ttếng Việt không thiết phải biểu thị ý nghĩa thời không cần thiết phải định vị kiện thời gian Các tố đã, đang, sẽ,… tố biểu thị phạm trù thời tiếng Việt Vậy đã, đang, đóng vai trị tiếng Việt chúng xuất câu? Trong phần tiếp theo, phân tích ngữ cảnh cho phép có mặt từ để làm bật hoạt chức chúng ý nghĩa mà chúng truyền tải ngữ cảnh * Ba tiểu từ đã, đang, tố biểu thị thời khứ, tương lai nhiều người lầm tưởng Chúng nằm nhóm tiểu từ thể tình thái tiếng Việt 72 - Đã tiểu từ đa nghĩa Nó thường xuất ngữ cảnh có đối lập hai giá trị bình diện chủ quan người nói - Đang tiểu từ mang ý nghĩa rõ rệt thể Nó tiếp diễn mang ý nghĩa tạm thời kiện định vị khung đề khứ, tương lai - Sẽ xuất hầu hết phát ngơn có khung đề tương lai song không tương lai mà tiểu từ biểu thị tình thái tiếng Việt Các kiện kết hợp với thường kiện chưa thực hóa thực tế mà tồn ý nghĩ, dự đoán, giả thiết dạng lời hứa người nói Vì vậy, tiểu từ dùng để phân biệt thể thực thể phi thực tiếng Việt 3.3 DẤU HIỆU TỪ VỰNG ĐỂ NHẬN BIẾT THỜI TRONG TIẾNG VIỆT Trong phần này, luận văn liệt kê dấu hiệu nhận biết thời tiếng Việt từ vựng cho ba thời khứ, tại, tương lai dựa vào khảo sát tiếng Việt Nhận biết thời từ vựng, đặc biệt trạng từ thời gian có sức mạnh định tiếng Việt tiếng Anh Trong tiếng Anh, thời động từ lại chia cụ thể hơn, ví dụ thời q khứ có q khứ đơn, khứ hoàn thành, khứ hoàn thành tiếp diễn,… Như trường hợp cần đối sánh tương đồng hai ngôn ngữ ta cần dựa thêm vào yếu tố ngữ cảnh khác tiền giả định tri nhận tự nhiên, tình thái diễn ngôn, 73 * Thời khứ tiếng Việt - Định vị thời gian phía sau: diễn ngơn có xuất từ vựng thể thời gian qua qua, rồi, đằng sau, qua rồi, phía sau,… - Phụ từ: vừa mới, vừa xong, từng, có rồi,… - Vị từ: + nhóm vị từ bị động được, bị, phải, trót,… + nhóm vị từ tồn tại, sinh, mất: sinh ra, mất, chết,… Trạng từ: trước kia, trước đây, thưở trước, cách đây, giờ, bao giờ, hôm trước, hôm qua, ngày xưa, trước đây, lúc nãy,… Ví dụ ta xây dựng DRS cho câu sau: (80) Bác Hồ sinh Nghệ An n x z e tloc Bác-Hồ(x) “Nghệ-An”(z) tloc ⊰ n e ⊆ tloc e: sinh-tại(x,z) * Thời tiếng Việt - Định vị thời gian tại: ngày nay, lúc này,… - Phụ từ: ngày nay, nay,… - Trạng từ: dạo này, hôm nay, lúc này,… - Đại từ: bây giờ, giờ, bao giờ,… 74 - Trợ từ: mà thế,… Ví dụ ta xây dựng DRS cho câu sau: (81) Bây nàng nhớ anh n x z e tloc nàng(x) anh(z) tloc = n e e: ⊆ tloc nhớ(x,z) * Thời tương lai tiếng Việt - Định vị thời gian tương lai: phía sau,… - Phụ từ: sắp, sẽ,… - Vị từ: + muốn, toan, nên, định, chực, cần, thèm vào, phải, dám, thà, st, có thể, khơng thể,… + mong, mong mỏi, mong muốn, ước ao, ước nguyện, ước muốn, mơ ước, khát khao, chúc, hứa, thề, nguyện, cậy, định,… - Trạng từ: mai, giờ, bao giờ, mai này, sau này, ngày mai, hai tháng nữa, … - Trợ từ: nghe, nghe, nhé, cho mà xem, cho biết tay, đã,… 75 Ví dụ ta xây dựng DRS cho diễn ngônsau: (82) Em chợ chồng Chồng nhà phơi quần áo n x t1 e1 z t2 e2 em(x) n ⊰ t1 e1 ⊆ t1 e1: đi-chợ(x) t1 ⊰ t2 chồng(z) n ⊰ t2 e2 ⊆ t2 e2: phơi-quần-áo(x) Ta xét thêm ví dụ khó hơn: (83) Sau Hương ngồi sửa luận văn Hôm qua chị bảo vệ buổi bảo vệ gái chị sốt cao Tết đến nơi Chị vừa chăm vừa cố gắng sửa xong để ăn tết cho ngon Ta kí hiệu câu (83) S1, S2, …, S5 S1 thời thể tiếp diễn Trong ngữ cảnh S1 cung cấp, S2 thời khứ với trạng từ “hôm qua” DRS biểu diễn ngữ nghĩa cho S1 S2 sau: n h c t1 s1 j t2 e2 Hương(h) “luận-văn”(c) t1 = n t1 ⊆ s1 s1: PROG(^e:ngồi-sửa(h,c)) t2 ⊰ n DAY(ty) ty ⫗DAY-OF(n) t2 ⊆ ty e2 ⊆ t2 e2: bảo-vệ(h,c) 76 Ở ta sử dụng quan hệ nối đầu (abutment), ký hiệu ⫗ Với hai khoảng thời gian t1 t2, t1⫗ t2 ⇔ t1 ⊰ t2 ∄ t3: (t1 ⊰ t3)^ (t3 ⊰ t2) S3 chứa kiện e3 sau kiện S kéo dài đến tại, thời gian định vị S2 làm thời gian tham chiếu biểu diễn cho S DRS khởi tạo biểu diễn cho S3 sau: g e3 t3 treg con-gái(g,h) t3 ⊰ n t2 ⫗ treg t3 ⊆ treg t3 ⊆ e e3: “sốt-cao”(g) S4 có kiện thời tương lai Câu cuối S thời trước thời điểm “tết” Vì hành động “sửa xong” luận văn phải xảy trước tết chủ thể “ăn tết cho ngon” DRS biểu diễn S4 S5 sau: t4 e5 t5 e5’t5’ e5’’ t5’’ “Tết”(t4) n ⊰ t4 t5 = n t5 ⊆ e e5: “chăm”(h,g) n ⊰ t5’ t5’ ⊰ t4 t5’ ⊆ e5’ e5’: sửa-xong(h,c) t5’’ ⊆ t4 e5’’ ⊆ t5’’ e5’’:”ăn-tết-cho-ngon”(h) Kết hợp lại ta DRS biểu diễn cho câu ví dụ (83) là: 77 n h c g t1 s1 t2 e2 t3 e3 treg t4 e5 t5 e5’t5’ e5’’ t5’’ Hương(h) “luận-văn”(c) t1 = n t1 ⊆ s1 s1: PROG(^e:ngồi-sửa(h,c)) t2 ⊰ n DAY(ty) ty ⫗DAY-OF(n) t2 ⊆ ty e2 ⊆ t2 e2: bảo-vệ(h,c) con-gái(g,h) t2 ⫗ treg t3 ⊆ treg t3 ⊆ e t3 ⊰ n e3: “sốt-cao”(g) “Tết”(t4) n ⊰ t4 t5 = n t5 ⊆ e e5: “chăm”(h,g) n ⊰ t5’ t5’ ⊰ t4 t5’ ⊆ e5’ e5’: sửa-xong(h,c) t5’’ ⊆ t4 e5’’ ⊆ t5’’ e5’’:”ăn-tết-cho-ngon”(h) * Tổng kết Trong chương luận văn so sánh cách định vị thời gian thể yếu tố thời động từ tiếng Anh tiếng Việt Tiếng Việt khơng có hình thái ngữ pháp thể yếu tố thời tiếng Anh mà chủ yếu sử dụng từ vựng để nhận biết thời động từ, kết hợp với ngữ cảnh phát ngôn liên quan Khi biểu diễn diễn ngôn tiếng Việt, ta cần tận dụng phương tiện từ vựng để định vị thời gian, từ có biểu diễn ngữ nghĩa 78 KẾT LUẬN Lý thuyết biểu diễn diễn ngơn cho tiếng Anh (có so sánh với tiếng Việt) với thuyết tiền giả định chủ đề luận văn Trong đó, việc biểu diễn ngữ nghĩa ngôn ngữ tự nhiên công thức logic vị từ cấp tính tốn lambda sở quan trọng Trong phần trình bày lý thuyết biểu diễn diễn ngơn, luận văn trình bày cách sử dụng cấu trúc biểu diễn diễn ngôn để thực biểu diễn diễn ngôn với minh họa tiền giả định Bên cạnh đó, qua ngơn ngữ DRS mở rộng bậc một, luận văn trình bày khái niệm mơ hình hóa ngữ cảnh ngữ nghĩa chủ đích, mệnh đề, trạng thái thơng tin, khả thay đổi ngữ cảnh cách thức tích hợp yếu tố ngữ pháp (thời thể, lượng từ, thể số nhiều) vào ngữ cảnh biểu diễn diễn ngơn Luận văn có đưa khảo sát yếu tố thời thể tiếng Việt Từ luận văn có so sánh với tiếng Anh để áp dụng biểu diễn diễn ngôn yếu tố thời tiếng Việt Việc biểu diễn ngữ nghĩa ngôn ngữ tự nhiên thành cấu trúc DRT thực có ý nghĩa vơ quan trọng, sở cho nhiều toán ứng dụng xử lý ngữ nghĩa Đặc biệt thuyết tiền giả định có khả nắm bắt hiệu ngữ cảnh diễn ngôn Trong thời gian tới, nghiên cứu chi tiết cách biểu diễn diễn ngôn cho trạng từ thời gian nói riêng trạng từ nói chung tiếng Việt mở rộng nghiên cứu lý thuyết biểu diễn diễn ngôn cho tiếng Việt cách thức thể yếu tố cú pháp khác thời thể số nhiều 79 TÀI LIỆU THAM KHẢO Tài liệu tiếng Việt (1) Nguyễn Đức Dân (1996), Nhận diện thời gian tiếng Việt, Tạp chí Ngơn ngữ số 3, Viện Ngôn ngữ học (2) Đỗ Đức Giáo (2008), Toán rời rạc, Nhà xuất Giáo dục (3) Nguyễn Văn Hán (2012), Định vị thời gian tiếng Việt góc nhìn ngơn ngữ học tri nhận (so sánh với tiếng Anh), Luận án tiến sĩ Ngôn ngữ học, Trường Đại học Khoa học Xã hội Nhân văn, Đại học Quốc gia Thành phố Hồ Chí Minh (4) Cao Xuân Hạo (1998), Về ý nghĩa “thì” “thể” tiếng Việt, Tạp chí Ngơn ngữ số 5, Viện Ngôn ngữ học (5) Vũ Thị Ngân (2003), Phạm trù thời thể tiếng Pháp tiếng Việt, Đề tài cấp Đại học Quốc gia Hà Nội, Trường Đại học Ngoại ngữ, Đại học Quốc gia Hà Nội (6) Nguyễn Minh Thuyết (1998), Thành phần câu tiếng Việt, Nhà xuất Đại học Quốc gia Hà Nội Tài liệu tiếng Anh (7) A Burchardt, S Walter, A Koller, M Kohlhase, P Blackburn, J Bos (2002), Computational Semantics, MiLCA, Department of Computer-linguistic, University, Germany Saarlandes Saarbrucken 80 (8) A Martelli, U Montanari (1982), An Efficient Unification Algorithm, Journal: ACM Transactions on Programming Languages and Systems, New York, USA (9) F Baader, W Snyder (2001), Unification Theory, Elsevier Science Publishers (10) H Kamp, Josef van Genabith, Uwe Reyle (2011), Discourse Representation Theory, An Updated Survey In: D Gabbay (ed.), Handbook of Philosophical Logic, 2nd ed., Vol XV (11) K von Fintel, Irene Heim (2011), Intensional Semantics, MIT Spring (12) P Selinger (2007), Lecture Notes on the Lambda Calculus, Department of Mathematics and Statistics, Dalhousie University, Halifax, Canada (13) V Presutti, Francesco Draicchio, Aldo Gangemi (2012), Knowledge extraction based on discourse representation theory and linguistic frames, EKAW'12 Proceedings of the 18th international conference on Knowledge Engineering and Knowledge Management, Springer-Verlag Berlin, Heidelberg 81 ... tốn hợp xử lý ngôn ngữ Đây công cụ để biểu diễn tính tốn ngữ nghĩa Chương hai trình bày lý thuyết biểu diễn diễn ngơn Phần đầu chương giới thiệu cách xây dựng cấu trúc biểu diễn diễn ngôn phương... bước: - Biểu diễn ngôn ngữ đối tượng gán dạng logic ? ?biểu diễn ngữ nghĩa” – biểu diễn phụ thuộc vào số ngôn ngữ chuẩn tắc - Ta cho trước định nghĩa lý thuyết mơ hình điều kiện thật cho biểu diễn. .. diễn tập chứa tất cá thể biểu diễn tham chiếu diễn ngôn thuộc Z Với (14), Z chứa tham chiếu diễn ngôn t biểu diễn Tom s biểu diễn Sue Với |Z| = ta viết thay cho Ta có biểu diễn (14) sau: Với (15)