# Knowledge Language and Axiom Knowledge Representation Language A **Knowledge Representation (KRL is a formal language used to encode about the world so that computer system can utilize it solve tasks, such as reasoning, learning, and planning. A KRL provides: - **Syntax The rules that define valid sentences in the language. - **Sem:** The meaning of those sentences. - **Inference Mechanism:** How new can be inferred from existing knowledge. Popular examples include propos logic first-order logic, semantic networks, frames, ont. ## Axiom An **axiom** is a basic, foundational statement or proposition in a knowledge base that is assumed to be true without proof. In logic-based,oms as starting points for reasoning and inference. For example, in the context of Wumpus World, an axiom might state, "If a cell is to a pit, then the cell has a breeze." # Wumpus World ## Description **Wus World** is a environment from artificial for knowledge representation and. It is a simple grid-based world with: -Agent:** An who can move, turn and arrows. - **Wumpus:** A monster; entering its kills the agent- **Pits:**ly traps; falling in kills the agent. - **:** goal; collecting it and escaping is the objective. - **Percepts:** agentives stench (near Wumpus breeze (near pit), glitter (gold), bump (wall), and scream (Wus killed). The agent must uses to deduce safe squares and find the. --- ## Diagram Below is a typical 4x4 Wumpus World grid: ``` --------+----+----+ | | | | | | | | | +----+----+----++ | | W | | | | | | +----++----+----+ | | P | | | | | | | +----+++----+ | A | | G | | | | | +----+----+----+----+ ``` - **A:** Agent's starting position (bottom). - **W:** Wumpus. **P:** Pit. - **G:** Gold. **[Diagram Alt Text: A 4x4 grid with agent at (1,1), pit at (2,2), wumpus at (3,3), at1,3)]** --- ## Summary - ** Representation Language:** Formal method encode and reason knowledge- **Axiom:** Fundamental, assumed-true statement used as a basis for inference. - **Wumpus World:** A grid-based AI environment demonstrating reasoning with incomplete information.