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
From hardware perspective, every information system can be divided into three task areas Presentation, Application Logic and Data Storage. The R/3 Basis software is extremely s

To explore the UNIX file system, use basic UNIX commands and use a text editor. Task:   1.      Logon to Linux. 2.      Create a directory "Unix" under your home d

Introduction of linux


Question 1: "Three entities must be accountable and responsible for accident prevention." (a) List and explain these three entities. (b) Discuss the role of workers in ma

Explain the Architecting For Threads When available, threads are an integral part of any multitasking server application program. It is important that the operating system prov


Explain the concept of Reentrancy? It is a useful, memory-saving method for multiprogrammed timesharing systems. A Reentrant Procedure is one in which many users can share a si

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 the use of fork and exec system calls? Fork is a system call by which a latest process is created. Exec is also a system call, which is used after a fork by one of the