| Homepage | https://blogic.ink |
You’re designing a vehicle controller (think: a drone) that must balance against wind.
Requirement:
If the wind intensity stays constant for four consecutive time steps, the controller guarantees that the vehicle returns to the center — as shown in the animation.
How would you design and formalize such a controller?
How would you prove that it satisfies this property?
Read more in our blog post: https://blogic.ink/p/simple-vehicle-controller/
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/
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).
