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
Define a public key encryption system Allows just the correct receiver to decode the data

Q.  What kind of operating system is Windows XP? Describe two of its major features. Answer: A 32 or 64 bit pre-emptive multitasking operating system supporting multiple use

Processes have valid and invalid entries on their page tables. The valid entries all point to some where "real" (e.g. a physical page, or some portion of disk in case of non-reside

Define UFD and MFD. In the two-level directory structure, every user has her own user file directory (UFD). Every UFD has a similar structure, but lists only the files of a one

Q. Present an algorithm for reconstructing a logical ring after a process in the ring fails? Answer: Typically distributed systems utilize a coordinator process that performs

ADVANTAGES AND INCONVENIENCES OF KLT Advantages: the kernel be able to simultaneously schedule many threads of the same process on many processors blocking

Q. Explain the actions taken by a kernel to context switch between kernel level threads. Answer: Context switching among kernel threads classically requires saving the value

Question 1 What is Micro-kernel? What are the benefits of Micro-kernel? Question 2 Explain seven state process models used for OS with necessary diagram. Differentiate betwee

Explain Load Balancing Client Server Components When migration functionality from the client - only model to the client - server model, care must be taken not over-or underutil

Explain the ScheduleWorkToDo Function used in Netware ScheduleWorkToDo(MyThread Function, arg, workToDo) The ScheduleWorkToDo ( ) function is specific to NetWare 4.0. This c