knowledgerepresentation

<p><a href="/tags/bookstodon/" rel="tag">#bookstodon</a> <a href="/tags/bookreview/" rel="tag">#bookReview</a> <a href="/tags/knowledgerepresentation/" rel="tag">#knowledgeRepresentation</a> actually a chapter review. </p><p>My notes after Chapter 1: Classical Logic of The Handbook of Knowledge Representation.</p><p><a href="https://screwlisp.small-web.org/books/handbook-of-kr-ch1-logic/" rel="nofollow" class="ellipsis" title="screwlisp.small-web.org/books/handbook-of-kr-ch1-logic/"><span class="invisible">https://</span><span class="ellipsis">screwlisp.small-web.org/books/</span><span class="invisible">handbook-of-kr-ch1-logic/</span></a></p><p><a href="/tags/lisp/" rel="tag">#lisp</a> <a href="/tags/acl2/" rel="tag">#acl2</a> <a href="/tags/prolog/" rel="tag">#prolog</a> <a href="/tags/logic/" rel="tag">#logic</a></p>

<p><a href="/tags/lispygopherclimate/" rel="tag">#LispyGopherClimate</a> <a href="/tags/live/" rel="tag">#live</a><br>Missing guests! But joined by <a href="https://en.wikipedia.org/wiki/Kent_Pitman" rel="nofollow" class="ellipsis" title="en.wikipedia.org/wiki/Kent_Pitman"><span class="invisible">https://</span><span class="ellipsis">en.wikipedia.org/wiki/Kent_Pit</span><span class="invisible">man</span></a> <span class="h-card"><a href="https://mathstodon.xyz/@dougmerritt" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>dougmerritt</span></a></span> <span class="h-card"><a href="https://appdot.net/@mdhughes" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>mdhughes</span></a></span> <br><a href="https://communitymedia.video/w/2YtDzQ55UsgSfuVqoexPAZ" rel="nofollow" class="ellipsis" title="communitymedia.video/w/2YtDzQ55UsgSfuVqoexPAZ"><span class="invisible">https://</span><span class="ellipsis">communitymedia.video/w/2YtDzQ5</span><span class="invisible">5UsgSfuVqoexPAZ</span></a></p><p>The <a href="/tags/ansi/" rel="tag">#ANSI</a> <a href="/tags/commonlisp/" rel="tag">#commonLisp</a> committee standards process conversation between <span class="h-card"><a href="https://ieji.de/@vnikolov" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>vnikolov</span></a></span> and <span class="h-card"><a href="https://climatejustice.social/@kentpitman" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>kentpitman</span></a></span> , also <a href="/tags/climate/" rel="tag">#climate</a> <a href="/tags/climatecrisis/" rel="tag">#climateCrisis</a> haiku and things.</p><p>Some notes about the <a href="/tags/knowledgerepresentation/" rel="tag">#knowledgeRepresentation</a> handbook apropos <a href="/tags/lisp/" rel="tag">#lisp</a> <a href="/tags/programming/" rel="tag">#programming</a>.</p><p><a href="https://screwlisp.small-web.org/" rel="nofollow"><span class="invisible">https://</span>screwlisp.small-web.org/</a></p>

<p>In spite of the ample evidence of my passing, in just under 3 hours I am going to be talking about <a href="/tags/knowledgerepresentation/" rel="tag">#knowledgeRepresentation</a> with the esteemed doctor of knowledge <span class="h-card"><a href="https://ciberlandia.pt/@shizamura" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>shizamura</span></a></span> about my multi-cognitive-agent <a href="/tags/gui/" rel="tag">#GUI</a> + <a href="/tags/gameoflife/" rel="tag">#gameOfLife</a> <a href="/tags/automata/" rel="tag">#automata</a> in <a href="/tags/commonlisp/" rel="tag">#commonLisp</a> in <a href="/tags/eev/" rel="tag">#eev</a> in <a href="/tags/emacs/" rel="tag">#emacs</a> for <a href="/tags/emacsconf/" rel="tag">#emacsconf</a> . Questions or comments for the good doctor or sincerely yours welcome. Please boost for visibility since I was AWOL this week.</p><p>Sunday-Morning-in-Europe <a href="/tags/peertube/" rel="tag">#peertube</a> <a href="/tags/live/" rel="tag">#live</a> <a href="https://toobnix.org/w/gXLXQqxf5MYg1NDF2Ua6oA" rel="nofollow" class="ellipsis" title="toobnix.org/w/gXLXQqxf5MYg1NDF2Ua6oA"><span class="invisible">https://</span><span class="ellipsis">toobnix.org/w/gXLXQqxf5MYg1NDF</span><span class="invisible">2Ua6oA</span></a> (every) 9am UTC.</p>

<p><a href="/tags/lispygopherclimate/" rel="tag">#lispyGopherClimate</a> Tuesday-evening-in-the-americas (0UTC Wed.) <a href="/tags/archive/" rel="tag">#archive</a> <a href="/tags/peertube/" rel="tag">#peertube</a><br><a href="https://communitymedia.video/w/iXYav8oAJHD2SwdGgjPEgo" rel="nofollow" class="ellipsis" title="communitymedia.video/w/iXYav8oAJHD2SwdGgjPEgo"><span class="invisible">https://</span><span class="ellipsis">communitymedia.video/w/iXYav8o</span><span class="invisible">AJHD2SwdGgjPEgo</span></a></p><p><a href="/tags/climatecrisis/" rel="tag">#climateCrisis</a> <a href="/tags/haiku/" rel="tag">#haiku</a> from <span class="h-card"><a href="https://climatejustice.social/@kentpitman" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>kentpitman</span></a></span> </p><p><span class="h-card"><a href="https://fe.disroot.org/users/ramin_hal9001" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>ramin_hal9001</span></a></span> on the kill-a-billion-people-using-the-climate-crisis <a href="/tags/3e/" rel="tag">#3e</a> style big business conversations happening exposed by the Epstein stuff. w t h ! <a href="/tags/doctorstrangelove/" rel="tag">#doctorStrangelove</a> </p><p>Safety from scraping - <a href="/tags/i2pd/" rel="tag">#i2pd</a> <a href="/tags/i2p/" rel="tag">#i2p</a> </p><p><a href="/tags/commonlisp/" rel="tag">#commonLisp</a> conditions <a href="/tags/gopher/" rel="tag">#gopher</a></p><p>I joined <a href="https://ontologforum.com/" rel="nofollow"><span class="invisible">https://</span>ontologforum.com/</a> <a href="/tags/knowledgerepresentation/" rel="tag">#knowledgeRepresentation</a> </p><p>Chat in <a href="/tags/lambdamoo/" rel="tag">#lambdaMOO</a>! <span class="h-card"><a href="https://appdot.net/@mdhughes" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>mdhughes</span></a></span> <span class="h-card"><a href="https://social.sdf.org/@rat" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>rat</span></a></span> <a href="/tags/technology/" rel="tag">#technology</a></p>