aima.core.environment.wumpusworld

Class WumpusKnowledgeBase

java.lang.Object

aima.core.logic.propositional.kb.KnowledgeBase

aima.core.environment.wumpusworld.WumpusKnowledgeBase

public class WumpusKnowledgeBase
extends KnowledgeBase

A Knowledge base tailored to the Wumpus World environment.

Author:

Ciaran O'Reilly, Federico Baron, Alessandro Daniele

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	ACTION_FORWARD
static java.lang.String	ACTION_SHOOT
static java.lang.String	ACTION_TURN_LEFT
static java.lang.String	ACTION_TURN_RIGHT
static java.lang.String	BREEZE
static java.lang.String	FACING_EAST
static java.lang.String	FACING_NORTH
static java.lang.String	FACING_SOUTH
static java.lang.String	FACING_WEST
static java.lang.String	HAVE_ARROW
static java.lang.String	LOCATION
static java.lang.String	OK_TO_MOVE_INTO
static java.lang.String	PERCEPT_BREEZE
static java.lang.String	PERCEPT_BUMP
static java.lang.String	PERCEPT_GLITTER
static java.lang.String	PERCEPT_SCREAM
static java.lang.String	PERCEPT_STENCH
static java.lang.String	PIT
static java.lang.String	STENCH
static java.lang.String	WUMPUS
static java.lang.String	WUMPUS_ALIVE

Constructor Summary

Constructors

Constructor and Description
WumpusKnowledgeBase(DPLL dpll, int caveXandYDimensions) Create a Knowledge Base that contains the atemporal "wumpus physics" and temporal rules with time zero.
WumpusKnowledgeBase(int caveXandYDimensions)

Method Summary

Modifier and Type	Method and Description
boolean	ask(Sentence query)
AgentPosition	askCurrentPosition(int t)
boolean	askGlitter(int t)
boolean	askHaveArrow(int t)
java.util.Set<Room>	askNotUnsafeRooms(int t)
boolean	askOK(int t, int x, int y)
java.util.Set<Room>	askPossibleWumpusRooms(int t)
java.util.Set<Room>	askSafeRooms(int t)
java.util.Set<Room>	askUnvisitedRooms(int t)
int	getCaveXDimension()
int	getCaveYDimension()
void	makeActionSentence(Action a, int t) Add to KB sentences that describe the action a
void	makePerceptSentence(AgentPercept p, int time) Add to KB sentences that describe the perception p (only about the current time).
PropositionSymbol	newSymbol(java.lang.String prefix, int timeStep)
PropositionSymbol	newSymbol(java.lang.String prefix, int x, int y)
PropositionSymbol	newSymbol(java.lang.String prefix, int timeStep, int x, int y)
void	setCaveXDimension(int caveXDimension)
void	setCaveYDimension(int caveYDimension)
void	tellTemporalPhysicsSentences(int t) TELL the KB the temporal "physics" sentences for time t
java.lang.String	toString()

Methods inherited from class aima.core.logic.propositional.kb.KnowledgeBase

asCNF, askWithTTEntails, asSentence, getSentences, getSymbols, size, tell, tell, tellAll

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

LOCATION

public static final java.lang.String LOCATION

See Also:

Constant Field Values

BREEZE

public static final java.lang.String BREEZE

See Also:

Constant Field Values

STENCH

public static final java.lang.String STENCH

See Also:

Constant Field Values

PIT

public static final java.lang.String PIT

See Also:

Constant Field Values

WUMPUS

public static final java.lang.String WUMPUS

See Also:

Constant Field Values

WUMPUS_ALIVE

public static final java.lang.String WUMPUS_ALIVE

See Also:

Constant Field Values

HAVE_ARROW

public static final java.lang.String HAVE_ARROW

See Also:

Constant Field Values

FACING_NORTH

public static final java.lang.String FACING_NORTH

FACING_SOUTH

public static final java.lang.String FACING_SOUTH

FACING_EAST

public static final java.lang.String FACING_EAST

FACING_WEST

public static final java.lang.String FACING_WEST

PERCEPT_STENCH

public static final java.lang.String PERCEPT_STENCH

See Also:

Constant Field Values

PERCEPT_BREEZE

public static final java.lang.String PERCEPT_BREEZE

See Also:

Constant Field Values

PERCEPT_GLITTER

public static final java.lang.String PERCEPT_GLITTER

See Also:

Constant Field Values

PERCEPT_BUMP

public static final java.lang.String PERCEPT_BUMP

See Also:

Constant Field Values

PERCEPT_SCREAM

public static final java.lang.String PERCEPT_SCREAM

See Also:

Constant Field Values

ACTION_FORWARD

public static final java.lang.String ACTION_FORWARD

See Also:

Constant Field Values

ACTION_SHOOT

public static final java.lang.String ACTION_SHOOT

See Also:

Constant Field Values

ACTION_TURN_LEFT

public static final java.lang.String ACTION_TURN_LEFT

See Also:

Constant Field Values

ACTION_TURN_RIGHT

public static final java.lang.String ACTION_TURN_RIGHT

See Also:

Constant Field Values

OK_TO_MOVE_INTO

public static final java.lang.String OK_TO_MOVE_INTO

See Also:

Constant Field Values

Constructor Detail

WumpusKnowledgeBase

public WumpusKnowledgeBase(int caveXandYDimensions)

WumpusKnowledgeBase

public WumpusKnowledgeBase(DPLL dpll,
                           int caveXandYDimensions)

Create a Knowledge Base that contains the atemporal "wumpus physics" and temporal rules with time zero.

Parameters:

dpll - the dpll implementation to use for answering 'ask' queries.

caveXandYDimensions - x and y dimensions of the wumpus world's cave.

Method Detail

askCurrentPosition

public AgentPosition askCurrentPosition(int t)

askSafeRooms

public java.util.Set<Room> askSafeRooms(int t)

askGlitter

public boolean askGlitter(int t)

askUnvisitedRooms

public java.util.Set<Room> askUnvisitedRooms(int t)

askHaveArrow

public boolean askHaveArrow(int t)

askPossibleWumpusRooms

public java.util.Set<Room> askPossibleWumpusRooms(int t)

askNotUnsafeRooms

public java.util.Set<Room> askNotUnsafeRooms(int t)

askOK

public boolean askOK(int t,
                     int x,
                     int y)

ask

public boolean ask(Sentence query)

getCaveXDimension

public int getCaveXDimension()

setCaveXDimension

public void setCaveXDimension(int caveXDimension)

getCaveYDimension

public int getCaveYDimension()

setCaveYDimension

public void setCaveYDimension(int caveYDimension)

makeActionSentence

public void makeActionSentence(Action a,
                               int t)

Add to KB sentences that describe the action a

Parameters:

a - action that must be added to KB

time - current time

makePerceptSentence

public void makePerceptSentence(AgentPercept p,
                                int time)

Add to KB sentences that describe the perception p (only about the current time).

Parameters:

p - perception that must be added to KB

time - current time

tellTemporalPhysicsSentences

public void tellTemporalPhysicsSentences(int t)

TELL the KB the temporal "physics" sentences for time t

Parameters:

t - current time step.

toString

public java.lang.String toString()

Overrides:

toString in class KnowledgeBase

newSymbol

public PropositionSymbol newSymbol(java.lang.String prefix,
                                   int timeStep)

newSymbol

public PropositionSymbol newSymbol(java.lang.String prefix,
                                   int x,
                                   int y)

newSymbol

public PropositionSymbol newSymbol(java.lang.String prefix,
                                   int timeStep,
                                   int x,
                                   int y)