Inferenční programování - Inferential programming - Wikipedia
 | tento článek ne uvést žádný Zdroje. (Prosince 2009) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
V běžném počítačovém programování si programátor pamatuje zamýšlené výsledky programu a pečlivě konstruuje počítačový program, aby těchto výsledků dosáhl. Inferenční programování označuje (stále většinou hypotetické) techniky a technologie umožňující inverzi. Inferenční programování by umožnilo programátorovi popsat zamýšlený výsledek počítači pomocí metafory, jako je a fitness funkce, testovací specifikaci nebo logickou specifikaci a pak by počítač zkonstruoval svůj vlastní program tak, aby splňoval dodaná kritéria.
Během 80. let se přístupy k dosažení inferenčního programování většinou točily kolem technik logiky odvození. Dnes se tento termín někdy používá v souvislosti s evoluční výpočet techniky, které umožňují počítači vyvinout řešení v reakci na problém představovaný jako funkce fitness nebo odměna.
- PROLOG
- Umělá inteligence
- Genetické programování
- Strojové učení
- Umělý život
- Vývoj
- Metaprogramování
- Logické programování