(Eng:
General Problem Solver: GPS) Inferentieprogramma dat kan worden gebruikt voor het oplossen van algemene problemen. GPS is ontwikkeld rondom 1960 met het doel bewijzen te vinden voor problemen betreffende de propositionele logica. Daarbij wordt gebruik gemaakt van het afzoeken van heuristische boomstructuren. Het programma past een midd...
Gevonden op
https://www.angelfire.com/ca/vlietstra/KNSTINTL.pdf
(Eng:
General Problem Solver: GPS) Inferentieprogramma dat kan worden gebruikt voor het oplossen van algemene problemen. GPS is ontwikkeld rondom 1960 met het doel bewijzen te vinden voor problemen betreffende de propositionele logica. Daarbij wordt gebruik gemaakt van het afzoeken van heuristische boomstructuren. Het programma past een midd...
Gevonden op
https://www.angelfire.com/ca/vlietstra/KNSTINTL.pdf
Geen exacte overeenkomst gevonden.
