Presented by: Alon Dean Ron Moisescu Supervised by: Dr. Rachel Ben-Eliyahu - Zohary.

Slides:



Advertisements
Similar presentations
Teaching with Immersive Gaming: CPD 2 Using the NEnet Twigging Slide.
Advertisements

Access 2007 ® Use Databases How can Microsoft Access 2007 help you structure your database?
Methods of Proof Chapter 7, second half.. Proof methods Proof methods divide into (roughly) two kinds: Application of inference rules: Legitimate (sound)
Methods of Proof Chapter 7, Part II. Proof methods Proof methods divide into (roughly) two kinds: Application of inference rules: Legitimate (sound) generation.
Murder Mystery.
EXPERT SYSTEMS apply rules to solve a problem. –The system uses IF statements and user answers to questions in order to reason just like a human does.
Database Management System
Toolbox Mirror -Overview Effective Distributed Learning.
Proof methods Proof methods divide into (roughly) two kinds: –Application of inference rules Legitimate (sound) generation of new sentences from old Proof.
Methods of Proof Chapter 7, second half.
© Pearson Education Limited, Chapter 12 Physical Database Design – Step 3 (Translate Logical Design) Transparencies.
Key Stone Problem… Key Stone Problem… next Set 22 © 2007 Herbert I. Gross.
A fill-in-the-blank tool that guides you through picking a topic, searching the Internet, gathering good Internet links, and turning them into online learning.
Mr. Justin “JET” Turner CSCI 3000 – Fall 2015 CRN Section A – TR 9:30-10:45 CRN – Section B – TR 5:30-6:45.
Pre-Lab 15B: Periodic Table Challenge
PHP meets MySQL.
Lecture 7 Integrity & Veracity UFCE8K-15-M: Data Management.
INTRODUCTION TO ARTIFICIAL INTELLIGENCE COS302 MICHAEL L. LITTMAN FALL 2001 Satisfiability.
Microsoft ® Office Access ™ 2007 Training Datasheets I: Create a table by entering data ICT Staff Development presents:
Emily DeAngelis Megan Wolf AP Stat Final Project.
Class Project Due at end of finals week Essentially anything you want, so long as its AI related and I approve Any programming language you want In pairs.
Your Task Mr. Boddy—appareantly the victim of foul play—is found in one of the rooms or his mansion. To win, you must determine the answers to these three.
Access 2007 ® Use Databases How can Microsoft Access 2007 help you structure your database?
Engineering Problem from Yesterday’s class Did you…  Brainstorm?  Draw a sketch?  Design before building?  Make a model?  Keep it simple…  Just to.
Information Building and Retrieval Using MySQL Track 3 : Basic Course in Database.
Logical Agents Chapter 7. Knowledge bases Knowledge base (KB): set of sentences in a formal language Inference: deriving new sentences from the KB. E.g.:
Slide Copyright © 2008 Pearson Education, Inc. Publishing as Pearson Addison-Wesley A set of equations is called a system of equations. The solution.
© Copyright 2008 STI INNSBRUCK Intelligent Systems Propositional Logic.
Introduction to Database Systems Exam Preparation.
Clue Project Overview Jack T, Adam B, Ben I. Information on CLUE Power point This is a Who did it with what and where.
Objective: Objective: To solve multistep probability tasks with the concept of binomial distribution CHS Statistics.
Welcome to the Dirty Crimes UI Prototype (If you are not viewing this in Slide Show mode, click the “Slide Show” menu and choose “View Show”.) This prototype.
Heuristics for Efficient SAT Solving As implemented in GRASP, Chaff and GSAT.
1 Propositional Logic Limits The expressive power of propositional logic is limited. The assumption is that everything can be expressed by simple facts.
PHP Form Processing * referenced from
Logical Agents Chapter 7. Outline Knowledge-based agents Propositional (Boolean) logic Equivalence, validity, satisfiability Inference rules and theorem.
Students. Logic and Reasoning. Must be math class.
Proof Methods for Propositional Logic CIS 391 – Intro to Artificial Intelligence.
REU 2007-ParSat: A Parallel SAT Solver Christopher Earl, Mentor: Dr. Hao Zheng Department of Computer Science & Engineering Introduction Results and Conclusions.
Roommates Carlos Csiszer Brooke Gallagher Daniel Katz Madeline McCann Trinity Sheppard Cristian Taveras.
IN THE HOUSE /WATCH?V=AAH5-SA-32Y /WATCH?V=AAH5-SA-32Y Notes 9/21/15.
Logical Agents. Outline Knowledge-based agents Logic in general - models and entailment Propositional (Boolean) logic Equivalence, validity, satisfiability.
Lesson Study Group B February 2012
A Multiperiod Production Problem
EA C461 – Artificial Intelligence Logical Agent
Chapter 5: The Art of Ensuring Integrity
A useful reduction (SAT -> game)
Instructor Materials Chapter 5: The Art of Ensuring Integrity
Accounting Information Systems 9th Edition
Logics for Data and Knowledge Representation
CS 416 Artificial Intelligence
Objectives Find terms of a geometric sequence, including geometric means. Find the sums of geometric series.
Pasa números Divide students in to teams and have each team sit in a row. Give each student a dry erase marker and something to erase with. Each team gets.
Instructor Materials Chapter 5: The Art of Ensuring Integrity
Witzzle Pro The Rules of the Game.
Welcome to American Culture Quiz Show
Methods of Proof Chapter 7, second half.
Welcome to British Life Quiz Show
Warm Up Problem of the Day Lesson Presentation Lesson Quizzes.
Geometric Sequences and Series
Lesson 12–3 Objectives Be able to find the terms of an ARITHMETIC sequence Be able to find the sums of arithmetic series.
Starter.
What is Clue? Clue is a murder mystery game!. What is Clue? Clue is a murder mystery game!
CS534 Spring 2019: Logic Based Systems with Minesweeper
Rooms of a House “Where is it?” Game.
Game Description Player 1: Decides on integer x > 0
Assertions and Triggers
Place 4-digit numbers on landmarked lines and round
Security - Forms Authentication
Pre-Class Wednesday On a scale of 1 to 10, how would you rate your computer skills?
Presentation transcript:

