From 1a2fb3a9cea79d33725b394e6e4600090fbc0351 Mon Sep 17 00:00:00 2001
From: patham9 <patham9@91dfdad4-c543-0410-b26a-7d79dded8189>
Date: Fri, 25 Jul 2014 19:01:59 +0000
Subject: [PATCH] comment out structure mapping rule, because of truth value
inconsistency between question answering and forward chaining, and because it
contradicts minimalist philosophy.
---
nars_core_java/nars/inference/CompositionalRules.java | 3 ++-
nars_core_java/nars/inference/RuleTables.java | 4 ++--
2 files changed, 4 insertions(+), 3 deletions(-)
diff --git a/nars_core_java/nars/inference/CompositionalRules.java b/nars_core_java/nars/inference/CompositionalRules.java
index 2f41eaa..f73a794 100644
--- a/nars_core_java/nars/inference/CompositionalRules.java
+++ b/nars_core_java/nars/inference/CompositionalRules.java
@@ -213,6 +213,7 @@ public final class CompositionalRules {
* @param belief The second premise
* @param memory Reference to the memory
*/
+ /*
static boolean dedProductByQuestion(Task task, Memory memory) {
Sentence sentence=task.getSentence();
if(!sentence.isQuestion())
@@ -445,7 +446,7 @@ public final class CompositionalRules {
}
}
return false;
- }
+ }*/
/**
* {(&&,A,B,...)?, A,B} |- {(&&,A,B)}
diff --git a/nars_core_java/nars/inference/RuleTables.java b/nars_core_java/nars/inference/RuleTables.java
index 96a9c60..e72b326 100644
--- a/nars_core_java/nars/inference/RuleTables.java
+++ b/nars_core_java/nars/inference/RuleTables.java
@@ -61,9 +61,9 @@ public class RuleTables {
if (!memory.noResult() && task.getSentence().isJudgment()) {
return;
}
- if(CompositionalRules.dedProductByQuestion(task,memory)) {
+ /*if(CompositionalRules.dedProductByQuestion(task,memory)) {
return;
- }
+ }*/
CompositionalRules.dedConjunctionByQuestion(taskSentence, belief, memory);
short tIndex = tLink.getIndex(0);
short bIndex = bLink.getIndex(0);
--
GitLab