There has been an increasing interest in improving the quality and reliability of artificial intelligence systems. As a result, several methodologies for specifying expert systems have been proposed. However, these approaches ...