ALIAS: The Abductive LogIc AgentS architecture