DALI: An Architecture for Intelligent Logical Agents