Editing Procedural knowledge (section)

=== Artificial intelligence ===

In [[artificial intelligence]], procedural knowledge is a type of knowledge that can be possessed by an [[intelligent agent]].  Such knowledge is often represented as a partial or complete  [[finite-state machine]] or [[computer program]].  A well-known example is the [[procedural reasoning system]], which might, in the case of a mobile robot that navigates in a building, contain procedures such as "navigate to a room" or "plan a path".  In contrast, an AI system based on [[declarative knowledge]] might just contain a map of the building, together with information about the basic actions that can be done by the robot (like moving forward, turning, and stopping), and leave it to a domain-independent [[computer planning|planning algorithm]] to discover how to use those actions to achieve the agent's goals.