AI solving Knight-or-Knave puzzles using propositional logic

knight or knave?

Ai Knights or Knaves

CS50IntroToAI

Knowledge-representation focused implementation of the "Knights and Knaves" puzzle.

Program can solve the famous Knight of Knave questions.

AI solves Knight or Knave logic puzzle using 'Propositional Logic'

Knight and Knave game is where each player gives few statements. Each player could either be Knight or Knave. Knight always says the truth and Knave always lie. The program uses Knowledge, query and model check logic to find if the players are Knight or Knave.

Using propositional logic to figure out if characters are knights or knaves.

In a Knights and Knaves puzzle, the following information is given: Each character is either a knight or a knave. A knight will always tell the truth: if knight states a sentence, then that sentence is true. Conversely, a knave will always lie: if a knave states a sentence, then that sentence is false.

Harvardx CS50 Knights Project: This project implements a propositional logic-based solver for the classic Knights and Knaves puzzles using Python. In these puzzles: Knights always tell the truth. Knaves always lie. The solver leverages logical reasoning to deduce the roles (knight or knave) of each character based on their statements.

A logical puzzle solver that takes information to logically determine who is a knight or a knave

in this project I use AI to make knowledge representation to solve the Knights and Knaves puzzle, the following information is given: Each character is either a knight or a knave. A knight will always tell the truth: if knight states a sentence, then that sentence is true. Conversely, a knave will always lie: if a knave states a sentence, then that sentence is false. The objective of the puzzle is, given a set of sentences spoken by each of the characters, determine, for each character, whether that character is a knight or a knave. For example, consider a simple puzzle with just a single character named A. A says “I am both a knight and a knave.” Logically, we might reason that if A were a knight, then that sentence would have to be true. But we know that the sentence cannot possibly be true, because A cannot be both a knight and a knave – we know that each character is either a knight or a knave, but not both. So, we could conclude, A must be a knave.

We have 2 types of characters, knights who always tell the truth and knaves who always lie. Given a set of sentences spoken these type of characters, the program has to determine whether that characters are a knight or a knave

This project is a Python-based solver for Knights and Knaves logic puzzles, based on the classic puzzles by Raymond Smullyan. In these puzzles, each character is either a knight, who always tells the truth, or a knave, who always lies.

Solves Raymond Smullyan's "Knights and Knaves" puzzles using Python and AI. Represents character statements as propositional logic, then applies model checking to determine if each character is a knight (truth-teller) or knave (liar). Showcases AI's power in deductive reasoning.

A Python project that solves classic Knights and Knaves puzzles using logical inference. Characters in these puzzles are either knights, who always tell the truth, or knaves, who always lie. The project uses a symbolic logic approach to determine each character’s identity based on their statements.

The finished code solves Knights and Knaves puzzles. In these puzzles, each character is either a knight (always tells the truth) or a knave (always lies). The code takes what each character says, turns those words into true/false rules, and then figures out who is telling the truth and who is lying.

The objective of the puzzle is, given a set of sentences spoken by each of the characters, determine, for each character, whether that character is a knight or a knave.

The purpose of this project is that you are given a set of sentences spoken by each of the characters, determine, for each character, whether that character is a knight or a knave. There are 4 puzzels to solve.

A Python-based logic puzzle solver where characters may be Knights (truth-tellers) or Knaves (liars). It uses propositional logic with classes like `And`, `Or`, `Not`, `Implication`, and `Biconditional`. Four puzzles analyze statements by characters to deduce their nature using the `model_check` function to verify logical entailment.

This was just a quick Java program I made that provides character drawing prompts based around five ranks (king, queen, knight wizard, and knave) with different themes attached to them. As you go through the different themes, you will notice that some of them are very similar, almost to the point of being duplicates. However, this was intentional as it helps challenge my brain to come up with more distinct ways or different designs for characters with similar themes.