Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Giới thiệu
Đăng ký
Đăng nhập
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Thông tin
Điều khoản sử dụng
Quy định bảo mật
Quy chế hoạt động
Chính sách bản quyền
Giới thiệu
Đăng ký
Đăng nhập
0
Trang chủ
Luận Văn - Báo Cáo
Báo cáo khoa học
Báo cáo khoa học: "Higher-Order Coloured Unification and Natural Language Semantics"
Đang chuẩn bị liên kết để tải về tài liệu:
Báo cáo khoa học: "Higher-Order Coloured Unification and Natural Language Semantics"
Ðức Quang
83
9
pdf
Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
In this paper, we show that Higher-Order Coloured Unification - a form of unification developed for automated theorem proving - provides a general theory for modeling the interface between the interpretation process and other sources of linguistic, non semantic information. In particular, it provides the general theory for the Primary Occurrence Restriction which (Dalrymple et al., 1991)'s analysis called for. | Higher-Order Coloured Unification and Natural Language Semantics Claire Gardent Computational Linguistics Universitãt des Saarlandes D-Saarbrucken claireỗcoli.uni-sb.de Michael Kohlhase Computer Science Universităt des Saarlandes D-Saarbriicken kohlhaseỗcs.uni-sb.de Abstract In this paper we show that Higher-Order Coloured Unification - a form of unification developed for automated theorem proving - provides a general theory for modeling the interface between the interpretation process and other sources of linguistic non semantic information. In particular it provides the general theory for the Primary Occurrence Restriction which Dalrymple et al. 1991 s analysis called for. 1 Introduction It is well known that Higher-Order Unification HOU can be used to construct the semantics of Natural Language Dalrymple et al. 1991 - henceforth DSP - show that it allows a treatment of VP-Ellipsis which successfully captures the interaction of VPE with quantification and nominal anaphora Pulman 1995 Gardent and Kohlhase 1996 use HOU to model the interpretation of focus and its interaction with focus sensitive operators adverbial quantifiers and second occurrence expressions Gar-dent et al. 1996 shows that HOU yields a simple but precise treatment of corrections Finally Pinkal 1995 uses linear HOU to reconstruct underspecified semantic representations. However it is also well known that the HOU approach to NL semantics systematically overgenerates and that some general theory of the interface between the interpretation process and other sources of linguistic information is needed in order to avoid this. In their treatment of VP-ellipsis DSP introduce an informal restriction to avoid over-generation the Primary Occurrence Restriction POR . Although this restriction is intuitive and linguistically well-motivated it does not provide a general theoretical framework for extra-semantic constraints. In this paper we argue that Higher-Order Coloured Unification HOCU cf. sections 3 6 a .
TÀI LIỆU LIÊN QUAN
Kỷ yếu tóm tắt báo cáo khoa học: Hội nghị khoa học tim mạch toàn quốc lần thứ XI - Hội tim mạch Quốc gia Việt Nam
Báo cáo nghiên cứu khoa học: "Danh lục các loài thú ở khu bảo tồn thiên nhiên Pù Huống tỉnh Nghệ An và ý nghĩa bảo tồn nguồn gen quí hiếm của chúng"
Báo cáo khoa học: Hỗ trợ nâng cao năng lực quản lý chất thải sinh hoạt tại thành phố Hội An
Báo cáo nghiên cứu khoa học: "Tính năng động nghệ thuật của văn học hiện đại Việt Nam và một cách nhìn hành trình thể loại"
Báo cáo nghiên cứu khoa học: " DỊCH CHUYỂN TRUY VẤN OQL VÀO CÁC PHÉP TÍNH BAO HÀM"
Báo cáo khoa học: " Áp dụng thủ tục phân tích trong kiểm toán báo cáo tài chính"
Báo cáo nghiên cứu khoa học: "Người lính trở về sau chiến tranh với mặc cảm “ăn mày dĩ vãng’ trong tiểu thuyết Chu Lai"
Báo cáo nghiên cứu khoa học: "Khảo sát hiện tượng chuyển đổi chức năng - nghĩa của động từ tiếng Việt"
Báo cáo nghiên cứu khoa học: " BẢN CHẤT KHOA HỌC VÀ CÁCH MẠNG LÀ CỘI NGUỒN SỨC SỐNG CỦA CHỦ NGHĨA MÁC - LÊNIN"
Báo cáo khoa học: " CẢI TIẾN CÁC THUẬT TOÁN MƯỢN VÀ KHOÁ KÊNH TẦN SỐ MẠNG DI ĐỘNG TẾ BÀO"
crossorigin="anonymous">
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.