[opencog-dev] Re: Best texbook (most relevant to Opencog Node and Link Types) in Knowledge representation

[Alex]

I didn't read this discussion in its entirety, but just wanted to suggest 
nice 
article https://link.springer.com/chapter/10.1007%2F978-3-319-41649-6_11 - 
in which the pragmatic definition of understanding and meaning is given. 
The process understands phenomenon F if this process can 1) explain F; 2) 
predict F; 3) produce plans regarding F; 4) recreate F. The phenomenon F 
has meaning for some process if F is somehow related with the goals which 
process try to achieve. This is good starting point for measuring 
understanding and creating processes that maximizes understanding.

So - my 
approach https://groups.google.com/forum/#!topic/opencog/z_Uy5NYwjt4 is to 
create initial process with implemented understanding and learning 
capabilities and let this process to self-improve itself. So - this is step 
by step approach with human invovlement. Not so fancy approach as waiting 
for the full intelligence emerging from the large corpora, but, I guess, 
still good alternative path to AGI.

-- 
You received this message because you are subscribed to the Google Groups 
"opencog" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to opencog+unsubscr...@googlegroups.com.
To post to this group, send email to opencog@googlegroups.com.
Visit this group at https://groups.google.com/group/opencog.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/opencog/c851e465-4846-4b00-9456-d19a1b95cb1d%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [opencog-dev] Re: Calling forward/backward chainer

['Nil Geisweiller' via opencog]

Cool. Thanks. It's not high priority, though still important, to have a 
user error check so it might take a while before I add it. Of course if 
you or anyone wants to give it a stab it's always welcome.


Nil

On 04/22/2017 12:09 AM, Vishnu Priya wrote:



Thanks Nil. Yeah. That was the problem. I have mistakenly entered
the parameters. I did not get from any example file. Now it works as
expected.

I have also created a GitHub Issue for not returning appropriate err
message.


Cheers,
Vishnu








--
You received this message because you are subscribed to the Google
Groups "opencog" group.
To unsubscribe from this group and stop receiving emails from it, send
an email to opencog+unsubscr...@googlegroups.com
.
To post to this group, send email to opencog@googlegroups.com
.
Visit this group at https://groups.google.com/group/opencog.
To view this discussion on the web visit
https://groups.google.com/d/msgid/opencog/0bb6bf13-5ea0-46ec-948b-86c5b03ae9e5%40googlegroups.com
.
For more options, visit https://groups.google.com/d/optout.


--
You received this message because you are subscribed to the Google Groups 
"opencog" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to opencog+unsubscr...@googlegroups.com.
To post to this group, send email to opencog@googlegroups.com.
Visit this group at https://groups.google.com/group/opencog.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/opencog/4740908b-7ff3-5fb2-5dd0-104b7ca01c2b%40gmail.com.
For more options, visit https://groups.google.com/d/optout.

Re: [opencog-dev] Re: Calling forward/backward chainer

[Vishnu Priya]

Thanks Nil. Yeah. That was the problem. I have mistakenly entered the 
> parameters. I did not get from any example file. Now it works as expected. 

I have also created a GitHub Issue for not returning appropriate err 
message. 


Cheers,
Vishnu






  

-- 
You received this message because you are subscribed to the Google Groups 
"opencog" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to opencog+unsubscr...@googlegroups.com.
To post to this group, send email to opencog@googlegroups.com.
Visit this group at https://groups.google.com/group/opencog.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/opencog/0bb6bf13-5ea0-46ec-948b-86c5b03ae9e5%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [opencog-dev] Re: Calling forward/backward chainer

['Nil Geisweiller' via opencog]

Needless to say if you've got that from a documentation or example file, 
let me know so you or I can update it.


Nil

On 04/20/2017 10:54 PM, Vishnu Priya wrote:



I  installed the recent version and tried FC. Previously i used to
work with only three arguments. But now as it requires four
parameters, i gave empty ListLink additionally. But it throws Error.


My scm has:

 (load "/opt/opencog/opencog/pln/rules/deduction-rule.scm")

(InheritanceLink (stv 0.9 0.9)
(ConceptNode "tom")
(ConceptNode "human"))


