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
Question: a) Windows Server 2003 has brought great enhancements the Server System as compared to the previous version. Write down short notes on the below listed enhancements.

how response times are reduced by allowing time sharing on top of multiprogramming

Q. Explain Message passing among systems? Communications- Message passing among systems requires messages to be turned into packets of information and sent to the network contr

How does an operating system make multiprogramming possible by using single processor?

Q. How does NTFS handle data structures? How does NTFS recover from a system crash? What is guaranteed after a recovery takes place? Answer: In NTFS all file-system data stru

Q. Presume that a system is in an unsafe state. Illustrate that it is possible for the processes to complete their execution without entering a deadlock state. Answer: An unsaf

What are three conditions that a solution for the critical section problem must satisfy? The three conditions are as following:- a)      Mutual exclusion :- if a process is

What are the allocation methods of a disk space? Methods of allocating disk space which are widely in use are a. Contiguous allocation b. Linked allocation c. Indexed


Q.  To build a vigorous distributed system you must know what kinds of failures can occur. a. List three possible kinds of failure in a distributed system. b. State which of