Re: [opencog-dev] Thoughts on ECAN testing, weak links, etc.

Dear OpenCog group, I think it would be better if you choose some more altruistic example, when you go public with this. Like connecting a disease with a cure in medicine, or alerting humanity for problems about polluting the Earth by unsolvable materials, or running out of the oil resources that

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

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

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

ord "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 i

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

Not to forget, languages A, B C and D from the previous post could all be different domains of the same language. 2017-04-20 20:53 GMT+02:00 Ivan Vodišek : > Yes Linas, thank you for response. That is why there is no exclusively > definite interpretation of any expression. Expression "

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

Hey Daniel, great to see someone interested in AGI :) How about us, humans, I mean how do we think? I'm not trying to resemble our neural networks, I took another, top-down approach, in between, but let's observe us as an thinking example. Do we see how our thoughts are formed? I think that we don

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

e. teleological) provide > > > Daniel > > On Thursday, 20 April 2017 23:40:05 UTC+3, Ivan Vodišek wrote: >> >> Hey Daniel, great to see someone interested in AGI :) >> >> How about us, humans, I mean how do we think? I'm not trying to resemble >> our

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

> > 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 h

Re: [opencog-dev] automated code generation

Correct me if I'm wrong, but isn't backward chainer what Dimitry is looking for? Is it possible to insert a set of formulas: (a -> T, b -> T, c -> T) ∨ (a -> T, b -> F, c -> T) ∨ (a -> F, b -> T, c -> T) ∨ (a -> F, b -> F, c -> T) ∨ (a -> T, b -> F, c -> F) ∨ (a -> F, b -> T, c -> F) (a1 ∧

Re: [opencog-dev] automated code generation

t domain choice. In another code example we start from natural language specification, and search for a source code equivalent by backward chaining. The only "but" is in complexity of source code fragments bindings to natural language. And it is a big "but", in my opinion.

Re: [opencog-dev] automated code generation

There has been a thing I'm working on more thoroughly, recently, and that is "intensional" representation of deduction/abduction tree. A classic way for deducing conclusions is extensional, meaning ranging over starting set of formulas and enriching the starting set by new conclusions, repeating t

Re: [opencog-dev] Re: automated code generation

Hi, alex :) > is this new idea what are your writing about ""intensional" > representation of deduction/abduction tree"? Do you have any literature or > references regarding this idea? I could be greate if You can share the > sources of your idea. I came onto this idea on my own (but maybe I'm

Re: [opencog-dev] Re: automated code generation

I think it was a very good decision not to be tied to a specific logic system, but to go a level further - to develop Atomese that can describe any system. I just don't get why didn't all of OpenCog add-ons (like MOSES) developed in Atomese. Why do you still have to use C, Scheme, Python and possib

Re: [opencog-dev] Re: automated code generation

Linas, thanks for a thoughtful explanations :-) 2017-05-10 2:53 GMT+02:00 Linas Vepstas : > Hi Ivan, > > On Tue, May 9, 2017 at 6:19 PM, Ivan Vodišek wrote: > >> I think it was a very good decision not to be tied to a specific logic >> system, but to go a level further -

Re: [opencog-dev] Graphs for the two representations of the knowledge and ideas about the third generation Cog system - MOC - MetaOmegaCog?

Hi Alex :) I'm just a lurker here most of the time, so you may want to skip my post. >From what I've learned by now of OpenCog, AtomSpace is pretty much what MMT is about: a foundation for implementing whatever framework is suitable to obtain some task. To digress a bit, I've been working myself o

Re: [opencog-dev] Contributing to Opencog

And is there a way to extract a documentation of the project in a way Javadoc works? That option would be of great help if it would be used. 2017-10-01 20:37 GMT+02:00 Mark Nuzz : > On Sun, Oct 1, 2017 at 11:32 AM, Ivan Vodišek > wrote: > > > > The key property of collab

Re: [opencog-dev] Contributing to Opencog

Then you have great powers over there. 2017-10-01 21:01 GMT+02:00 Mark Nuzz : > On Sun, Oct 1, 2017 at 11:53 AM, Ivan Vodišek > wrote: > > And is there a way to extract a documentation of the project in a way > > Javadoc works? That option would be of great help if it would

Re: [opencog-dev] Contributing to Opencog

> But Ivan, no one forks opencog; almost all extensions are placed back into the core code base. I'm aware of that. If someone forks the entire project, it would have been called some other name. I was referring to an imaginary system where the whole project would be a set of modules that work tog

Re: [opencog-dev] Contributing to Opencog

s talk in more > > detail later since I'm interested too, but I can't promise any > commitment as > > its tough these days for me to put in the hours in addition to what > keeps my > > bills paid... > > > > > > On Oct 2, 2017 9:50 PM, "Ivan

Re: [opencog-dev] Contributing to Opencog

Mark exactly hit the point I was trying to make. Imho, If I was joining an open source project, I would like to see availability for programmers to push any changes to any sub-area of the project without special permission of a higher force. My thoughts are striving towards decentralization here. B

Re: [opencog-dev] Re: Applicative Abstract Categorial Grammars

In my insights, logical formulas are merely yet another form by which we can process some reasoning in a certain, more or less well understood way. But, beside logic, I can imagine other forms of simulating human thoughts (take Lambda calculus for example). Moreover, even almighty logic has many fo

