{"action":"opened","issue":{"url":"https://api.github.com/repos/EulerProject/EulerX/issues/7","labels_url":"https://api.github.com/repos/EulerProject/EulerX/issues/7/labels{/name}","comments_url":"https://api.github.com/repos/EulerProject/EulerX/issues/7/comments","events_url":"https://api.github.com/repos/EulerProject/EulerX/issues/7/events","html_url":"https://github.com/EulerProject/EulerX/issues/7","id":122079919,"number":7,"title":"Add option to output \"subset MIR\" for highly under-specified input constraints","user":{"login":"nfranz","id":7585850,"avatar_url":"https://avatars.githubusercontent.com/u/7585850?v=3","gravatar_id":"","url":"https://api.github.com/users/nfranz","html_url":"https://github.com/nfranz","followers_url":"https://api.github.com/users/nfranz/followers","following_url":"https://api.github.com/users/nfranz/following{/other_user}","gists_url":"https://api.github.com/users/nfranz/gists{/gist_id}","starred_url":"https://api.github.com/users/nfranz/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nfranz/subscriptions","organizations_url":"https://api.github.com/users/nfranz/orgs","repos_url":"https://api.github.com/users/nfranz/repos","events_url":"https://api.github.com/users/nfranz/events{/privacy}","received_events_url":"https://api.github.com/users/nfranz/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/EulerProject/EulerX/labels/enhancement","name":"enhancement","color":"84b6eb"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-12-14T16:35:51Z","updated_at":"2015-12-14T16:35:51Z","closed_at":null,"body":"In cases where the input constraints (RCC-5 articulations) are \"highly\" under-specified (but consistent), and many possible worlds exist, it is helpful for the user to have an option to \"abort\" the generation of (many thousands) of possible worlds, and instead examine the MIR that correspond to a subset of all possible worlds. \r\n\r\nExample. After generating 100-500 possible worlds, prompt the user to either say \"I want them all\", or alternatively \"Extract the MIR based just on these 100-500 possible worlds.\" Examining the \"subset MIR\" may be sufficient to identify and resolve systemic issues in the input that constitute the under-specification. \r\n\r\nSolution. The ASP reasoner can be set to calculate a specific number of answer sets; this is \"-n\" option in DLV and \"--eq\" in Gringo. However, we need to adjust the code to make sure there is a robust connection between the \"possible world subsets output\" and the \"subset MIR generation\".\r\n"}}