TAILIEUCHUNG - Báo cáo khoa học: "Machine Methods for Proving Logical Arguments Expressed in Englis"

This paper describes a COMIT program that proves the validity of logical arguments expressed in a restricted form of ordinary English. Some special features include its ability to translate an input argument into logical notation in four progressively refined ways, of which the first pertains to propositional logic and the last three to first-order functional logic; and its ability in many cases to select the "correct" logical translation of an argument, ., the translation that yields the simplest proof | Mechanical Translation and Computational Linguistics and 4 June and October 1965 Machine Methods for Proving Logical Arguments Expressed in English by Jared L. Darlington Research Laboratory of Electronics Massachusetts Institute of Technology This paper describes a COMIT program that proves the validity of logical arguments expressed in a restricted form of ordinary English. Some special features include its ability to translate an input argument into logical notation in four progressively refined ways of which the first pertains to propositional logic and the last three to first-order functional logic and its ability in many cases to select the correct logical translation of an argument . the translation that yields the simplest proof. The logical evaluation part of the program uses a proof procedure algorithm that is an amalgam of the one-literal clause rule of Davis-Putnam and the matching algorithm of Guard. It is particularly efficient in proving theorems whose matrices in conjunctive normal form contain one or more one-literal clauses atomic wffs but it will also prove theorems whose matrices contain only polyliteral clauses. The program has been run on the . 7094 computers at . and utilizes the time-sharing facilities provided by Project MAC and the Computation Center. Introduction A considerable amount of work has recently been done in the general area of automatic translation of ordinary language into the terminology of symbolic logic. We shall not attempt here to give a general description of this work since it has already been summarized and discussed in some detail by R. F. Simmons in section 7 of his excellent report Answering English Questions by Computer a Survey 1. Suffice it to say that no one has essayed the construction of a general logic translation program that would taking account of all the amphibolies and polysemies of natural language unambiguously parse any English sentence and translate it into the notation of .

• Báo cáo khoa học
• Machine Methods for Proving Logical Arguments Expressed in Englis
• Jared L
• Darlington
• Research Laboratory of Electronics
• báo cáo khoa học
• báo cáo ngôn ngữ
• ngôn ngữ tự nhiên
• Bài giảng Xử lý ngôn ngữ tự nhiên
• Xử lý ngôn ngữ tự nhiên
• Kỹ thuật lập trình
• Mô hình ngôn ngữ
• Mô hình n gram
• Dịch máy
• Phương pháp dịch máy
• Hiểu ngôn ngữ
• Phân loại tin tự động
• Tạo chí tin học
• Điều khiển học
• Truy vấn ngôn ngữ tự nhiên
• Phép dịch truy vấn ngôn ngữ tự nhiên
• Truy vấn SQL
• Văn phạm ngữ nghĩa
• Xử lý nhập nhằng ngữ nghĩa
• Xử lý ngữ nghĩa
• Phân tích ngữ nghĩa
• Biểu diễn vị từ
• Thuộc tính về sự kiện
• Thuộc tính về sự kiện
• Xử lý ngôn ngữ
• Natural Language Processing
• Ngôn ngữ lập trình
• Nhập nhằng cấu trúc
• Tri thức về ngôn ngữ
• Mô hình ngôn ngữ Google Book N grams
• Mô hình ngôn ngữ KenLM
• Phương pháp làm mịn
• Bài toán PTCP
• Phân tích cú pháp
• Cấu trúc ngữ pháp
• Phân tích cú pháp xác suất
• CKY kết hợp xác suất
• Văn phạm phi ngữ cảnh xác suất
• Hình thái học
• Gán nhãn từ loại
• Ngôn ngữ tự nhiên trong dịch máy
• Hệ thống dịch máy
• Phương pháp xây dựng bảng từ
• Tác từ
• Conditional random fields
• Nhận dạng thực thể có tên
• Đối tượng vật lý trừu tượng
• Phân lớp văn bản
• Biểu diễn nhị phân
• Ma trận từ văn bản
• Wolfram Alpha
• Trích rút thông tin
• Phương pháp Snowball