A definition of intelligence

intelligence.hs

type Knowledge = ([Set], [Function])
type Intelligence = (Perception, Knowledge) -> ([Action], Knowledge)

comprehension :: (Perception, Knowledge) -> Knowledge
imagination   :: Knowledge -> [Prediction]
will          :: [Prediction] -> [Decision]
execution     :: ([Decision], Knowledge) ->[Action]
abstraction   :: (Perception, Knowledge) -> Knowledge

-- Human Intelligence
-- NOTE: first we react to perceptions, then we learn
human :: Intelligence
human (perception, old_knowledge) = (actions, new_knowledge)
  where new_knowledge = abstraction (perception, old_knowledge)
        useful_knowledge = comprehension (perception, old_knowledge)
        predictions = imagination useful_knowledge
        decisions = will predictions
        actions = execution (decisions, old_knowledge)

-- _Hypothetical_ Artificial General Intelligence
-- NOTE: it can learn first and then use the new knowledge to react
machine :: Intelligence
machine (perception, initial_knowledge) = (actions, new_knowledge)
  where new_knowledge = abstraction (perception, initial_knowledge)
        useful_knowledge = comprehension (perception, new_knowledge)
        predictions = imagination useful_knowledge
        decisions = will predictions
        actions = execution (decisions, new_knowledge)