Presented by: Alon Dean Ron Moisescu Supervised by: Dr. Rachel Ben-Eliyahu - Zohary

Web-based Clue game + Automatic player2 Introduction: Background – The Clue Project objectives Tools Algorithm Background The algorithm

Web-based Clue game + Automatic player3 A murder was committed – Your goal is to find out who, where and how committed the murder There are 21 cards, 6 Weapons, 6 Characters and 9 Rooms One card of each type is chosen at random and hidden in an envelope - this is the solution to the mystery The rest of the cards are mixed and divided between the players

Web-based Clue game + Automatic player4 Each player, in his turn, asks a question. For example: Do you have Mr. Green, Knife or Billiard Room? The question passes between the players until an answer is found The player who guesses which cards were hidden in the envelope is the winner

Web-based Clue game + Automatic player5 Create a web site for the game Users will be able to login, signup, create a game table or play the game The game will include an automatic player based on AI algorithms The game can be played online or through notifications

Web-based Clue game + Automatic player6 The site was built using PHP We used MySQL DataBase for storing the site’s data The Site will be hosted by an Apache Server.

Web-based Clue game + Automatic player7 The agent’s algorithm consists of four parts: Knowledge base Concluding new data from players’ answers Creating questions Answer questions

Web-based Clue game + Automatic player8 DPLL – a highly efficient algorithm, based on backtracking algorithm, for solving satisfiability problems: Backtracking Algorithm: Choose a literal Assign a truth value to it Simplify the formula Recursively check if the new formula is satisfiable If this procedure was not successful, start again with a false value. DPLL enhances the backtracking algorithm by: starting with unit clauses – clauses with only 1 literal Elimination of Pure literals.

Web-based Clue game + Automatic player9 The Clue Axioms: 1. There is exactly one card of each category in the Envelope 2. Every card is held by some player 3. If some card is held by Player N, it is not held by all other Players M ≠ N

Web-based Clue game + Automatic player10 Each question consists of one card of each category The category with the least remaining cards is the category which will eliminate the most options and will dictate constraints to the other categories From that category we will choose the card which is known not to be held by the biggest number of players. After analyzing the data we have on the chosen card, we can decide which player we want to direct the question to We can direct a question to a certain player by using the rule of the game that states that if a player cant answer a question – that question is directed to the following player

Web-based Clue game + Automatic player11 The Data table will hold all the players as columns and cards as rows: In each [i][j] There will be a note indicating whether a player is: Holding the card Not holding the card Might hold the card + Turn number DB actions: When we write to the DataBase that a player holds a card we will also write that all the other players does not have that card. When we write to the DataBase that a player does not have a card we will check if we can infer from that that the player holds another card.

Web-based Clue game + Automatic player12 When the agent asks a question there are two cases: If player x shows the agent a card – the agent will insert into the database that player x holds that card. If player x can’t answer the question and passes the question to the next player – the agent will insert into the database that player x does not hold any of these cards. First case: When the agent asks a question

