3 ms·
Very interesting story (more context in the related wikipedia entry). Makes you wonder where we are today in terms of computing "generations". > It seemed that
by openrisk 2y ago
Very interesting story (more context in the related wikipedia entry). Makes you wonder where we are today in terms of computing "generations".
> It seemed that logic programming was a key missing connection between knowledge engineering and parallel computer architectures
This is still missing. And both ingredients, "logic programming" and "parallel computing" are rather arcane and underdeveloped, so many decades later.
The current AI hyperventilation illustrates the impact quite nicely (algorithms and models have no connection to "ground truth", they need expensive and hard to use HPC hardware etc.)
On the other hand we had in the meantime the internet and mobile revolutions. While those are not so fundamental from a pure computing perspective, they have increased the utility of the digital domain tremendously.
It is conceivable that a fifth generation architecture is lurking somewhere in the chaotic mess that is the current technical landscape. E.g. the internet does enable a certain form of massive parallel processing on commodity hardware. And overtures toward "logic programming" are even long-time W3C standards...
But in the end we know by now painfully well that digital technology is not progressing monotonically. By its nature it gets embedded deeply into societies and thus its state reflects progress (or regression) of society as much as technical breakthroughs.
- zozbot234 2y agoThe modern take on "logic programming" is just database query, and that can definitely be parallelized. The issue there is that non-trivial logical inference over a knowledge base (the kind of thing that was popular wrt. expert systems and "fifth generation" proposals) turns out to be computationally challenging unless you heavily restrict the kinds of "inferences" that can be done. I'm not sure that this was clearly understood back in the 1980s or so.