JOHN - A Knowledge Representation Language

• John McCarthy's Advice Taker
• An Overview
• Installation Guide
• Running the Interpreter
• Getting Started
• Knowledge Representation Model
  • Object Oriented Representation of Knowledge
    • Microworlds
    • Classes
    • Groups
    • Objects
    • Properties
    • Qualifications
    • Actions
      • Action Rules
      • Action Optimizations
    • Goals
      • Search for Goals
      • Goal Heuristics
      • Goal Optimizations
  • Worlds
  • Visual Representation of Knowledge
  • Natural Language Processing Model?
• Language Features?
  • Low Level Constructs?
    • Comments
    • Primitive Expressions
    • Primitive Types
      • Booleans
      • Numbers
      • Words
      • Sentences
      • Sets
      • Lists
    • Predicates
    • Logical Operators
    • Referencing Objects
    • Referencing Object Properties and Qualifications
    • Drawing Objects
    • Higher Order Commands
  • High Level Constructs?
    • Starting a Microworld
    • Creating Classes
    • Grouping Classes
    • Making Objects
    • Dynamic Properties
    • Visual Definitions
    • General Expressions
    • Action Definitions
      • Action Optimization Definitions
    • Running Actions
    • Goal Definitions
      • Goal Heuristic Definitions
      • Goal Optimization Definitions
    • Satisfying Goals
    • Setting Interpreter Parameters
    • Natural Language Features?
  • Programming Methodologies?
    • Implementing Two Player Games
    • Circular Definitions
• Sample Programs
  • Test - useful to get familiar with the syntax and features of the language
  • Maze
  • Map - map coloring problem
  • SAT - solving satisfiability problem as a planning problem, useful for learning SAT
  • Triples
  • Tetravex
  • Nim
  • Towers of Hanoi
  • Poker hands
  • Chess
  • Mini Chess - a smaller variant of chess for faster experiments
  • Fibonacci
  • Sorting
  • Register Allocation

Back to Hesam's Page.

• View
• Edit
• History
• Print