Reasoning methods for ME-maps - A CSP based approach

Azzam Maraee, Arnon Sturm

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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.

Original languageEnglish
Title of host publication2018 12th International Conference on Research Challenges in Information Science, RCIS 2018
PublisherIEEE Computer Society
Pages1-11
Number of pages11
ISBN (Electronic)9781538665176
DOIs
StatePublished - 6 Jul 2018
Event12th International Conference on Research Challenges in Information Science, RCIS 2018 - Nantes, France
Duration: 29 May 201831 May 2018

Publication series

NameProceedings - International Conference on Research Challenges in Information Science
Volume2018-May
ISSN (Print)2151-1349
ISSN (Electronic)2151-1357

Conference

Conference12th International Conference on Research Challenges in Information Science, RCIS 2018
Country/TerritoryFrance
CityNantes
Period29/05/1831/05/18

Keywords

  • Consistency
  • Constraint Satisfaction Problem
  • Formal Semantics
  • Knowledge Mapping
  • Legal instance
  • ME-MAP

Fingerprint

Dive into the research topics of 'Reasoning methods for ME-maps - A CSP based approach'. Together they form a unique fingerprint.

Cite this