{"action":"created","comment":{"url":"https://api.github.com/repos/opencog/opencog/pulls/comments/29734225","id":29734225,"diff_hunk":"@@ -0,0 +1,78 @@\n+; =============================================================================\n+; A list of the helper functions necessary in different inference rules\n+; -----------------------------------------------------------------------------\n+; Index\n+; - inversion-formula\n+; - simple-deduction-formula\n+; - find-replace\n+;------------------------------------------------------------------------------\n+\n+\n+; =============================================================================\n+; Inversion Formula\n+; sBA = (sAB * sB)/sA\n+; -----------------------------------------------------------------------------\n+\n+(define (inversion-formula sAB sA sB)\n+\t(/ (* sAB sB) sA))","path":"opencog/reasoning/pln/rules/formulas.scm","position":17,"original_position":17,"commit_id":"379552b6614167f87fcab3f851e5b20d0d2c0e40","original_commit_id":"379552b6614167f87fcab3f851e5b20d0d2c0e40","user":{"login":"AmeBel","id":2135577,"avatar_url":"https://avatars.githubusercontent.com/u/2135577?v=3","gravatar_id":"","url":"https://api.github.com/users/AmeBel","html_url":"https://github.com/AmeBel","followers_url":"https://api.github.com/users/AmeBel/followers","following_url":"https://api.github.com/users/AmeBel/following{/other_user}","gists_url":"https://api.github.com/users/AmeBel/gists{/gist_id}","starred_url":"https://api.github.com/users/AmeBel/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/AmeBel/subscriptions","organizations_url":"https://api.github.com/users/AmeBel/orgs","repos_url":"https://api.github.com/users/AmeBel/repos","events_url":"https://api.github.com/users/AmeBel/events{/privacy}","received_events_url":"https://api.github.com/users/AmeBel/received_events","type":"User","site_admin":false},"body":"@moikle what should be the case when sA=0","created_at":"2015-05-06T04:52:29Z","updated_at":"2015-05-06T04:52:29Z","html_url":"https://github.com/opencog/opencog/pull/1593#discussion_r29734225","pull_request_url":"https://api.github.com/repos/opencog/opencog/pulls/1593","_links":{"self":{"href":"https://api.github.com/repos/opencog/opencog/pulls/comments/29734225"},"html":{"href":"https://github.com/opencog/opencog/pull/1593#discussion_r29734225"},"pull_request":{"href":"https://api.github.com/repos/opencog/opencog/pulls/1593"}}},"pull_request":{"url":"https://api.github.com/repos/opencog/opencog/pulls/1593","id":34759403,"html_url":"https://github.com/opencog/opencog/pull/1593","diff_url":"https://github.com/opencog/opencog/pull/1593.diff","patch_url":"https://github.com/opencog/opencog/pull/1593.patch","issue_url":"https://api.github.com/repos/opencog/opencog/issues/1593","number":1593,"state":"open","locked":false,"title":"Added/modified all socrates example pln rules","user":{"login":"prateeksaxena2809","id":7004450,"avatar_url":"https://avatars.githubusercontent.com/u/7004450?v=3","gravatar_id":"","url":"https://api.github.com/users/prateeksaxena2809","html_url":"https://github.com/prateeksaxena2809","followers_url":"https://api.github.com/users/prateeksaxena2809/followers","following_url":"https://api.github.com/users/prateeksaxena2809/following{/other_user}","gists_url":"https://api.github.com/users/prateeksaxena2809/gists{/gist_id}","starred_url":"https://api.github.com/users/prateeksaxena2809/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/prateeksaxena2809/subscriptions","organizations_url":"https://api.github.com/users/prateeksaxena2809/orgs","repos_url":"https://api.github.com/users/prateeksaxena2809/repos","events_url":"https://api.github.com/users/prateeksaxena2809/events{/privacy}","received_events_url":"https://api.github.com/users/prateeksaxena2809/received_events","type":"User","site_admin":false},"body":"Added 5 PLN rules:\r\n1. Abduction Rule\r\n2. Member To Evaluation Rule\r\n3. Evaluation To Member Rule\r\n4. Member To Inheritance Rule\r\n5. Inheritance To Member Rule\r\n\r\nand modified the Deduction Rule.","created_at":"2015-05-05T19:41:09Z","updated_at":"2015-05-06T04:52:29Z","closed_at":null,"merged_at":null,"merge_commit_sha":"b2b22706f56c58b11cbb051d056477eb58404a97","assignee":null,"milestone":null,"commits_url":"https://api.github.com/repos/opencog/opencog/pulls/1593/commits","review_comments_url":"https://api.github.com/repos/opencog/opencog/pulls/1593/comments","review_comment_url":"https://api.github.com/repos/opencog/opencog/pulls/comments{/number}","comments_url":"https://api.github.com/repos/opencog/opencog/issues/1593/comments","statuses_url":"https://api.github.com/repos/opencog/opencog/statuses/379552b6614167f87fcab3f851e5b20d0d2c0e40","head":{"label":"prateeksaxena2809:socrates-pln-rules","ref":"socrates-pln-rules","sha":"379552b6614167f87fcab3f851e5b20d0d2c0e40","user":{"login":"prateeksaxena2809","id":7004450,"avatar_url":"https://avatars.githubusercontent.com/u/7004450?v=3","gravatar_id":"","url":"https://api.github.com/users/prateeksaxena2809","html_url":"https://github.com/prateeksaxena2809","followers_url":"https://api.github.com/users/prateeksaxena2809/followers","following_url":"https://api.github.com/users/prateeksaxena2809/following{/other_user}","gists_url":"https://api.github.com/users/prateeksaxena2809/gists{/gist_id}","starred_url":"https://api.github.com/users/prateeksaxena2809/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/prateeksaxena2809/subscriptions","organizations_url":"https://api.github.com/users/prateeksaxena2809/orgs","repos_url":"https://api.github.com/users/prateeksaxena2809/repos","events_url":"https://api.github.com/users/prateeksaxena2809/events{/privacy}","received_events_url":"https://api.github.com/users/prateeksaxena2809/received_events","type":"User","site_admin":false},"repo":{"id":32343933,"name":"opencog","full_name":"prateeksaxena2809/opencog","owner":{"login":"prateeksaxena2809","id":7004450,"avatar_url":"https://avatars.githubusercontent.com/u/7004450?v=3","gravatar_id":"","url":"https://api.github.com/users/prateeksaxena2809","html_url":"https://github.com/prateeksaxena2809","followers_url":"https://api.github.com/users/prateeksaxena2809/followers","following_url":"https://api.github.com/users/prateeksaxena2809/following{/other_user}","gists_url":"https://api.github.com/users/prateeksaxena2809/gists{/gist_id}","starred_url":"https://api.github.com/users/prateeksaxena2809/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/prateeksaxena2809/subscriptions","organizations_url":"https://api.github.com/users/prateeksaxena2809/orgs","repos_url":"https://api.github.com/users/prateeksaxena2809/repos","events_url":"https://api.github.com/users/prateeksaxena2809/events{/privacy}","received_events_url":"https://api.github.com/users/prateeksaxena2809/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/prateeksaxena2809/opencog","description":"A framework for integrated Artificial Intelligence & Artificial General Intelligence (AGI)","fork":true,"url":"https://api.github.com/repos/prateeksaxena2809/opencog","forks_url":"https://api.github.com/repos/prateeksaxena2809/opencog/forks","keys_url":"https://api.github.com/repos/prateeksaxena2809/opencog/keys{/key_id}","collaborators_url":"https://api.github.com/repos/prateeksaxena2809/opencog/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/prateeksaxena2809/opencog/teams","hooks_url":"https://api.github.com/repos/prateeksaxena2809/opencog/hooks","issue_events_url":"https://api.github.com/repos/prateeksaxena2809/opencog/issues/events{/number}","events_url":"https://api.github.com/repos/prateeksaxena2809/opencog/events","assignees_url":"https://api.github.com/repos/prateeksaxena2809/opencog/assignees{/user}","branches_url":"https://api.github.com/repos/prateeksaxena2809/opencog/branches{/branch}","tags_url":"https://api.github.com/repos/prateeksaxena2809/opencog/tags","blobs_url":"https://api.github.com/repos/prateeksaxena2809/opencog/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/prateeksaxena2809/opencog/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/prateeksaxena2809/opencog/git/refs{/sha}","trees_url":"https://api.github.com/repos/prateeksaxena2809/opencog/git/trees{/sha}","statuses_url":"https://api.github.com/repos/prateeksaxena2809/opencog/statuses/{sha}","languages_url":"https://api.github.com/repos/prateeksaxena2809/opencog/languages","stargazers_url":"https://api.github.com/repos/prateeksaxena2809/opencog/stargazers","contributors_url":"https://api.github.com/repos/prateeksaxena2809/opencog/contributors","subscribers_url":"https://api.github.com/repos/prateeksaxena2809/opencog/subscribers","subscription_url":"https://api.github.com/repos/prateeksaxena2809/opencog/subscription","commits_url":"https://api.github.com/repos/prateeksaxena2809/opencog/commits{/sha}","git_commits_url":"https://api.github.com/repos/prateeksaxena2809/opencog/git/commits{/sha}","comments_url":"https://api.github.com/repos/prateeksaxena2809/opencog/comments{/number}","issue_comment_url":"https://api.github.com/repos/prateeksaxena2809/opencog/issues/comments{/number}","contents_url":"https://api.github.com/repos/prateeksaxena2809/opencog/contents/{+path}","compare_url":"https://api.github.com/repos/prateeksaxena2809/opencog/compare/{base}...{head}","merges_url":"https://api.github.com/repos/prateeksaxena2809/opencog/merges","archive_url":"https://api.github.com/repos/prateeksaxena2809/opencog/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/prateeksaxena2809/opencog/downloads","issues_url":"https://api.github.com/repos/prateeksaxena2809/opencog/issues{/number}","pulls_url":"https://api.github.com/repos/prateeksaxena2809/opencog/pulls{/number}","milestones_url":"https://api.github.com/repos/prateeksaxena2809/opencog/milestones{/number}","notifications_url":"https://api.github.com/repos/prateeksaxena2809/opencog/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/prateeksaxena2809/opencog/labels{/name}","releases_url":"https://api.github.com/repos/prateeksaxena2809/opencog/releases{/id}","created_at":"2015-03-16T18:13:50Z","updated_at":"2015-03-16T18:14:00Z","pushed_at":"2015-05-05T20:48:56Z","git_url":"git://github.com/prateeksaxena2809/opencog.git","ssh_url":"git@github.com:prateeksaxena2809/opencog.git","clone_url":"https://github.com/prateeksaxena2809/opencog.git","svn_url":"https://github.com/prateeksaxena2809/opencog","homepage":"http://wiki.opencog.org/w/Development","size":136413,"stargazers_count":0,"watchers_count":0,"language":"C++","has_issues":false,"has_downloads":true,"has_wiki":false,"has_pages":false,"forks_count":0,"mirror_url":null,"open_issues_count":0,"forks":0,"open_issues":0,"watchers":0,"default_branch":"master"}},"base":{"label":"opencog:master","ref":"master","sha":"3579af301273b457f19df4a3db63fa0898b4fd7a","user":{"login":"opencog","id":2109913,"avatar_url":"https://avatars.githubusercontent.com/u/2109913?v=3","gravatar_id":"","url":"https://api.github.com/users/opencog","html_url":"https://github.com/opencog","followers_url":"https://api.github.com/users/opencog/followers","following_url":"https://api.github.com/users/opencog/following{/other_user}","gists_url":"https://api.github.com/users/opencog/gists{/gist_id}","starred_url":"https://api.github.com/users/opencog/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/opencog/subscriptions","organizations_url":"https://api.github.com/users/opencog/orgs","repos_url":"https://api.github.com/users/opencog/repos","events_url":"https://api.github.com/users/opencog/events{/privacy}","received_events_url":"https://api.github.com/users/opencog/received_events","type":"Organization","site_admin":false},"repo":{"id":6365343,"name":"opencog","full_name":"opencog/opencog","owner":{"login":"opencog","id":2109913,"avatar_url":"https://avatars.githubusercontent.com/u/2109913?v=3","gravatar_id":"","url":"https://api.github.com/users/opencog","html_url":"https://github.com/opencog","followers_url":"https://api.github.com/users/opencog/followers","following_url":"https://api.github.com/users/opencog/following{/other_user}","gists_url":"https://api.github.com/users/opencog/gists{/gist_id}","starred_url":"https://api.github.com/users/opencog/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/opencog/subscriptions","organizations_url":"https://api.github.com/users/opencog/orgs","repos_url":"https://api.github.com/users/opencog/repos","events_url":"https://api.github.com/users/opencog/events{/privacy}","received_events_url":"https://api.github.com/users/opencog/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/opencog/opencog","description":"A framework for integrated Artificial Intelligence & Artificial General Intelligence (AGI)","fork":false,"url":"https://api.github.com/repos/opencog/opencog","forks_url":"https://api.github.com/repos/opencog/opencog/forks","keys_url":"https://api.github.com/repos/opencog/opencog/keys{/key_id}","collaborators_url":"https://api.github.com/repos/opencog/opencog/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/opencog/opencog/teams","hooks_url":"https://api.github.com/repos/opencog/opencog/hooks","issue_events_url":"https://api.github.com/repos/opencog/opencog/issues/events{/number}","events_url":"https://api.github.com/repos/opencog/opencog/events","assignees_url":"https://api.github.com/repos/opencog/opencog/assignees{/user}","branches_url":"https://api.github.com/repos/opencog/opencog/branches{/branch}","tags_url":"https://api.github.com/repos/opencog/opencog/tags","blobs_url":"https://api.github.com/repos/opencog/opencog/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/opencog/opencog/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/opencog/opencog/git/refs{/sha}","trees_url":"https://api.github.com/repos/opencog/opencog/git/trees{/sha}","statuses_url":"https://api.github.com/repos/opencog/opencog/statuses/{sha}","languages_url":"https://api.github.com/repos/opencog/opencog/languages","stargazers_url":"https://api.github.com/repos/opencog/opencog/stargazers","contributors_url":"https://api.github.com/repos/opencog/opencog/contributors","subscribers_url":"https://api.github.com/repos/opencog/opencog/subscribers","subscription_url":"https://api.github.com/repos/opencog/opencog/subscription","commits_url":"https://api.github.com/repos/opencog/opencog/commits{/sha}","git_commits_url":"https://api.github.com/repos/opencog/opencog/git/commits{/sha}","comments_url":"https://api.github.com/repos/opencog/opencog/comments{/number}","issue_comment_url":"https://api.github.com/repos/opencog/opencog/issues/comments{/number}","contents_url":"https://api.github.com/repos/opencog/opencog/contents/{+path}","compare_url":"https://api.github.com/repos/opencog/opencog/compare/{base}...{head}","merges_url":"https://api.github.com/repos/opencog/opencog/merges","archive_url":"https://api.github.com/repos/opencog/opencog/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/opencog/opencog/downloads","issues_url":"https://api.github.com/repos/opencog/opencog/issues{/number}","pulls_url":"https://api.github.com/repos/opencog/opencog/pulls{/number}","milestones_url":"https://api.github.com/repos/opencog/opencog/milestones{/number}","notifications_url":"https://api.github.com/repos/opencog/opencog/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/opencog/opencog/labels{/name}","releases_url":"https://api.github.com/repos/opencog/opencog/releases{/id}","created_at":"2012-10-24T06:10:15Z","updated_at":"2015-05-06T03:34:18Z","pushed_at":"2015-05-06T03:34:17Z","git_url":"git://github.com/opencog/opencog.git","ssh_url":"git@github.com:opencog/opencog.git","clone_url":"https://github.com/opencog/opencog.git","svn_url":"https://github.com/opencog/opencog","homepage":"http://wiki.opencog.org/w/Development","size":151861,"stargazers_count":573,"watchers_count":573,"language":"C++","has_issues":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"forks_count":284,"mirror_url":null,"open_issues_count":92,"forks":284,"open_issues":92,"watchers":573,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/opencog/opencog/pulls/1593"},"html":{"href":"https://github.com/opencog/opencog/pull/1593"},"issue":{"href":"https://api.github.com/repos/opencog/opencog/issues/1593"},"comments":{"href":"https://api.github.com/repos/opencog/opencog/issues/1593/comments"},"review_comments":{"href":"https://api.github.com/repos/opencog/opencog/pulls/1593/comments"},"review_comment":{"href":"https://api.github.com/repos/opencog/opencog/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/opencog/opencog/pulls/1593/commits"},"statuses":{"href":"https://api.github.com/repos/opencog/opencog/statuses/379552b6614167f87fcab3f851e5b20d0d2c0e40"}}}}