A.V. Voinov (USA)
Knowledge Acquisition, Ontologies, Kripke models
Algebraic and logical methods, underlying recent progress in ontology integration, are applied in the current paper to the problem of acquisition and representation of intuitive layer of experts problem solving skill. The proposed ap proach is based on semantic similarity assessment via sub jective scaling and an original method of multidimensional scaling. Automated reasoning over the acquired knowledge is then performed in the framework of algebraic Kripke models.
Important Links:
Go Back
