---
title: "Knowledge, reasoning; forward chaining"
subject: "Artificial Intelligence"
chapter: 4
key: "semester_6/artificial_intelligence:forward-chaining-kr-reasoning"
source: https://www.bctengineer.com/q/semester_6/artificial_intelligence/forward-chaining-kr-reasoning
site: BCT Engineering
---

# Knowledge, reasoning; forward chaining

Artificial Intelligence · Chapter 4: Knowledge Representation, Inference & Reasoning

- Asked in: 2072 Asoj, 2+5 marks
- Video: [Forward chaining  | Example  | AI | Artificial intelligence | Lec-38 | Bhanu Priya](https://www.youtube.com/watch?v=RYIjxRfOPWY) — Education 4u
- Answer checked by Claude Opus 5.5 (high effort) on 2026-10-14
- Page: https://www.bctengineer.com/q/semester_6/artificial_intelligence/forward-chaining-kr-reasoning
- Whole chapter: https://www.bctengineer.com/md/semester_6/artificial_intelligence/chapter-4

## Question

What is knowledge, representation and reasoning? Describe forward chaining with practical example.

## Short answer

Knowledge is domain facts/rules; representation encodes it (logic, rules, frames); reasoning derives conclusions. Forward chaining is data-driven: start with facts, fire rules whose conditions match, add conclusions, repeat until goal or no rules fire. Example: facts Tom has fur, meows, eats meat; rules derive cat, mammal, carnivore.

## Answer

#### Knowledge, representation and reasoning
- **Knowledge** is the facts, rules and relationships about a domain that an intelligent system uses to solve problems.
- **Knowledge representation (KR)** is the way knowledge is encoded in a form a computer can store and use, e.g. propositional logic, FOPL, semantic networks, frames, production rules.
- **Reasoning** is the process of using the represented knowledge to draw new conclusions, answer queries and make decisions (deduction, induction, abduction; forward and backward chaining).

#### Forward chaining
Forward chaining is a **data-driven** inference method. It starts from the **known facts**, finds rules whose conditions (IF part) are satisfied by the facts, fires them to add their conclusions (THEN part) as new facts, and repeats until the goal is derived or no more rules can fire.

```text
Repeat:
   find all rules whose IF-part matches the facts
   pick one (conflict resolution), add its THEN-part
Until goal is in facts or no rule fires
```

#### Example
Rules:
- R1: IF X has fur AND X says meow THEN X is a cat
- R2: IF X is a cat THEN X is a mammal
- R3: IF X is a mammal AND X eats meat THEN X is a carnivore

Facts: Tom has fur; Tom says meow; Tom eats meat.

| Cycle | Rule that fires | New fact |
|---|---|---|
| 1 | R1 (fur and meow are facts) | Tom is a cat |
| 2 | R2 (cat is a fact) | Tom is a mammal |
| 3 | R3 (mammal and eats meat) | Tom is a carnivore |

No more rules can fire. **Conclusion:** Tom is a carnivore. If the question were "Is Tom a carnivore?", the system stops at cycle 3 because the goal is derived.

## Check yourself

The answer's key points as multiple-choice questions, with the correct option and why.

1. What is knowledge representation?
   A. Drawing new conclusions from stored knowledge
   B. Encoding knowledge in a form a computer can store and use
   C. Collecting raw sensor data
   D. Searching a state space for a goal
   Answer: B. KR is the encoding (logic, frames, rules, etc.); using it to derive conclusions is reasoning. (Key point: KR definition)

2. Forward chaining is called data-driven because it:
   A. starts from the goal and looks for rules that conclude it
   B. asks the user for every fact first
   C. starts from known facts and fires rules whose IF parts match
   D. tries rules in random order and never stops
   Answer: C. It adds THEN parts as new facts until the goal appears or no rule can fire. (Key point: Forward chaining nature)

3. Given facts Tom has fur, says meow, eats meat, what is the firing order?
   A. R1 (cat), then R2 (mammal), then R3 (carnivore)
   B. R3, then R2, then R1
   C. R2, then R1, then R3
   D. R1, then R3, then R2
   Answer: A. R2 needs 'cat' from R1, and R3 needs 'mammal' from R2. (Key point: Tom example)

## Related in Artificial Intelligence

- [Rule based reasoning; backward chaining](https://www.bctengineer.com/question.md?key=semester_6%2Fartificial_intelligence%3Arule-based-reasoning-backward-chaining) — Artificial Intelligence, chapter 4
- [Forward vs backward chaining](https://www.bctengineer.com/question.md?key=semester_6%2Fartificial_intelligence%3Aforward-vs-backward-chaining) — Artificial Intelligence, chapter 4, asked 3×