CS 830 Project Idea Evolution Timeline

Sushma Anand Akoju • All timestamps verifiable via Google Docs version history

1

Stage 1 — Initial Bat KB formulation, March 31, 2025, 11:11 PM

Basic knowledge base with multiple FOL interpretations

2

Stage 2 — Domain of discourse added, March 31, 2025, 11:18 PM

Expanded examples with polysemy (bat, bark)

3

Stage 3 — CNF grammar and negated queries, March 31, 2025, 11:19 PM

Logical structure refinement

4

Stage 4 — CNF grammar refinement, March 31, 2025, 11:24 PM

More detailed CNF examples

5

Stage 5 — Bat examples with negation, March 31, 2025, 11:27 PM

Refined bat knowledge base

6

Stage 6 — Bat image added, March 31, 2025, 11:31 PM

Visual representation introduced

7

Stage 7 — Elegant brown bat example, March 31, 2025, 11:32 PM

Further refinement

8

Stage 8 — Bat vs Baseball Bat comparison, March 31, 2025, 11:36 PM

Visual analogy for polysemy

9

Stage 9 — Final refinements, March 31, 2025, 11:38 PM

Complete logically inconclusive KB structure

All stages are verifiable through Google Docs version history. All content is human-generated (authored) by Sushma Anand Akoju.