Abductive diagnosis and its application to a mechanical troubleshooting problem