Các Hình thức Ngữ pháp Hình thức

Các hệ thống ngữ pháp phong phú hơn được sử dụng để mô tả cú pháp ngôn ngữ tự nhiên vượt ra ngoài các quy tắc phi ngữ cảnh đơn thuần — ngữ pháp kết hợp cây, ngữ pháp phạm trù và ngữ pháp dựa trên hợp nhất — nhằm cân bằng giữa khả năng biểu đạt và khả năng phân tích cú pháp.

Definition

Một hình thức ngữ pháp là một hệ thống để xác định các cấu trúc hợp lệ của một ngôn ngữ, được đặc trưng bởi sức mạnh tạo sinh của nó, các thiết bị biểu diễn của nó và độ phức tạp của việc phân tích cú pháp nó.

Scope

Bao gồm các hình thức được thiết kế để nắm bắt các hiện tượng cú pháp mà ngữ pháp phi ngữ cảnh xử lý một cách khó khăn: ngữ pháp kết hợp cây (TAG), ngữ pháp phạm trù tổ hợp (CCG), và ngữ pháp dựa trên hợp nhất hoặc đặc trưng như HPSG và LFG. Nó đề cập đến khái niệm ngữ cảnh nhạy cảm nhẹ và sự đánh đổi giữa tính đầy đủ về ngôn ngữ và tính khả thi về mặt tính toán. Các thuật toán phân tích cú pháp cụ thể cho thành phần và phụ thuộc được đề cập riêng.

Core questions

• Những hiện tượng cú pháp nào thúc đẩy việc vượt ra ngoài ngữ pháp phi ngữ cảnh?
• Ngữ cảnh nhạy cảm nhẹ là gì và tại sao nó được coi là sức mạnh phù hợp cho ngôn ngữ?
• Làm thế nào để hợp nhất và các đặc trưng cho phép ngữ pháp chia sẻ thông tin trên một cấu trúc?
• Làm thế nào các hình thức này đánh đổi khả năng biểu đạt với việc phân tích cú pháp hiệu quả?

Key concepts

• ngữ pháp kết hợp cây
• ngữ pháp phạm trù tổ hợp
• ngữ pháp hợp nhất
• cấu trúc đặc trưng
• ngữ cảnh nhạy cảm nhẹ
• HPSG
• LFG
• phân loại phụ

Key theories

Ngữ cảnh nhạy cảm nhẹ

Một lớp ngữ pháp, bao gồm TAG và CCG, vượt quá sức mạnh phi ngữ cảnh vừa đủ để nắm bắt các phụ thuộc chéo nối tiếp trong khi vẫn có thể phân tích cú pháp trong thời gian đa thức.

Ngữ pháp phạm trù tổ hợp

Một hình thức dựa trên từ vựng trong đó các từ mang các phạm trù chức năng được kết hợp bởi một tập hợp nhỏ các bộ kết hợp, liên kết chặt chẽ cú pháp với ngữ nghĩa cấu thành.

Ngữ pháp dựa trên hợp nhất

Các hình thức như HPSG biểu diễn các đối tượng ngôn ngữ dưới dạng cấu trúc đặc trưng có kiểu được kết hợp bằng hợp nhất, nắm bắt sự phù hợp và phân loại phụ một cách khai báo.

History

Trong suốt những năm 1980 và 1990, các nhà ngôn ngữ học đã phát triển các hình thức phong phú hơn ngữ pháp phi ngữ cảnh để nắm bắt sự phù hợp, các phụ thuộc tầm xa và giao diện cú pháp–ngữ nghĩa. Ngữ pháp kết hợp cây của Joshi đã hình thức hóa tính ngữ cảnh nhạy cảm nhẹ, trong khi CCG và HPSG đưa ra các lựa chọn thay thế dựa trên từ vựng và hợp nhất vẫn có ảnh hưởng trong cả công trình lý thuyết và tính toán.

Debates

Khả năng biểu đạt so với tính khả thi

Các hình thức mạnh hơn có thể mô tả nhiều hiện tượng hơn nhưng có nguy cơ phân tích cú pháp không khả thi; lĩnh vực này thường ưu tiên sức mạnh tối thiểu đủ để bao quát dữ liệu, do đó có sự quan tâm đến các ngữ pháp ngữ cảnh nhạy cảm nhẹ.

Key figures

• Aravind Joshi
• Mark Steedman
• Carl Pollard
• Ivan Sag

Seminal works

• joshi1997
• steedman2000
• pollard1994

Frequently asked questions

Tại sao không chỉ sử dụng ngữ pháp phi ngữ cảnh cho mọi thứ?

Một số cấu trúc, như các phụ thuộc chéo nối tiếp trong tiếng Hà Lan và tiếng Đức Thụy Sĩ, đã được chứng minh là không thể được tạo ra bởi ngữ pháp phi ngữ cảnh. Các hình thức ngữ cảnh nhạy cảm nhẹ bổ sung đủ sức mạnh để xử lý chúng trong khi vẫn duy trì khả năng phân tích cú pháp hiệu quả.