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
bLogic.ink
FIZ KDAI Research Group
screwlisp
DiTraRe
Lispy Gopher Climate w/screwlisp