Implement double-click to replace drag-and-drop for applying inference rules. Add error messages to be displayed when an incompatible inference rule is applied.
Change the entire page background to a subtle green upon successful completion of the rules of inference puzzle. Add share links and a unique URL for direct access to the interactive.
Update the Rules of Inference Playground to display a light green background and freeze interactions upon successful completion of a proof. This state allows users to select a new puzzle.
The resolution rule was not correctly applied to derive the final conclusion. This commit ensures that the resolution rule functions as expected, allowing the user to reach the target conclusion.
Update the Rules of Inference Playground to allow users to build proofs step-by-step. Users can now add premises, select subsets of premises, and apply inference rules. The system provides feedback if a rule is not applicable and prompts the user to try again.
Update the Rules of Inference Playground to feature a single active drop zone in the center arena. The layout is changed to have premises and rules in separate columns above the arena. When a premise and rule are dropped, the system will now generate the resulting statements, removing the need for users to drag intermediate statements. The functionality to select a subset of premises for applying an inference rule has also been added. Intermediate statements below the arena have been removed.
Create a new interactive playground for practicing rules of inference under Discrete Math > Foundations. The playground will feature a three-column layout for premises, a workspace with parallel lines for derivations, and a column for relevant inference rules. Users can drag and drop elements, apply rules, and receive validation for their steps. The initial example will be based on the provided screenshot.
Implement logic to detect contradictory answers in the computer's question-answering mode. If contradictions are found, the game will abort and prompt the user to restart.
The AI fixed a bug in the question-based guessing mode where answering "No" to a specific number query (e.g., "is the number 21?") incorrectly greyed out all options. The game now correctly handles such queries by only eliminating the specified number.
The AI's strategy for answering questions in the guessing game has been refined to be more strategically optimal. Previously, when asked "is the number not divisible by 7?" and the answer was "No", the AI would grey out all numbers not divisible by 7. This commit corrects the logic to grey out only the multiples of 7, aligning with the "No" answer to the negated question. This ensures that the AI's responses are more precise and lead to a more efficient search space reduction.
Update the guessing game to handle user-provided questions and optimize computer-generated questions. The game will now grey out numbers divisible by 10 based on user input. Additionally, the computer will prioritize questions that maximize the remaining search space, ensuring a longer guessing period for the user. The "too high/too low" feedback is removed, relying solely on user questions for deduction.
Add two new modes to the guessing game: one where the user guesses the number using arbitrary yes/no questions, and another where the computer guesses the number using random, linear, or binary search.
Implement a guessing game with user-selectable range via slider. Includes two modes: user guesses computer's number, and computer guesses user's number using random, linear, or binary search strategies.
The graph now occupies the full screen width, and approximately one-third of the edges are left without constraints to improve spacing and reduce visual clutter.
The graph has been adjusted to occupy the full width, reducing crowding. Edge labels have been clarified to explain the meaning of duplicate icons, such as two bones or two flowers side-by-side.
Improve edge label readability by using red outlines for negated conditions and rounded rectangles for specific conditions. Adjust graph layout to occupy full width for better scaling.
Recreate the Dogs and Bunny puzzle with functionality for random puzzle generation at varying difficulty levels (easy, medium, hard). Allow users to screenshot puzzles or solutions. Implement puzzle sharing via URL parameters.
Change "Statements" to "Potential Truths". Add a new zone below the arena called "Incompatible with current worldview". When a statement conflicts with the current setup, it will be moved to this zone, and it will not be possible to drag statements from this zone.
Add "Both of us are knights" statement to the interactive. Update styling for statements and their negations using different border styles and colors to represent A, B, and the statement.
Add an "Explain" button next to "Reset" in the Knights and Knaves puzzle. When clicked, this button displays an explanation for any inconsistencies found in the arena below it.
Adds the "Knights and Knaves - I" interactive to the Foundations section. The interactive features a central arena and five external boxes for statements. Dragging statements into the arena turns them green, and incompatible statements turn the arena red.
Create an N-Queens puzzle where users can place queens on an n x n chessboard. The size of the board can be adjusted using a slider. A timer can be started before placing any queens. Clicking a square places a queen, and clicking a queen removes it. Attacked squares are visually indicated.
Create a new playable puzzle based on the Sikinian Parliament problem. The puzzle features 10 individuals in a circular layout with randomly assigned enemy relationships (at most three per person). Users can color individuals blue or pink, and edges between individuals of the same color are highlighted in red if they have more than one same-colored enemy. The puzzle includes start, timer, high score, and share features, and is added to the Puzzles page.
