Mathematical induction is a proof technique used to establish properties of natural numbers. One shows that the property holds for 0 (the base case), and that if it holds for a number n, then it also holds for its successor n + 1 (the induction step).
The intuition is akin to a row of dominoes: if the first one falls, and each falling domino causes the next to fall, then all of them will fall.
#MathematicalInduction #Logic #Mathematics #KnowledgeRepresentation
Hello Mastodon! 👋
This is bLogic.ink, a project dedicated to providing accessible content about logic, formal reasoning, and knowledge representation. Expect concise and intuitive examples, visualizations, and occasional in-depth explorations of KR, semantics, and AI.
Follow if you enjoy: logic, proofs, KR, modal/epistemic reasoning, semantics, and similar topics.
New posts soon!
#introduction #logic #KnowledgeRepresentation #AI
Robbe Van den Eede shares insights on #proofs and their role in #logic-based languages for #KnowledgeRepresentation, discussing the paper “A Sequent Calculus for Generalized Inductive Definitions”, co-authored with Robbe Van Biervliet and Marc Denecker, which received the Best Paper Award at LPNMR 2024.
https://blogic.ink/p/a-sequent-calculus-for-general-inductive-definitions/
Yesterday, our colleague @joerg was presenting our research for Semantic Interoperability based on the PMDcore ontology at the MaterialDigital General Assembly 2025 in Berlin, hosted by @BAMResearch
PMDco ontology: https://materialdigital.github.io/core-ontology/index-de.html
#materialsscience #digitalisation #ai #ontologies #llms #deeplearning #knowledgerepresentation #semanticweb #knowledgegraphs @KIT_Karlsruhe @fiz_karlsruhe
This article explains how to formally verify a simple vehicle controller using IDP, a first-order logic knowledge base system.
https://blogic.ink/p/simple-vehicle-controller/
This article supplements the book Demystifying Artificial Intelligence (https://www.degruyterbrill.com/document/doi/10.1515/9783111426143/html).
In spite of the ample evidence of my passing, in just under 3 hours I am going to be talking about #knowledgeRepresentation with the esteemed doctor of knowledge @shizamura about my multi-cognitive-agent #GUI + #gameOfLife #automata in #commonLisp in #eev in #emacs for #emacsconf . Questions or comments for the good doctor or sincerely yours welcome. Please boost for visibility since I was AWOL this week.
Sunday-Morning-in-Europe #peertube #live https://toobnix.org/w/gXLXQqxf5MYg1NDF2Ua6oA (every) 9am UTC.
Call for Posters: DiTraRe Symposium 2025 on the Digitalization of research.
deadline: Oct 17, 2025
CfP: https://easychair.org/cfp/DiTraRe2025
Topics:
- #KnowledgeRepresentation and #AI
- Ethical and legal challenges
- #Research #Infrastructures
- Impact on #Science and #Society
- #SmartData acquisition
- AI-based knowledge realms
- Publication cultures
#digitalization #knowledgegraphs #cfp ##ditrare #aiethics #society #digitalhumanities @fiz_karlsruhe @KIT_Karlsruhe @ITAS @AnnaJacyszyn @Feelix @lysander07
#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/
#Orgdown is better than #markdown Karl Voit #interview #programming #knowledgeRepresentation #lispyGopherClimate #emacs
#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.
#programming #formal #ontology #lisp #Sandewall #knowledgeRepresentation #article #leonardoCalculus
Leonardo Calculus Knowledge Representation: Fleshing out organism’s attributes
Adding attributes to the organism type (plant, insect and bird are all subsumed-by organism). I also add a coelacanth of type organism to a world entityfile. In my view, quite a good and informational/instructional article if I do say so. What do you think?
https://screwlisp.small-web.org/lispgames/LCKR-fleshing-out-organisms-attributes/
In his keynote, Enrico Motta from the Knowledge Media Institute at Open University, UK is presenting on Using AI to capture the representation of political discourse in news.
#isws2025 #semanticweb #AI #knowledgegraphs #ontologies #knowledgerepresentation #kr
#programming #knowledgeRepresentation #lisp #gamedev #devlog #retrospective
sharpsign
my kitten is alive (ask the cat - Heinlein)
https://screwlisp.small-web.org/lispgames/games-as-knowledge/
this one has the least gremlins. Since my game was an hour of a dandelion-random-walk-through-a-field the retrospective is also literally the code I evaluated. I'm going to continue /here/ with a sort of separate retrospective retrospective retrospective.
What I /exposed/ in my agent relevant to the game experience were:
1/?
#programming #rough #lispgamejam #knowledgeRepresentation #submission my kitten seems not to be out to play today, but codeberg renders markdown anyway
https://codeberg.org/tfw/screwlisps-kitten/src/branch/main/lispgames/last-five-hours-lispgame.page.md
Basically instead of spending a week on lispgamejam I spend two hours (starting two hours ago) resulting in this document, which is mostly things I learned personally about using my https://codeberg.org/tfw/pawn-75 (nee Sandewall).
ascii daises growing in a random walk! But in a very knowledge-y way.
#programming #knowledgeRepresentation #engineering #gamedev #lispgamejam #lisp https://screwlisp.small-web.org/programming/intro-software-individuals-knowledgebases/
in which I introduce creating knowledgebases in my #softwareIndividuals in a brief and heartwarming way. I put a new value in the entity inside the knowledgebase defining the knowledgebase to add a dependency to another knowledgebase. #intro #demo
Birds were removed from plants+insects+birds for time budget reasons.
@shizamura how far afield is my useage from what you do srsly?
Interview postponed / let's just talk about #types and #typing today's show on @dougmerritt and @vnikolov 's suggestion below.
(I'll speak a little bit to #Sandewall 's #SoftwareIndividuals #knowledgerepresentation
If anyone knows anything about #typetheory, that would be great.
https://anggtwu.net/math-b.html
https://www.hanselman.com/blog/stringly-typed-vs-strongly-typed
https://blogs.perl.org/users/ovid/2010/08/what-to-know-before-debating-type-systems.html
type links welcome
and #lisp
@shizamura possibly you can explain types of OWL to us instead of sleeping?
Since the #semanticWeb was introduced almost 25 years ago, many have dismissed it as a failure.
Charles Ivie shows that the #RDF standard and the #knowledgeRepresentation technology built on it have actually been quite successful.
More than half of the world's web pages now share semantic annotations, and the widespread adoption of knowledge graphs in enterprises and media companies is only growing as #enterpriseAI architectures mature.
#til an overlooked #zettlelkasten educator.
https://youtu.be/gQqrIxdDWWk
She clearly has years of experience #teaching and is the most concrete and methodical of the content creators on #knowledgerepresentation
Reposting for folks in #HomeSchooling , #specialneeds and #adhd followers.
#emacs #lisp #programming #technology #blog https://screw-lisp.statichost.eu/emacs/swankful-software-individuals.html #softwareIndividuals #knowledgerepresentation
Teaching my Screwlispbot softwareindividual how to l̶o̶v̶e use emacs via #commonlisp slime swank.
https://screw-lisp.statichost.eu/
Quite a lot of commentary on using-emacs-at-all.
Comments, thoughts, criticisms, website advice sought.
