Phát hiện và/hoặc nhận dạng sai lầm hợp pháp bằng xử lý ngôn ngữ tự nhiên

Question

Có một gói hoặc phương pháp luận tồn tại để phát hiện các đối số logic không hoàn chỉnh trong văn bản không?

Tôi đã hy vọng một cái gì đó sẽ làm việc cho văn bản mà không được viết trong một thiết lập học tập (chẳng hạn như một lớp logic). Nó có thể là một căng nhưng tôi muốn một cái gì đó có thể xác định nơi logic đang cố gắng được sử dụng và xác định các lỗi hợp lý. Việc sử dụng có thể cho điều này sẽ đánh dấu các lỗi trong các bài viết biên tập.

Tôi không cần bất kỳ thứ gì được đánh bóng. Tôi không ngại làm việc để phát triển một cái gì đó, vì vậy tôi đang thực sự tìm kiếm những gì hiện có trong tự nhiên bây giờ.

Answer 1

Đó là một vấn đề khó khăn, bởi vì bạn sẽ phải lập bản đồ ngôn ngữ tự nhiên cho một số biểu diễn logic, và đối phó với sự mơ hồ trong quá trình này.

Attempto Project có thể thú vị cho bạn. Nó có một số tools mà bạn có thể thử trực tuyến. Đặc biệt, RACE có thể đang làm điều bạn muốn làm. Nó kiểm tra tính thống nhất trên các xác nhận đã cho. Nhưng vấn đề lớn hơn ở đây là biến đổi chúng thành dạng logic.

Answer 2

Đối với một cấu trúc liên kết của các tiên đề logic, OpenCyc và các bản thể luận Cyc thương mại đầy đủ có thể đáng để điều tra. CycML được sử dụng như một ngôn ngữ để mô hình hóa các xác nhận hợp lý, và động cơ Cyc có khả năng suy luận hợp lý. Có thể tìm thấy nguồn cho OpenCyc trong OpenCyc SourceForge project. Cyc Wikipedia page cũng có thông tin tuyệt vời.

Answer 3

Vâng, đây là một vấn đề rất khó chịu. Tôi khuyên bạn nên tập trung vào một miền hẹp. Ví dụ, nếu bạn đang tìm kiếm lỗi logic trong xác định ung thư, bạn phải tập trung vào loại ung thư nào cũng như bạn đang cố gắng giải quyết ví dụ: kế hoạch điều trị đúng, quan sát chính xác, thủ tục chính xác, xác định giai đoạn chính xác, v.v. Sau đó, bạn phải tìm phân loại hoặc bản thể luận cho bệnh ung thư cụ thể đó, ví dụ: Medline. Vì vậy, ví dụ, bạn có thể sẽ phải tập trung vào ung thư phổi CHỈ và sau đó chỉ là một tập hợp con của các loại ung thư phổi và chỉ quan sát cho thấy ung thư phổi. Sau đó, bạn sẽ có xác định corpus của bạn, cây kiến ​​thức, các mối quan hệ thực thể và sau đó lo lắng về phát hiện phủ định, giả thuyết và phát hiện chủ đề. Nếu Y tế không nổi thuyền của bạn, tôi nghe một tên miền đầy thử thách khác cho lỗi logic là ngành luật/pháp lý.