Editing Artificial intelligence (section)

==== Soft vs. hard computing ====
{{Main|Soft computing}}
Finding a provably correct or optimal solution is [[Intractability (complexity)|intractable]] for many important problems.<ref name="Intractability and efficiency and the combinatorial explosion"/> Soft computing is a set of techniques, including [[genetic algorithms]], [[fuzzy logic]] and neural networks, that are tolerant of imprecision, uncertainty, partial truth and approximation. Soft computing was introduced in the late 1980s and most successful AI programs in the 21st century are examples of soft computing with neural networks.