This paper explores philosophical problems in artificial intelligence, focusing on the representation of the world and the concepts of causality, ability, and knowledge. The authors argue that designing an intelligent computer program requires addressing traditional philosophical questions about knowledge, belief, and the nature of intelligence. They propose a formalism for representing the world as a system of interacting automata, which allows for the formalization of concepts like causality, ability, and knowledge. The paper discusses the challenges of representing the world in a way that is both epistemologically and metaphysically adequate, and how this relates to the problem of free will and counterfactual reasoning. The authors also introduce the notion of 'can' as a formal concept, which is used to determine what an automaton can achieve. The paper emphasizes the importance of a clear definition of intelligence and the need for a comprehensive philosophical system to guide the development of artificial intelligence. It also discusses the use of formal logic in representing the world and the challenges of representing actions and strategies in a formal system. The authors conclude that the development of artificial intelligence requires a deep understanding of philosophical concepts and the ability to translate these into formal representations.This paper explores philosophical problems in artificial intelligence, focusing on the representation of the world and the concepts of causality, ability, and knowledge. The authors argue that designing an intelligent computer program requires addressing traditional philosophical questions about knowledge, belief, and the nature of intelligence. They propose a formalism for representing the world as a system of interacting automata, which allows for the formalization of concepts like causality, ability, and knowledge. The paper discusses the challenges of representing the world in a way that is both epistemologically and metaphysically adequate, and how this relates to the problem of free will and counterfactual reasoning. The authors also introduce the notion of 'can' as a formal concept, which is used to determine what an automaton can achieve. The paper emphasizes the importance of a clear definition of intelligence and the need for a comprehensive philosophical system to guide the development of artificial intelligence. It also discusses the use of formal logic in representing the world and the challenges of representing actions and strategies in a formal system. The authors conclude that the development of artificial intelligence requires a deep understanding of philosophical concepts and the ability to translate these into formal representations.