Trong cuộc sống, con ngƣời truyền thông tin cho nhau chủ yếu là bằng ngôn ngữ tự nghiên. Ngôn ngữ tự nhiên thƣờng đa nghĩa hoặc thâm chí có lúc còn thiếu tính chính xác, nhƣng nó vẫn là phƣơng tiện chính mà con ngƣời dùng để truyền thông tin cho nhau. Với khả năng đặc biệt của mình, con ngƣời thƣờng vƣợt qua những hạn chế của ngôn ngữ tự nhiên (đa nghĩa, chiếu chính xác, không rõ ràng) và thƣờng là hiểu đúng các thông tin nhận đƣợc. Đây là điều mà máy móc chƣa thể thực hiện đƣợc. Tham vọng của các nhà khoa học là mong muốn máy móc có khả năng hiểu đƣợc ngôn ngữ tự nghiên, có khả năng suy diễn, có khả năng xử lý thông tin tƣơng tự nhƣ bộ óc con ngƣời, để con ngƣời có thể ra lệnh cho máy móc bằng ngôn ngữ tự nhiên, yêu cầu đến sự trợ giúp của máy móc mà qua đó đòi hỏi máy móc phải xử lý các dữ liệu mang nhiều ý nghĩa khác nhau, có khi thiếu tính chính xác, chƣa đƣợc xác định một cách rõ ràng giống nhƣ ngôn ngữ tự nhiên.
Ví dụ nhƣ chúng ta có thể yêu cầu máy móc chỉ ra một đƣờng đi “tốt nhất” để đi từ vị trí A đến một ví trí B nào đó. Việc có tồn tài một đƣờng đi từ A đến B hay không thƣờng là có thể xác định một cách rõ ràng, thậm chí có thể chỉ ra nhiều đƣờng đi khác nhau để có thể đi từ A đến B. Vấn đề là xác định con đƣờng nào là “tốt nhất” để đi từ A đến B. Ở đây, ngay mệnh đề “tốt nhất” bản thân đã không đƣợc xác định một cách rõ ràng, thế nào là tốt nhất. Một con đƣờng tốt có thể là con đƣờng ngắn nhất những cũng có thể không phải vậy. Nếu đƣờng ngắn nhƣng dễ xảy ra tắc đƣờng thì chƣa hẳn đã là “tốt”, thậm chí còn “tệ” hơn con đƣờng dài nhƣng luôn thông suốt. Độ tốt của con đƣờng phụ thuộc vào nhiều yếu tố, có những yếu tố cố định và xác định đƣợc ngay từ đầu, nhƣng cũng có những yếu tố là chƣa xác định và thƣờng xuyên thay đổi ví dụ nhƣ yếu tố tắc đƣờng, sự cố bất thƣờng khiến đƣờng đi bị nghẽn,...
Để máy móc có thể hiểu và xử lý đƣợc những tri thức đƣợc diễn đạt bằng ngôn ngữ tự nhiên ngƣời ta cần phải xây dựng một lý thuyết logic toán cho phép mô tả chính xác ý nghĩa của các mệnh đề không rõ ràng, đa nghĩa. chẳng hạn nhƣ: đƣờng tốt, đƣợng rộng, đƣờng hẹp, giàu, nghèo, đắt, rẻ,... Năm 1965, Lotti
Zahden, một nhà toán học và cũng là nhà logic học ngƣời Hà Lan, đã xây dựng thành công lý thuyết tập mờ và hệ thống logic mờ. Phát minh này của Lotti Zahden cho phép ngƣời ta có thể lƣợng hóa giá trị các mệnh đề mờ, qua đó có thể truyền đạt một số thông tin cho máy móc bằng ngôn ngữ tự nhiên, có thể yêu cầu máy móc xử lý các dữ liệu mang nhiều thông tin, thiếu tính chính xác, không rõ ràng.