(InheritanceLink (stv 0.9 0.9)
(ConceptNode "human")
(ConceptNode "speak"))


(define source
(InheritanceLink (stv 0.9 0.9)
(ConceptNode "tom")
(ConceptNode "human")))


(define base (ConceptNode "rule-base"))

(InheritanceLink
  (ConceptNode "rule-base")
  (ConceptNode "URE")
)

(ExecutionLink
   (SchemaNode "URE:maximum-iterations")
   (ConceptNode "rule-base")
   (NumberNode 20)
)

(MemberLink (stv 0.9 1)
  deduction-inheritance-rule-name
  (ConceptNode "rule-base")
)

(MemberLink (stv 0.5 1)
  deduction-implication-rule-name
  (ConceptNode "rule-base")
)

(MemberLink (stv 0.5 1)
  deduction-subset-rule-name
  (ConceptNode "rule-base")
)

When i run,
(cog-fc source base (List) (SetLink))

I get the following:

Backtrace:
In ice-9/boot-9.scm:
 157: 10 [catch #t # ...]
In unknown file:
   ?: 9 [apply-smob/1 #]
In ice-9/boot-9.scm:
 157: 8 [catch #t # ...]
In unknown file:
   ?: 7 [apply-smob/1 #]
   ?: 6 [call-with-input-string "(cog-fc source base (List)
(SetLink))\n" ...]
In ice-9/boot-9.scm:
2320: 5 [save-module-excursion #]
In ice-9/eval-string.scm:
  44: 4 [read-and-eval # #:lang ...]
  37: 3 [lp (cog-fc source base (List) (SetLink))]
In unknown file:
   ?: 2 [opencog-extension cog-fc (# # # #)]
In ice-9/boot-9.scm:
 102: 1 [#
C++-EXCEPTION ...]
In unknown file:
   ?: 0 [apply-smob/1 # C++-EXCEPTION ...]

ERROR: In procedure apply-smob/1:
ERROR: In procedure cog-fc: Not a node!
(/home/vishnu/atomspace/opencog/atoms/base/Atom.h:193)
Function args:
((InheritanceLink (stv 0,9 0,9)
   (ConceptNode "tom")
   (ConceptNode "human")
)
 (ConceptNode "rule-base")
 (ListLink
)
 (SetLink
)
)
ABORT: C++-EXCEPTION



--
You received this message because you are subscribed to the Google
Groups "opencog" group.
To unsubscribe from this group and stop receiving emails from it, send
an email to opencog+unsubscr...@googlegroups.com
.
To post to this group, send email to opencog@googlegroups.com
.
Visit this group at https://groups.google.com/group/opencog.
To view this discussion on the web visit
https://groups.google.com/d/msgid/opencog/640355b3-8649-4ee3-a682-85bbeb76811b%40googlegroups.com
.
For more options, visit https://groups.google.com/d/optout.


--
You received this message because you are subscribed to the Google Groups 
"opencog" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to opencog+unsubscr...@googlegroups.com.
To post to this group, send email to opencog@googlegroups.com.
Visit this group at https://groups.google.com/group/opencog.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/opencog/5647bdd1-781c-18b9-5519-7a145b8247bf%40gmail.com.
For more options, visit https://groups.google.com/d/optout.

Re: [opencog-dev] Re: Calling forward/backward chainer

['Nil Geisweiller' via opencog]

Hi Vishnu,

that's cause now the rule base comes first, as documented here 
http://wiki.opencog.org/w/URE_Configuration_Format#Usage


you need to enter

(cog-fc base source (List) (SetLink))

I did that change while streamlining the FC and the BC APIs.

So he URE tried to parse your source as if it were a rule-base. It's not 
a bug but ideally the URE should be able to detect that user error and 
return an appropriate message. If you could create an issue for that, 
that would be awesome, otherwise let me know I'll do it.


Nil

On 04/20/2017 10:54 PM, Vishnu Priya wrote:



I  installed the recent version and tried FC. Previously i used to
work with only three arguments. But now as it requires four
parameters, i gave empty ListLink additionally. But it throws Error.


My scm has:

 (load "/opt/opencog/opencog/pln/rules/deduction-rule.scm")

(InheritanceLink (stv 0.9 0.9)
(ConceptNode "tom")
(ConceptNode "human"))


(InheritanceLink (stv 0.9 0.9)
(ConceptNode "human")
(ConceptNode "speak"))


(define source
(InheritanceLink (stv 0.9 0.9)
(ConceptNode "tom")
(ConceptNode "human")))


(define base (ConceptNode "rule-base"))

(InheritanceLink
  (ConceptNode "rule-base")
  (ConceptNode "URE")
)

(ExecutionLink
   (SchemaNode "URE:maximum-iterations")
   (ConceptNode "rule-base")
   (NumberNode 20)
)

(MemberLink (stv 0.9 1)
  deduction-inheritance-rule-name
  (ConceptNode "rule-base")
)

(MemberLink (stv 0.5 1)
  deduction-implication-rule-name
  (ConceptNode "rule-base")
)

(MemberLink (stv 0.5 1)
  deduction-subset-rule-name
  (ConceptNode "rule-base")
)

When i run,
(cog-fc source base (List) (SetLink))

I get the following:

Backtrace:
In ice-9/boot-9.scm:
 157: 10 [catch #t # ...]
In unknown file:
   ?: 9 [apply-smob/1 #]
In ice-9/boot-9.scm:
 157: 8 [catch #t # ...]
In unknown file:
   ?: 7 [apply-smob/1 #]
   ?: 6 [call-with-input-string "(cog-fc source base (List)
(SetLink))\n" ...]
In ice-9/boot-9.scm:
2320: 5 [save-module-excursion #]
In ice-9/eval-string.scm:
  44: 4 [read-and-eval # #:lang ...]
  37: 3 [lp (cog-fc source base (List) (SetLink))]
In unknown file:
   ?: 2 [opencog-extension cog-fc (# # # #)]
In ice-9/boot-9.scm:
 102: 1 [#
C++-EXCEPTION ...]
In unknown file:
   ?: 0 [apply-smob/1 # C++-EXCEPTION ...]

ERROR: In procedure apply-smob/1:
ERROR: In procedure cog-fc: Not a node!
(/home/vishnu/atomspace/opencog/atoms/base/Atom.h:193)
Function args:
((InheritanceLink (stv 0,9 0,9)
   (ConceptNode "tom")
   (ConceptNode "human")
)
 (ConceptNode "rule-base")
 (ListLink
)
 (SetLink
)
)
ABORT: C++-EXCEPTION



--
You received this message because you are subscribed to the Google
Groups "opencog" group.
To unsubscribe from this group and stop receiving emails from it, send
an email to opencog+unsubscr...@googlegroups.com
.
To post to this group, send email to opencog@googlegroups.com
.
Visit this group at https://groups.google.com/group/opencog.
To view this discussion on the web visit
https://groups.google.com/d/msgid/opencog/640355b3-8649-4ee3-a682-85bbeb76811b%40googlegroups.com
.
For more options, visit https://groups.google.com/d/optout.


--
You received this message because you are subscribed to the Google Groups 
"opencog" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to opencog+unsubscr...@googlegroups.com.
To post to this group, send email to opencog@googlegroups.com.
Visit this group at https://groups.google.com/group/opencog.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/opencog/ad227c34-e36b-a68e-dccd-408d64d5c9a2%40gmail.com.
For more options, visit https://groups.google.com/d/optout.

Re: [opencog-dev] Re: Calling forward/backward chainer

[Linas Vepstas]

I assume that this is a bug somewhere, in the example, or wherever, and Nil
is the one to look at it. If this is in regard to a block of code in some
examples directory, open a bug report.  If you want to be totally awesome
 then track down the bug, and provide a patch?

--linas

On Fri, Apr 21, 2017 at 9:55 AM, Vishnu Priya 
wrote:

>
> Hi Linas,
>
> I have also tried providing variable declaration parameter and ran
>> myfrog.scm
>
>
>> (cog-fc source wiki (VariableNode "x" ) (SetLink)). Still got the same
>> error. :-(
>
>
>  Backtrace:
> In ice-9/boot-9.scm:
>  157: 10 [catch #t # ...]
> In unknown file:
>?: 9 [apply-smob/1 #]
> In ice-9/boot-9.scm:
>  157: 8 [catch #t # ...]
> In unknown file:
>?: 7 [apply-smob/1 #]
>?: 6 [call-with-input-string "(cog-fc source wiki (VariableNode \"x\" )
> (SetLink))\n" ...]
> In ice-9/boot-9.scm:
> 2320: 5 [save-module-excursion # ice-9/eval-string.scm:65:9 ()>]
> In ice-9/eval-string.scm:
>   44: 4 [read-and-eval # #:lang ...]
>   37: 3 [lp (cog-fc source wiki (VariableNode "x") (SetLink))]
> In unknown file:
>?: 2 [opencog-extension cog-fc (# # # #)]
> In ice-9/boot-9.scm:
>  102: 1 [#
> C++-EXCEPTION ...]
> In unknown file:
>?: 0 [apply-smob/1 # C++-EXCEPTION ...]
>
> ERROR: In procedure apply-smob/1:
> ERROR: In procedure cog-fc: Not a node! (/home/vishnu/atomspace/
> opencog/atoms/base/Atom.h:193)
> Function args:
> ((InheritanceLink
>(ConceptNode "fritz")
>(ConceptNode "croaks")
> )
>  (ConceptNode "wikipedia-fc")
>  (VariableNode "x")
>  (SetLink
> )
> )
> ABORT: C++-EXCEPTION
>
>
>
> Thanks and regards,
> Vishnu
>
> --
> You received this message because you are subscribed to the Google Groups
> "opencog" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to opencog+unsubscr...@googlegroups.com.
> To post to this group, send email to opencog@googlegroups.com.
> Visit this group at https://groups.google.com/group/opencog.
> To view this discussion on the web visit https://groups.google.com/d/
> msgid/opencog/2e5cc79a-85d4-4628-8115-d27e8cf8c329%40googlegroups.com
> 
> .
>
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups 
"opencog" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to opencog+unsubscr...@googlegroups.com.
To post to this group, send email to opencog@googlegroups.com.
Visit this group at https://groups.google.com/group/opencog.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/opencog/CAHrUA35eMn%2BAHb5gRLZ%2BaMTN81PxJwzob6hvv2pvd_LmNib-kA%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Re: [opencog-dev] Re: Best texbook (most relevant to Opencog Node and Link Types) in Knowledge representation

[Linas Vepstas]

On Fri, Apr 21, 2017 at 10:12 AM, Daniel Gross  wrote:

> In context of A one morphism may hold, in context B another -- and you
> indicated two kinds of contexts, ) domains (swimming, rowing) and
> human-introspective-valueladen interpretive context.



To return to Alex's original question, there was a question of how to
represent knowledge in a computer.   So, for opencog, a very miniscule
subset of the knowledge graph might be:

ContextLink
 ConceptNode "swimming"
 EvalutaionLink
   PredicateNode "catch"
   PhysicalMotorMovementLink
 PositionLink...
 VelocityLink

that's the general idea. The above is actually a rather poor design for
representing that knowledge: instead of position and velocity, it should be
about hand and wrist. Instead of PredicateNode "catch" it should be
PredicateNode "catch as taught by Mark", with additional links to Mark and
why his technique differs from the catch as taught by coach Ted.  So this
simplistic graph representation blows up out of control very rapidly.
Which is why it cannot be hand-authored: its why the system must
automatically discern and learn such structures.

BTW, in opencog, any two-element link is a "morphism"

   SomeLink
SomeNode "source"
OtherNode "target"

Its OK to think of that as an arrow from source to target.  But its also OK
to think about it as a binary tree, with "SomeLink" being the root, and the
two nodes being the leaves.  So there are multiple ways to diagram these
things.

--linas

-- 
You received this message because you are subscribed to the Google Groups 
"opencog" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to opencog+unsubscr...@googlegroups.com.
To post to this group, send email to opencog@googlegroups.com.
Visit this group at https://groups.google.com/group/opencog.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/opencog/CAHrUA36-HaBRczgM-fLq54EtLpDFB29a-Fb1GNqCg%3DAqvshhbg%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Re: [opencog-dev] Re: Best texbook (most relevant to Opencog Node and Link Types) in Knowledge representation

[Linas Vepstas]

On Thu, Apr 20, 2017 at 4:34 PM, AT  wrote:

> It is quite obvious we are not really in OpenCog territory here



Why would you say that? The current coding task, in opencog, is to write
the code that can perform the things that you describe, that I talk about.
Although all of my examples may seem to be abstract, in the back of my
mind, I have some very concrete ideas about how to implement them, and this
is an active topic, for me.  We have not yet begun to talk about which line
of code in which files will do this stuff, but we are not that far from
this.

--linas

-- 
You received this message because you are subscribed to the Google Groups 
"opencog" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to opencog+unsubscr...@googlegroups.com.
To post to this group, send email to opencog@googlegroups.com.
Visit this group at https://groups.google.com/group/opencog.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/opencog/CAHrUA36jS6n5H8QdZq7BaK9W0kK-x%2BhiNYrJCOPdksGhYdi96A%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Re: [opencog-dev] Re: Best texbook (most relevant to Opencog Node and Link Types) in Knowledge representation

[Linas Vepstas]

On Thu, Apr 20, 2017 at 2:37 PM, Daniel Gross  wrote:

>  so i wonder where is the meaning in this kind of machine . -- if the
> semantic graph is actually constructed out of the machine learned parse of
> natural language text without a predefined mapping to a semantic graph
> (which is what ones want to build in the first place).
>
> I think this is essentially what confuses me -- if i managed to explain it
> correctly ... .
>

I claim that there is nothing more to meaning than the semantic graph. It's
all there is, and that's that.

The turtle example: does the word "turtle" mean anything more than what you
could ever say about it? Where, by "saying", I mean: twittering, blogging,
writing a book, showing a photo, singing a song, dancing, or creating an
architectural work?  What more could "turtle" mean, if it is not definable
in one of these expressions?

Post-modern literary critics have already deconstructed "meaning" for holy
saints and seers: yes, you can go up into the mountains, hallucinate, have
an epiphany, talk to god, and carve two stone tablets with ten rules that
attempt to describe "turtleness" and utterly fail to capture the true core
nature of that epiphany.  So, yes, "true knowledge" is locked up inside of
us, and ultimately, we have no practical technology by which we can express
our individual, personal, inner understanding of "turtle" to outsiders.
Bummer. My understanding of "turtle" is forever locked away in my brain, at
least until we have better MRI machines. But I accept that a narrative of
words and pictures is a reasonable facsimile, expression thereof.


--linas

-- 
You received this message because you are subscribed to the Google Groups 
"opencog" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to opencog+unsubscr...@googlegroups.com.
To post to this group, send email to opencog@googlegroups.com.
Visit this group at https://groups.google.com/group/opencog.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/opencog/CAHrUA37GVRtLmY0BmYLyCbGHPRBHz1yY7yaFyozJo2%3DaXU3nxg%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Re: [opencog-dev] Re: Best texbook (most relevant to Opencog Node and Link Types) in Knowledge representation

[Daniel Gross]

Hi Linas, 

I think you "morphism" example is very interesting and just to emphasize a 
key insight -- context. 

In context of A one morphism may hold, in context B another -- and you 
indicated two kinds of contexts, ) domains (swimming, rowing) and 
human-introspective-valueladen interpretive context. 

thank you,

Daniel

On Friday, 21 April 2017 18:02:03 UTC+3, linas wrote:
>
> Ivan,
>  what I wanted to say is that meaning depends not only on the language, 
> but also on the person, and it changes over time. Most people agree on the 
> meanings of most words, most of the time, but not always.  Best example is 
> the slang of some subculture. If the subculture is a gang, there moght only 
> be 10 or 20 people in the world who understand and mostly agree on the 
> meanings of some of the words that the gang uses. And even then, they might 
> not agree, due to some confusion.
>
> Yes, meaning might be a morphism: (a morphism being an arrow between two 
> things, what you called "source" and "target")  Meaning might be more than 
> just a morphism between concdpts or words; it may be a morphism between 
> structures. In the context of "rowing", the word "catch" corresponds to a 
> specific set of physical movements.  In the context of "swimming", it means 
> something conceptually similar, but physically not the same.  In the 
> context of "baseball", it's completely different.
>
> On Thu, Apr 20, 2017 at 1:53 PM, Ivan Vodišek  > wrote:
>
>> Yes Linas, thank you for response. That is why there is no exclusively 
>> definite interpretation of any expression. Expression "space" can be 
>> translated to numerous meanings, with each meaning having its own, slightly 
>> different interpretation in its own language. If we think about 
>> "Multiverse", notion "space" could look differently in each Universe 
>> sourcing from Multiverse (I hope my imagination doesn't spoil my 
>> arguments). If we tie semantics not only to starting expression, but also 
>> provide the second parameter (target), we have opportunity to define 
>> semantics as a function of two parameters: source Universe and target 
>> Universe. And even when we reach target Universe, there are options to 
>> define ambiguities of a single target expression, I agree.
>>
>> So the question we have to ask when we seek for *a* semantics of an 
>> expression should have the following form: What does expression X in 
>> language A means in language B, C or, maybe, D?
>>
>> Ivan
>>
>>
>> 2017-04-20 20:30 GMT+02:00 Linas Vepstas > >:
>>
>>> Ivan, I mostly agree (superficially) with most of what you are saying, 
>>> but: I notice you avoid or over-simplify the issues mentioned in the 
>>> wikipedia article "upper ontology".  The points are two fold: different 
>>> human beings have subtley different "upper ontologies", they tend to change 
>>> over time, they are often logically inconsistent, and they are strongly 
>>> tied to mood, alertness, voluability, life-experiences, culture, language.  
>>> The way that Russians, Americans and Chinese think about "outer space" is 
>>> different: not only is there no direct word-for-word translation for this 
>>> concept, but its worse: different people put different emphasis on what is 
>>> important about space, what its important defining characteristics are.  
>>> For some people, "space is infinite", for other people, "space is where 
>>> star trek happens", for others still "space is boring, inner space is what 
>>> we should explore".  So the "meaning" of the word "space" depends on the 
>>> individual, and on their identity, their "value system" (what they consider 
>>> to be important) and their *political* perspective.  Overtly political, 
>>> even: "space should be conquered, and the conqueror gets to put their 
>>> national flag on it, and claim all economic extractive rights". So what is 
>>> "space", really?
>>>
>>> --linas
>>>
>>> On Thu, Apr 20, 2017 at 12:25 PM, Ivan Vodišek >> > wrote:
>>>
 Hi all :)

 May I say a few words about semantics? In my work on describing 
 knowledge, I've concluded that a semantics (meaning) of an expression is 
 merely an abstract concept of thought that relates the expression to its 
 interpretation in another (or the same) language for which we already know 
 its interpretation. Let's say we have unknown language A and already known 
 language B in which the language A can be expressed. To know semantics of 
 our language A (in the terms of B) is to know how to translate language A 
 to language B, under assumption that we already know semantics of B.

 If we think about it in a natural way, how do we explain to someone a 
 meaning of some expression? What we do in this situation is that we 
 actually translate the expression unknown to that person to a form that is 
 known by that person. For example, how do we explain in known language 
 

Re: [opencog-dev] Re: Best texbook (most relevant to Opencog Node and Link Types) in Knowledge representation

[Linas Vepstas]

Ivan,
 what I wanted to say is that meaning depends not only on the language, but
also on the person, and it changes over time. Most people agree on the
meanings of most words, most of the time, but not always.  Best example is
the slang of some subculture. If the subculture is a gang, there moght only
be 10 or 20 people in the world who understand and mostly agree on the
meanings of some of the words that the gang uses. And even then, they might
not agree, due to some confusion.

Yes, meaning might be a morphism: (a morphism being an arrow between two
things, what you called "source" and "target")  Meaning might be more than
just a morphism between concdpts or words; it may be a morphism between
structures. In the context of "rowing", the word "catch" corresponds to a
specific set of physical movements.  In the context of "swimming", it means
something conceptually similar, but physically not the same.  In the
context of "baseball", it's completely different.

On Thu, Apr 20, 2017 at 1:53 PM, Ivan Vodišek  wrote:

> Yes Linas, thank you for response. That is why there is no exclusively
> definite interpretation of any expression. Expression "space" can be
> translated to numerous meanings, with each meaning having its own, slightly
> different interpretation in its own language. If we think about
> "Multiverse", notion "space" could look differently in each Universe
> sourcing from Multiverse (I hope my imagination doesn't spoil my
> arguments). If we tie semantics not only to starting expression, but also
> provide the second parameter (target), we have opportunity to define
> semantics as a function of two parameters: source Universe and target
> Universe. And even when we reach target Universe, there are options to
> define ambiguities of a single target expression, I agree.
>
> So the question we have to ask when we seek for *a* semantics of an
> expression should have the following form: What does expression X in
> language A means in language B, C or, maybe, D?
>
> Ivan
>
>
> 2017-04-20 20:30 GMT+02:00 Linas Vepstas :
>
>> Ivan, I mostly agree (superficially) with most of what you are saying,
>> but: I notice you avoid or over-simplify the issues mentioned in the
>> wikipedia article "upper ontology".  The points are two fold: different
>> human beings have subtley different "upper ontologies", they tend to change
>> over time, they are often logically inconsistent, and they are strongly
>> tied to mood, alertness, voluability, life-experiences, culture, language.
>> The way that Russians, Americans and Chinese think about "outer space" is
>> different: not only is there no direct word-for-word translation for this
>> concept, but its worse: different people put different emphasis on what is
>> important about space, what its important defining characteristics are.
>> For some people, "space is infinite", for other people, "space is where
>> star trek happens", for others still "space is boring, inner space is what
>> we should explore".  So the "meaning" of the word "space" depends on the
>> individual, and on their identity, their "value system" (what they consider
>> to be important) and their *political* perspective.  Overtly political,
>> even: "space should be conquered, and the conqueror gets to put their
>> national flag on it, and claim all economic extractive rights". So what is
>> "space", really?
>>
>> --linas
>>
>> On Thu, Apr 20, 2017 at 12:25 PM, Ivan Vodišek 
>> wrote:
>>
>>> Hi all :)
>>>
>>> May I say a few words about semantics? In my work on describing
>>> knowledge, I've concluded that a semantics (meaning) of an expression is
>>> merely an abstract concept of thought that relates the expression to its
>>> interpretation in another (or the same) language for which we already know
>>> its interpretation. Let's say we have unknown language A and already known
>>> language B in which the language A can be expressed. To know semantics of
>>> our language A (in the terms of B) is to know how to translate language A
>>> to language B, under assumption that we already know semantics of B.
>>>
>>> If we think about it in a natural way, how do we explain to someone a
>>> meaning of some expression? What we do in this situation is that we
>>> actually translate the expression unknown to that person to a form that is
>>> known by that person. For example, how do we explain in known language what
>>> some word from another language means? We simply show how to translate it.
>>> As simple as that.
>>>
>>> So, one might pose a question: "If semantics are all relative to the
>>> next member in the chain, what are semantics of the ending chain member?"
>>> On this thought, all I have right now are indices that the ending chain
>>> member is the Universe itself. If this is true, then every conceivable
>>> thought has its interpretation as an system inside Universe, with all of
>>> its static or dynamic states. Once we can 

Re: [opencog-dev] Re: Calling forward/backward chainer

[Linas Vepstas]

Maybe the (List) should have been a node?? At any rate, cog-fc should check
its arguments for validity, before proceeding.

--linas

On Thu, Apr 20, 2017 at 2:54 PM, Vishnu Priya 
wrote:

>
>
> I  installed the recent version and tried FC. Previously i used to work
>> with only three arguments. But now as it requires four parameters, i gave
>> empty ListLink additionally. But it throws Error.
>
>
> My scm has:
>
>  (load "/opt/opencog/opencog/pln/rules/deduction-rule.scm")
>
> (InheritanceLink (stv 0.9 0.9)
> (ConceptNode "tom")
> (ConceptNode "human"))
>
>
> (InheritanceLink (stv 0.9 0.9)
> (ConceptNode "human")
> (ConceptNode "speak"))
>
>
> (define source
> (InheritanceLink (stv 0.9 0.9)
> (ConceptNode "tom")
> (ConceptNode "human")))
>
>
> (define base (ConceptNode "rule-base"))
>
> (InheritanceLink
>   (ConceptNode "rule-base")
>   (ConceptNode "URE")
> )
>
> (ExecutionLink
>(SchemaNode "URE:maximum-iterations")
>(ConceptNode "rule-base")
>(NumberNode 20)
> )
>
> (MemberLink (stv 0.9 1)
>   deduction-inheritance-rule-name
>   (ConceptNode "rule-base")
> )
>
> (MemberLink (stv 0.5 1)
>   deduction-implication-rule-name
>   (ConceptNode "rule-base")
> )
>
> (MemberLink (stv 0.5 1)
>   deduction-subset-rule-name
>   (ConceptNode "rule-base")
> )
>
> When i run,
> (cog-fc source base (List) (SetLink))
>
> I get the following:
>
> Backtrace:
> In ice-9/boot-9.scm:
>  157: 10 [catch #t # ...]
> In unknown file:
>?: 9 [apply-smob/1 #]
> In ice-9/boot-9.scm:
>  157: 8 [catch #t # ...]
> In unknown file:
>?: 7 [apply-smob/1 #]
>?: 6 [call-with-input-string "(cog-fc source base (List) (SetLink))\n"
> ...]
> In ice-9/boot-9.scm:
> 2320: 5 [save-module-excursion # ice-9/eval-string.scm:65:9 ()>]
> In ice-9/eval-string.scm:
>   44: 4 [read-and-eval # #:lang ...]
>   37: 3 [lp (cog-fc source base (List) (SetLink))]
> In unknown file:
>?: 2 [opencog-extension cog-fc (# # # #)]
> In ice-9/boot-9.scm:
>  102: 1 [#
> C++-EXCEPTION ...]
> In unknown file:
>?: 0 [apply-smob/1 # C++-EXCEPTION ...]
>
> ERROR: In procedure apply-smob/1:
> ERROR: In procedure cog-fc: Not a node! (/home/vishnu/atomspace/
> opencog/atoms/base/Atom.h:193)
> Function args:
> ((InheritanceLink (stv 0,9 0,9)
>(ConceptNode "tom")
>(ConceptNode "human")
> )
>  (ConceptNode "rule-base")
>  (ListLink
> )
>  (SetLink
> )
> )
> ABORT: C++-EXCEPTION
>
>
>
> --
> You received this message because you are subscribed to the Google Groups
> "opencog" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to opencog+unsubscr...@googlegroups.com.
> To post to this group, send email to opencog@googlegroups.com.
> Visit this group at https://groups.google.com/group/opencog.
> To view this discussion on the web visit https://groups.google.com/d/
> msgid/opencog/640355b3-8649-4ee3-a682-85bbeb76811b%40googlegroups.com
> 
> .
>
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups 
"opencog" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to opencog+unsubscr...@googlegroups.com.
To post to this group, send email to opencog@googlegroups.com.
Visit this group at https://groups.google.com/group/opencog.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/opencog/CAHrUA34VYpqLj0P%2BgqPibG%2BTRwifTEJE73k0jaJTouTf0p_uiw%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Re: [opencog-dev] Re: Best texbook (most relevant to Opencog Node and Link Types) in Knowledge representation

[Ivan Vodišek]

>
> Hi Ivan,
> I think best if you can spend a bit time on working on a few
> representative examples that shows what you can do with your embedded
> language. AI discussions tend to get very abstract, very quickly :-), so to
> "engineer" ground ourselves its best to talk by way of examples. This helps
> highlight what one really *means* :-) by what one does.
> thank you,
> Daniel


Tx for an useful advice. It makes sense that a theory without a practical
solutions doesn't catch in no one's ear. I'll work on it a bit more soon.
In a meanwhile, let's return to OpenCog.

ivan

-- 
You received this message because you are subscribed to the Google Groups 
"opencog" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to opencog+unsubscr...@googlegroups.com.
To post to this group, send email to opencog@googlegroups.com.
Visit this group at https://groups.google.com/group/opencog.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/opencog/CAB5%3Dj6W7Ga0ouUbCPnrKkHS1z8sj%2BPz%3Dti6%2BkpworuTXzuv63w%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.