Các giấy là một cuộc khảo sát tại kết quả trên thuật toán học (suy luận quy nạp) ngôn ngữ từ bộ sưu tập đầy đủ của các ví dụ tích cực và một số dữ liệu tiêu cực. Các loại khác nhau của dữ liệu tiêu cực được xem xét. Chúng tôi chủ yếu tập trung vào học tập bằng cách sử dụng (1) một cách cẩn thận chọn counterexamples (2) tiêu cực hữu hạn egative dữ liệu được cung cấp khi phỏng đoán chứa dữ liệu không có trong các ngôn ngữ mục tiêu (3) tiêu cực counterexamples thu được từ một giáo viên (chính thức, oracle), khi một người học truy vấn nhà tiên tri nếu một giả thuyết được chứa trong ngôn ngữ mục tiêu. Chúng tôi cũng tìm hiểu như thế nào ít nhất là counterexamples và counterexamples bị chặn kích thước công bằng chống lại bất kỳ counterexamples. Tác dụng của dữ liệu ngẫu nhiên tiêu cực được coi là cũng một thời gian ngắn.
đang được dịch, vui lòng đợi..
