#LispyGopherClimate #live
Missing guests! But joined by https://en.wikipedia.org/wiki/Kent_Pitman @dougmerritt @mdhughes
https://communitymedia.video/w/2YtDzQ55UsgSfuVqoexPAZ
The #ANSI #commonLisp committee standards process conversation between @vnikolov and @kentpitman , also #climate #climateCrisis haiku and things.
Some notes about the #knowledgeRepresentation handbook apropos #lisp #programming.
#bookstodon #bookReview #knowledgeRepresentation actually a chapter review.
My notes after Chapter 1: Classical Logic of The Handbook of Knowledge Representation.
https://screwlisp.small-web.org/books/handbook-of-kr-ch1-logic/
#leonardoCalculus #programming #knowledgeRepresentation #KR #formal #ontology #article
Leonardo Calculus Knowledge Representation: Defining sensors sense and sense2 lispdef helper action entities
https://screwlisp.small-web.org/lispgames/LCKR-defining-sensors-sense-using-cl-series/
Introduces and demos lispdef entities which in the upper ontology are entities containing lisp forms which can/do provide its concrete programming implementation.
Tying these together is obviously great, none of this "just an ontology" and "just not an ontology" stuff.
