knowledgerepresentation

#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/

#lisp #acl2 #prolog #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.