{"action":"created","issue":{"url":"https://api.github.com/repos/bdach/knowledge-representation/issues/49","repository_url":"https://api.github.com/repos/bdach/knowledge-representation","labels_url":"https://api.github.com/repos/bdach/knowledge-representation/issues/49/labels{/name}","comments_url":"https://api.github.com/repos/bdach/knowledge-representation/issues/49/comments","events_url":"https://api.github.com/repos/bdach/knowledge-representation/issues/49/events","html_url":"https://github.com/bdach/knowledge-representation/issues/49","id":332968498,"node_id":"MDU6SXNzdWUzMzI5Njg0OTg=","number":49,"title":"Błędny wynik kwerendy w historii z alternatywą","user":{"login":"bdach","id":20418176,"node_id":"MDQ6VXNlcjIwNDE4MTc2","avatar_url":"https://avatars3.githubusercontent.com/u/20418176?v=4","gravatar_id":"","url":"https://api.github.com/users/bdach","html_url":"https://github.com/bdach","followers_url":"https://api.github.com/users/bdach/followers","following_url":"https://api.github.com/users/bdach/following{/other_user}","gists_url":"https://api.github.com/users/bdach/gists{/gist_id}","starred_url":"https://api.github.com/users/bdach/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bdach/subscriptions","organizations_url":"https://api.github.com/users/bdach/orgs","repos_url":"https://api.github.com/users/bdach/repos","events_url":"https://api.github.com/users/bdach/events{/privacy}","received_events_url":"https://api.github.com/users/bdach/received_events","type":"User","site_admin":false},"labels":[{"id":850503901,"node_id":"MDU6TGFiZWw4NTA1MDM5MDE=","url":"https://api.github.com/repos/bdach/knowledge-representation/labels/bugfix","name":"bugfix","color":"d93f0b","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":{"url":"https://api.github.com/repos/bdach/knowledge-representation/milestones/6","html_url":"https://github.com/bdach/knowledge-representation/milestone/6","labels_url":"https://api.github.com/repos/bdach/knowledge-representation/milestones/6/labels","id":3429011,"node_id":"MDk6TWlsZXN0b25lMzQyOTAxMQ==","number":6,"title":"Poprawa błędów","description":"","creator":{"login":"bdach","id":20418176,"node_id":"MDQ6VXNlcjIwNDE4MTc2","avatar_url":"https://avatars3.githubusercontent.com/u/20418176?v=4","gravatar_id":"","url":"https://api.github.com/users/bdach","html_url":"https://github.com/bdach","followers_url":"https://api.github.com/users/bdach/followers","following_url":"https://api.github.com/users/bdach/following{/other_user}","gists_url":"https://api.github.com/users/bdach/gists{/gist_id}","starred_url":"https://api.github.com/users/bdach/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bdach/subscriptions","organizations_url":"https://api.github.com/users/bdach/orgs","repos_url":"https://api.github.com/users/bdach/repos","events_url":"https://api.github.com/users/bdach/events{/privacy}","received_events_url":"https://api.github.com/users/bdach/received_events","type":"User","site_admin":false},"open_issues":3,"closed_issues":0,"state":"open","created_at":"2018-06-16T07:42:10Z","updated_at":"2018-06-17T09:47:49Z","due_on":"2018-06-19T07:00:00Z","closed_at":null},"comments":0,"created_at":"2018-06-16T07:41:42Z","updated_at":"2018-06-17T09:51:51Z","closed_at":null,"author_association":"OWNER","body":"Gdy dana jest dziedzina akcji\r\n\r\n> **initially** *f*\r\n> A **causes** *g* | *h* **if** *f*\r\n> B **causes** *g* | *h* **if** *f*\r\n\r\nzapytania\r\n\r\n> **possibly** *g* **after** ({A, B})\r\n> **possibly** *h* **after** ({A, B})\r\n\r\nnieintuicyjnie zwracają wynik `False`.\r\n\r\n**Uwaga**: Testy jednostkowe dla tego scenariusza znajdują się na gałęzi `bugfix/existential-value-queries`."},"comment":{"url":"https://api.github.com/repos/bdach/knowledge-representation/issues/comments/397867491","html_url":"https://github.com/bdach/knowledge-representation/issues/49#issuecomment-397867491","issue_url":"https://api.github.com/repos/bdach/knowledge-representation/issues/49","id":397867491,"node_id":"MDEyOklzc3VlQ29tbWVudDM5Nzg2NzQ5MQ==","user":{"login":"bdach","id":20418176,"node_id":"MDQ6VXNlcjIwNDE4MTc2","avatar_url":"https://avatars3.githubusercontent.com/u/20418176?v=4","gravatar_id":"","url":"https://api.github.com/users/bdach","html_url":"https://github.com/bdach","followers_url":"https://api.github.com/users/bdach/followers","following_url":"https://api.github.com/users/bdach/following{/other_user}","gists_url":"https://api.github.com/users/bdach/gists{/gist_id}","starred_url":"https://api.github.com/users/bdach/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bdach/subscriptions","organizations_url":"https://api.github.com/users/bdach/orgs","repos_url":"https://api.github.com/users/bdach/repos","events_url":"https://api.github.com/users/bdach/events{/privacy}","received_events_url":"https://api.github.com/users/bdach/received_events","type":"User","site_admin":false},"created_at":"2018-06-17T09:51:51Z","updated_at":"2018-06-17T09:51:51Z","author_association":"OWNER","body":"Wygląda na to, że program działa poprawnie. Nieintuicyjny wynik spowodowany jest inercjalnością fluentów *g,h*.\r\n\r\nPonieważ stan *g,h* nie jest ustalony na początku, załóżmy np. że stan początkowy to (*f, ~g, h*). Wówczas\r\n\r\n> *Res*({A, B}, *σ*) = {(*f, ~g, h*})\r\n\r\nz racji minimalizacji zmian. W takim razie po {A, B} mamy *~g*, a więc istnieje co najmniej jeden model *D*, w którym *~g* po {A, B}; stąd kwerenda **possibly** zwraca wartość `False`.\r\n\r\nAby uzyskać żądany efekt, należy do domeny akcji dodać zdania\r\n\r\n> **noninertial** g\r\n> **noninertial** h\r\n\r\naby wyłączyć inercję i dopuścić zmianę wartości *~g* mimo tego, że zachodzi *h*."}}
{"actor":{"display_login":"bdach"}}