Re: [opencog-dev] neon: a database that works like git

Hello, Amirouche Boubekki :) May I ask, in your opinion, how would triple store be suitable for describing arbitrary algorithms? Possibility to describe algorithms, as a dynamic side of some AGI knowledge base, is a must have if we want the knowledge base system to be complete. I think hypergraphs

Re: [opencog-dev] neon: a database that works like git

I'd pick some Asimov-ish laws if I'd be near step 4, but I'd modify it to include all living beings, not only humans. This is what I've got so far: The law:* "If realizing an idea makes more negative emotions than without realizing it, don't realize it."* Of course, to put up a law of this level,

Re: [opencog-dev] neon: a database that works like git

e a general ethical plan of AGI, so we have a solid answer if someone asks what do we do in the name of safety. I did that plan for myself (and shared it about), and I expect the same from anyone who tries to build something smarter than humans. Please, consider it seriously. All the best, Ivan V.

Re: [opencog-dev] Functional Languages

Hi Ed :) When I think of AI, the first thing that comes to my mind is Logic science. It has operators like and, or, not, implication, that correspond to natural language words. Those operators are what is used in natural languages on general level, so It isn't strange that very Logic tries to mimi

[opencog-dev] P vs NP

Hello everyone :) I have a question regarding to my independent research relating to OpenCog. I read somewhere (I really don't remember where) that if P = NP then it would be beneficial to AI in general. There are science fields which would obvi

Re: [opencog-dev] P vs NP

ble to learn > an actual algorithm rather than a finite giant decision tree, that > performs worse that log, is more compact, but performs better than NP > for a bunch of real-world problems. > > Nil > > On 11/6/18 7:00 PM, Ivan Vodišek wrote: > > Hello everyone :) > >

Re: [opencog-dev] P vs NP

whole set of NP. čet, 8. stu 2018. u 07:17 'Nil Geisweiller' via opencog < opencog@googlegroups.com> napisao je: > Hello, > > On 11/7/18 4:44 PM, Ivan Vodišek wrote: > > My approach is to manually resolve some NP complete > > <https://en.wikipedia.org

Re: [opencog-dev] P vs NP

could be done with supercomputers running that experiment? čet, 8. stu 2018. u 15:33 'Nil Geisweiller' via opencog < opencog@googlegroups.com> napisao je: > On 11/8/18 11:25 AM, Ivan Vodišek wrote: > > By definition, NP-complete problems are such NP problems to which any &g

Re: [opencog-dev] P vs NP

r, and proceed with faster transforming-by-rules method. And again, if we could get any NP-complete algorithm optimized down to polynomial time, then P equals NP. čet, 8. stu 2018. u 17:53 Linas Vepstas napisao je: > > > On Thu, Nov 8, 2018 at 10:02 AM Ivan Vodišek wrote: > >

Re: [opencog-dev] P vs NP

ow to solve them in P. > > > > > > Obviously for a finite set of inputs, one can turn any complex > > > algorithm into a logarithmic one (think of a pre-calculated binary > > > decision tree, where each branch is a bit describing the input and > >

Re: [opencog-dev] P vs NP

ble for machine and human use, and I run for it big time for a long time now. So I kindly ask to excuse my, sometimes silly remarks, as I hope we could contribute each other's work. Sincerely, - Ivan V. - ned, 9. pro 2018. u 18:00 Ben Goertzel napisao je: > On Sun, Dec 9, 2018 at 11:37

Re: [opencog-dev] P vs NP

oment some general form of reasoning can take place, thus > it is handy to have it built-in. And as Ben said, it is only hardwired > at some places for efficiency reason. PLN rules being atoms it makes it > ultimately amenable to self-improvements, or to support other logics, > which is

Re: [opencog-dev] P vs NP

operators with no hard-wired constants other than true and false - all wrapped up in a human friendly code code processor. - Ivan V. - uto, 11. pro 2018. u 04:07 Linas Vepstas napisao je: > On Sun, Dec 9, 2018 at 11:55 AM Ivan Vodišek wrote: > > > > Oh, I see, I must be talking

Re: [opencog-dev] P vs NP

ate this in some direct, > detailed fashion. I have not yet found one. > > Zar, so second question, any chance at all you might be aware of > references for this? > > --linas > On Tue, Dec 11, 2018 at 2:24 AM Ivan Vodišek wrote: > > > > Linas, > > > > Th

Re: [opencog-dev] P vs NP

our notation? Can you represent something like > "Ivan wrote some code. Linas took a shower. Ivan wrote $X" and run > your system, and find that $X is grounded by "some code" ? What > notation would you use to express this? Or are you describing > something else?

Re: [opencog-dev] P vs NP

monologue and a possible question answering after that. The final goal would be a specific proposition for improving OpenCog, instead of having an endless chitchat. - Ivan V. - čet, 13. pro 2018. u 07:59 Linas Vepstas napisao je: > On Wed, Dec 12, 2018 at 2:28 AM Ivan Vodišek wrote: > >

Re: [opencog-dev] P vs NP

thoroughly study any nonsense I write as a guy watching from aside. So please, take my apology for being rude, especially to Linas, who is contributing a way better deal to this community than me. I'm sorry I abused your open minded attitude. - Ivan V. - čet, 13. pro 2018. u 12:55 Ivan Vodi