Write knowledge base relevant propositional statement, Operating System

Suppose a logic-based agent in the wumpus world has found that locations (1,1) and (2,1) do not contain a stench, but that locations (3,1) and (2,2) do contain a stench. Can the agent deduce the location of the wumpus? Let's use propositional logic to find out.

a. Using propositional symbols Sx,y for stench in (x,y) and Wx,y for wumpus in (x,y), where x and y are integers greater than zero, write down a knowledge base containing relevant propositional statements about the wumpus world and containing what the agent knows about this wumpus world. Number each statement.

b. Show a propositional proof of the location of the wumpus. For each step of your proof, clearly indicate the newly inferred statement, the previous statements used to infer this new statement, and the inference rule used.

 

Posted Date: 4/1/2013 6:49:02 AM | Location : United States







Related Discussions:- Write knowledge base relevant propositional statement, Assignment Help, Ask Question on Write knowledge base relevant propositional statement, Get Answer, Expert's Help, Write knowledge base relevant propositional statement Discussions

Write discussion on Write knowledge base relevant propositional statement
Your posts are moderated
Related Questions
What is the MFD? UFD? How are they related? MFD is master-file directory, which points to the UFDs. UFD is user-file directory, which points to each of user's files.

Q. What is the major difficulty that a programmer should overcome in writing an operating system for a real-time environment? Answer: The major difficulty is keeping the oper

define semaphore. how can we use semaphore to deal with n-process critical section problem.



QUICK FIT ALGORITHAMS Here we keep apart lists for holes and processes. Therefore this reduces the searching time for holes Hole list and Process list. If we organize the li

How is process management done in multiprocessing systems ? There are two accost for the process management in multiprocessor systems. Master-slave configuration Sy

What is preallocation? Why do it? Allocating space for a file before making the file to allow for expansion. This reserves space for a certain file so that other files can't gr

What are the typical elements of a process image? User data: Modifiable part of user space. May have program data, user stack area, and programs that might be modified. User

basic advantage of using interrupt initiated data transfer over transfer under program control without an interrupt