@inproceedings{72f9ddeb734147d59ec668c10c018cc8,
title = "Reasoning methods for ME-maps - A CSP based approach",
abstract = "Know-how refers to the knowledge of how to achieve objectives effectively and efficiently. Mapping this knowledge helps in understanding domains, learning about problems and solutions, identifying potential gaps and places for improvements, and reasoning about the existing knowledge. Recently, we developed and formalized an approach called ME-MAP for mapping out know-how. Checking the correctness properties of such maps is essential to ensure their qualities and grantee their practical usage. Therefore, it is critical to enable automation of reasoning methods. This paper presents three reasoning methods for ME-maps: (1) checking consistency; (2) creating legal instances; and (3) extracting a 'core map' for a given ME-map. The methods are based on translating ME-maps into a Constraint Satisfaction Problem (CSP) and then using an off-the-shelf CSP solver for verifying the desired properties.",
keywords = "Consistency, Constraint Satisfaction Problem, Formal Semantics, Knowledge Mapping, Legal instance, ME-MAP",
author = "Azzam Maraee and Arnon Sturm",
note = "Publisher Copyright: {\textcopyright} 2018 IEEE.; 12th International Conference on Research Challenges in Information Science, RCIS 2018 ; Conference date: 29-05-2018 Through 31-05-2018",
year = "2018",
month = jul,
day = "6",
doi = "10.1109/RCIS.2018.8406678",
language = "English",
series = "Proceedings - International Conference on Research Challenges in Information Science",
publisher = "Institute of Electrical and Electronics Engineers",
pages = "1--11",
booktitle = "2018 12th International Conference on Research Challenges in Information Science, RCIS 2018",
address = "United States",
}