Web-based Clue game + Automatic player13 If a player says that he doesn’t have any of the cards we’ll write that to the DataBase If a player shows a card we have to correlate the data we have with the new data. If after correlating the data we can’t know for sure which card was shown we will mark these cards as “might” in the DataBase and write down the turn’s number in order to make future conclusions If the agent will have to answer a question we will mark which card was shown to which player so that in the future the agent will reveal as little data as possible Second case: When another player asks a question

Web-based Clue game + Automatic player14 Cards/PlayersPlayer 1Player 2Player 3Player 4Player 5Player 6 Weapons Rope Lead Pipe Knife Wrench Candlestick Revolver Characters Col Mustard Miss Scarlet Mrs White Mrs Peacock Mr Green Captain Brown Room Hall Lounge Dining Room XXVXXX Kitchen Ball Room Conservatory Billiard Room Library Study Room We know that Player 3 has the Dining Room card

Web-based Clue game + Automatic player15 Cards/PlayersPlayer 1Player 2Player 3Player 4Player 5Player 6 Weapons Rope Lead Pipe O,3 Knife Wrench Candlestick Revolver Characters Col Mustard Miss Scarlet Mrs White O,3 Mrs Peacock Mr Green Captain Brown Room Hall Lounge Dining Room XXVXXX Kitchen Ball Room Conservatory Billiard Room Library Study Room On turn #3, Player 2 was asked : “Do you have Lead Pipe, Mrs. White or Dining Room?”, and Player 2 answered the question

Web-based Clue game + Automatic player16 Cards/PlayersPlayer 1Player 2Player 3Player 4Player 5Player 6 Weapons Rope Lead Pipe O,3 Knife Wrench Candlestick Revolver Characters Col Mustard Miss Scarlet Mrs White O,3 V Mrs Peacock Mr Green Captain Brown Room Hall Lounge Dining Room XXVXXX Kitchen Ball Room Conservatory Billiard Room Library Study Room We found out that Player 4 has the Mrs. White card

Web-based Clue game + Automatic player17 Cards/PlayersPlayer 1Player 2Player 3Player 4Player 5Player 6 Weapons Rope Lead Pipe O,3 Knife Wrench Candlestick Revolver Characters Col Mustard Miss Scarlet Mrs White XO,3 V Mrs Peacock Mr Green Captain Brown Room Hall Lounge Dining Room XXVXXX Kitchen Ball Room Conservatory Billiard Room Library Study Room Updating the database after receiving new information…

Web-based Clue game + Automatic player18 Cards/PlayersPlayer 1Player 2Player 3Player 4Player 5Player 6 Weapons Rope Lead Pipe O,3 Knife Wrench Candlestick Revolver Characters Col Mustard Miss Scarlet Mrs White XX V Mrs Peacock Mr Green Captain Brown Room Hall Lounge Dining Room XXVXXX Kitchen Ball Room Conservatory Billiard Room Library Study Room We replaced the O,3 mark with X, Now we’ll check whether we can infer new information from that

Web-based Clue game + Automatic player19 Cards/PlayersPlayer 1Player 2Player 3Player 4Player 5Player 6 Weapons Rope Lead Pipe V Knife Wrench Candlestick Revolver Characters Col Mustard Miss Scarlet Mrs White XX V Mrs Peacock Mr Green Captain Brown Room Hall Lounge Dining Room XXVXXX Kitchen Ball Room Conservatory Billiard Room Library Study Room We inferred that Player 2 holds the Lead Pipe card

Web-based Clue game + Automatic player20 Cards/PlayersPlayer 1Player 2Player 3Player 4Player 5Player 6 Weapons Rope Lead Pipe XVXXXX Knife Wrench Candlestick Revolver Characters Col Mustard Miss Scarlet Mrs White XX V Mrs Peacock Mr Green Captain Brown Room Hall Lounge Dining Room XXVXXX Kitchen Ball Room Conservatory Billiard Room Library Study Room

Web-based Clue game + Automatic player21 Cards/PlayersPlayer 1Player 2Player 3Player 4Player 5Player 6 Weapons Rope Lead Pipe XVXXXX Knife Wrench Candlestick Revolver Characters Col Mustard Miss Scarlet Mrs White XXXVXX Mrs Peacock Mr Green Captain Brown Room Hall Lounge Dining Room XXVXXX Kitchen Ball Room Conservatory Billiard Room Library Study Room

Web-based Clue game + Automatic player22 We created a web site, using PHP and Databases, in which you can sign up, login, create a table, join a table, and play the game We created a detailed design of the Agent’s algorithm which includes creating a question, answering a question, and deriving data from other players’ answers Our next step is to implement the Agent’s algorithm, based on our designs, and integrate it into the web site.