Dyskusja:Wnioskowanie w przód
Z Wikipedii
- zgadzam się, że tłumaczenie 'wnioskowanie w przód' jest niedobre, czy ktoś zna lepsze, funkcjonujące w zakresie automatycznego dowodzenia?
- jeśli mówimy na przykład o Prologu, wtedy 'fakt' oznacza zdanie prawdziwe, w związku z tym uprawnione jest moim zdaniem mówienie o 'generowaniu nowych faktów' na podstawie bazy istniejących faktów i przy użyciu bazy reguł. --Matusz
przeniesione (bo stało się bełkotem):
Algorytm taki tworzy samodzielnie hipotezę, testuje jej poprawność poprzez generowanie na podstawie tych hipotez zbiorów zdarzeń i porównywanie ich zgodności z istniejącą bazą faktów. Jeśli wynik jest niezadowalający tworzona jest kolejna hipoteza, ponownie testowana i tak aż do uzyskania zadowalającego wyniku. Następnie, tak wygenerowana hipoteza służy do automatycznego generowania zdarzeń, których nie było w pierwotnej bazie faktów.
Trzeba to poprawić, tak żeby było jednocześnie prawdziwe i zrozumiałe.
Z FOLDOCa (FOLDOC jest GFDL więc można to wszystko tłumaczyć na polski i stawiać na Wikipedie, tylko z podpisem że z FOLDOCa):
http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?logic+programming http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?C+Language+Integrated+Production+System http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?forward+chaining http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?backward+chaining