Inconsistency Robustness in Logic Programs · HackerPapers discussions

Inconsistency Robustness in Logic Programs — mentioned by kragen

Sat, 04 Jan 2025 13:45:09 GMT

It mentions the names of message-passing and the well-known actors model, but the ideas it engages with are the ideas of io_uring, which is a system for asynchronous I/O using a message queue. The two designs are not unrelated, and you could write an interesting post exploring the relationships between them, but unfortunately the author did not do that, because his engagement with the ideas of the actor model and message-passing was limited to quoting one of Hewitt and Baker's famous early attempts to define actors. Instead, he jumps into salesman hypester mode with "The game has changed,"…

Paper and discussion history. A mention is not an endorsement.

Inconsistency Robustness in Logic Programs — mentioned by ProfHewitt

Wed, 24 Feb 2021 17:13:58 GMT

Thanks Tom! Being a linguist of note, Colmerauer evidently didn't know (or didn't want to admit) that Kowalski had been carefully studying Planner and Shrdlu (Winograd's Phd thesis based on Planner) for quite a while in Edinburgh, where he felt quite in the minority defending pure mathematical logic against the onslaught of Popler (Pop2 Planner), etc. The formalization issue was addressed by the invention of Actors for all of digital computation including many computations that cannot be performed using pure logic programming (including Colmerauer's Prolog). Furthermore, many practical…

Paper and discussion history. A mention is not an endorsement.

Inconsistency Robustness in Logic Programs — mentioned by andrekandre

Tue, 23 Feb 2021 22:33:11 GMT

thats interesting, one slightly different link i found was https://arxiv.org/pdf/0904.3036.pdf seems like your link is versioned (v22) and the one i found was unversioned... i wonder which one is the latest...?

Paper and discussion history. A mention is not an endorsement.

Inconsistency Robustness in Logic Programs — mentioned by inetsee

Tue, 23 Feb 2021 22:02:14 GMT

Thank you very much for helping me find this paper, but I am still somewhat confused. When I couldn't find the paper in arxiv, it didn't occur me at first to go back to the beginning and use a general search engine. When I did plug the title into DDG it took me to arxiv, which had the expected abstract and a working link to the pdf. But doing another search in arxiv returned "No Results", even though I had put in the exact title from the abstract I was just looking at. A little more digging uncovered the fact that the paper in question has gone through 41 revisions, and somewhere along the…

Paper and discussion history. A mention is not an endorsement.

Inconsistency Robustness in Logic Programs — mentioned by ProfHewitt

Tue, 23 Feb 2021 20:40:10 GMT

As Kowalski has acknowledged and reported by others, Prolog was invented as a subset of Planner that only implemented backward chaining. See the following for further information: "Middle History of Logic Programming: Resolution, Planner, Prolog and the Japanese Fifth Generation Project" ArXiv 2009. https://dev.arxiv.org/abs/0904.3036

Paper and discussion history. A mention is not an endorsement.