Tags
- A
- AI
- Allen Newell
- Artificial Intelligence
- Axiom
- California
- Can you
- Carnegie Mellon University
- Combinatorial explosion
- Commonsense reasoning
- Computer program
- Directed graph
- Dropping in
- Euclidean geometry
- Feces
- First-order logic
- GPT-4
- Herbert A. Simon
- Heuristic
- History of artificial intelligence
- Horn clause
- Innovation
- International Standard Book Number
- Introspection
- Joseph Weizenbaum
- Knowledge
- Large language model
- Lexington, Massachusetts
- Limit
- Limits
- Logic
- Logic Theorist
- Monetization
- Most
- Need
- Old
- Peter Norvig
- Planning
- Problem solver
- Prompt engineering
- Prompting
- RAND Corporation
- San Francisco
- Soar
- Software engine
- Solver
- Subsidy
- Technology
- The Limit
- Think
- Tower of Hanoi
- Trust
- Well-formed formula
- What