International Standard ISO 9001–A Soft Computing View

• Main Author: Neves, José
• Publication Date: 2015
• Other Authors: Fernandes, Ana, Gomes, Guida, Neves, Mariana, Abelha, António, Vicente, Henrique
• Language: eng
• Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
• Download full: http://hdl.handle.net/10174/17487; https://doi.org/10.1007/978-3-319-29133-8
• topic: International Standard ISO 9001; Knowledge Representation and Reasoning; Logic Programming; Artificial Neural Networks; Normalization

In order to add value to ISO 9001, a Quality Management Systems that assess, measure, documents, improves, and certify processes to increase productivity, i.e., that transforms business at any level. On the one hand, this work focuses on the development of a decision support system, which will allow companies to be able to meet the needs of customers by fulfilling requirements that reflect either the effectiveness or the non-effectiveness of an organization. On the other hand, many approaches for knowledge representation and reasoning have been proposed using Logic Programming (LP), namely in the area of Model Theory or Proof Theory. In this work it is followed the proof theoretical approach in terms of an extension to the LP language to knowledge representation and reasoning. The computational framework is centered on Artificial Neural Networks to evaluate customer’s satisfaction and the degree of confidence that one has on such a happening.