Reasoning and Expert Systems