Topic: Tau-Chain and Agoras Official Thread: Generalized P2P Network - page 170. (Read 309768 times)

I agree that the article should be much more explained. Your points help me to recognize where I need to put more emphasis.

A pointer to a wikipedia entry doesn't provide adequate support for your statement. The fact that you think it does means that our discussion is already at cross-purposes.

Throughout the document, you continually refer readers in a vague fashion to intellectually demanding areas of mathematics and logic as though you expect them to be able to work out for themselves the verification of your claims.

It is incumbent on you, the solicitor of investment funding, to provide a comprehensible explanation of how the work in these domains explicitly supports your approach, mere hand-waving references just won't do.

Cheers

Graham

Dear Graham,

you didnt give much detail here, but on the rest of your comment, so i can't answer to this part.


those are well known results. cf http://en.wikipedia.org/wiki/Intuitionistic_type_theory for example


by any means, i cannot see how automatic GUI building is more than a piece of cake. I've done such myself zillion times, for example, i already built automatic GUI with QT for my first sketches of zennet.


I do take into account that some logic algos here aren't trivial at all. Some will use SMT solvers, some are only human solvable, and some are not solvable or not known to be solvable. Still, many operations like consistency check can be done efficiently.


tx, nice paper, maybe will make a reference. wrt time ordering, ofc Satoshi ideas have to take place.


Let's keep the discussion going and see where it takes us. I cannot answer such a vague claim, ofc. You sound like you know what you're talking about, and I'm very happy to learn.

Note that I've edited the messege on the prev thread, givin 25% discount for early buyers.
wrt that, can we please copy to here our conversation there, so the transition msg to that thread will stay last?


tauchain is a platform. Agoras will be a product over it, implementing markets, where zennet market type is only one supported kind there.


haven't decided yet

Very nice. Glad I made the front page!

edit (20th November 2015):
I was just looking through here wishing I saw this when it was released... Then I saw that I was here right on the front page. Haha

Well, I get where you're planning to go but i) the rationale is somewhat trivially showy and you seem to have both ii) seriously overestimated the capabilities of the current technology and iii) seriously underestimated the scope and scale of the challenge (to a degree that forces me to question the depth of your understanding of the domain).

i) You need to provide more support for breathtakingly-wide statements such as “This class is isomorphic to the class of intuitionistic proofs.” (Can you prove it?)

ii) Let's take Déductions as an example, what is actually available is: “... rules in N3 language to generate simple Create-Update applications for Java Swing platform from OWL, RDFS, or UML ...” That's parsecs away from the capability that you're assuming will be available to underpin your modelling.

iii) The complexity of the modelling task militates against anything less powerful than OWL Full and that effectively renders the task impracticable with contemporary reasoners. And - you'll find out for yourself soon enough when you get down the nitty-gritty - all this nonsense about bolting ontologies together is just that.

BTW, you should probably include in the references Jezza Carroll and Chris Bizer's original paper: Modelling Context using Named Graphs. (And you should note that adopting this tactic for modelling context then obliges you to introduce and maintain an explicit temporal representation (of “now”) which is going to pose its own profound problems for the reasoning).

I will say that your approach is at least broadly coherent, as opposed to merely spouting risible gobbledygook like the other altcoins that purport to wave an AI flag.

$2m won't cover it though, $20m just might.

Cheers

Graham

This comment I dedicate to HunderMinerCrafter and Ohad:

The Blockchain is the first step in engineering a successful working decentralized system. A system that can increase precision as a product of security, based on network of users.

If you think in quantum term or probability terms, precision increased by more instances applied. In accounting, precision applied to security.
A system can be secured by a central force, or by a decentralized force. but a centralized force is very prone to a systematic failure, The kind we experience in the banking system. 
(The things we consider as AI is centralized while the things we try to create as synthetic life are indeed decentralized like our unaware consciousness.)

The one major problem with the blockchain is the 51% attack. A truly decentralized system have to be engineered  to deal with such problem.
Life is such a system.
The Tau-chain try to come closer to it. but I think that it is yet to resolve the one primary mechanism of transforming "TRUE" to "FALSE". and I will give you the Bob and Alice example to clarify my point:

Say that Bob and Alice had two children together and on custodian rights dispute Bob refuse to take a genetic test that aims to prove Alice's claim that the children are not Bob's. Assuming test can not be forced on the claimants, what would be the judge decision?

Now instead of a biased human judge we want an objective engineered system to decide.
Like most of you here, the system will conclude that since Bob don't want to take the test He is not sure that at least one of the children is biologically his. The judge however was not able to draw that conclusion. The judge facing the two in curt realized that Bob is the Mather's Barbara nick name, while Alice is The father's Alexander's nick name.

The point is that a system, any system that is not based on arbitrary axiom like mathematics, is pron to "General Consent".
And the challenge to overcome is finding the mechanism of transforming the binary equivalent of FALSE to the binary equivalent of TRUE. In other words, a system that can change polarization. In nature it is a gradual processes of a network reaching a tipping point.

In accounting it will create the same effect to prevent a 51% attack. But for complex systems aiming at content to be able to do this it have to be engineered in a way that both TRUE and FALSE satisfy some ratio and are interchangeable constantly.

Obviously I have no clue how to code such system since Im not a coder, and I know very little about computers, but in term of content, I can tell that the system have to always assume a number for 'general consent" level while calculating all individual disagreement into the final product. thus enoght single individual can always shift that "general consent" to a new figure.
On the way to achieve that constant "general consent" flexible number, we may need to practice change of polarization at a non adjustable  tipping point, that of 51%.

THIS MESSAGE MAY CHANGE PERIODICALLY
--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
Any structure, that of a building or that of a social organisation  was created  or is  running by an engineered program. Engineering being the set of rules applied to matter or living systems is that which is laid beneath anything whatsoever.
When we coin the term engineered we often assume a predetermined design executed  and controlled by the force of the designer engineer.. Engineering  often defined as the application of  knowledge in order to create something. But that definition apply only in the case of an external centralized fixed engineered scheme. The other type,The type that rules in most of nature's behavior and all forms of life is decentralized, and it is rarely  categorized as engineered unless assuming an external force, namely God.  When we come to asses the benefit of a decentralized system we are looking at the operation itself and not at how it was created.  An engineered system can be ruled internally by a small and powerful minority or by a large majority, but only a P2P network can be such that the power to change the design is equally divided between all participant at any given moment,  and the rules of the design can be affected and can evolve as a result of a direct feedback interaction between individuals and their environment Tau- Chain to my understanding is the next step in that direction..not only AI but A-Life, which on its most fundamental level is a decentralized P2P engineered scheme, set to create the most complex network of interaction limited by self destruction and navigated by the forces of both.

Whitepaper looks very interesting good luck OP!

1. There is a little bit unfair for the previous buyers, they are early buyers and take more risks but now they have to buy this coin at the same price(after calculating the discount), and BTC price keeps going down, in my opinion 50% retroactive discount makes sense, where is the 10% bounty for these early investors? These guys are the earliest and most faithful supporters of this project.

2. What's the difference between Tau-Chain and Zennet? I suppose you will continue decentralized Supercomputer on Tau-Chain but will have more features, correct?

3. If you don't hit the 2M$ goal when pre-sale ends, what will you deal with the left?

So... from what I saw you were telling people in the Zennet thread, there was a decentralized cloud computing project merging with a decentralized local market place app, or something similar.

Then I come here to look at it, open a whitepaper pdf, and it looks suspiciously like you guys are actually building what amounts to a giant artifical intelligence which is going to eat the internet.



Evil plotting racoon approves.

Unfortunately I can't really spare $100 - but I wish you luck.

No, in fact, not a coin. Though coins can be implemented over it.
Maybe some similarity with torrent, but the better word would be - ontologies.


I'll be glad for a feedback about unclear points from the paper. Yes, it is hard to explain, and I'm looking for the words to make it clearer. I'll therefore be very thankful for specific questions.

interesting
Dev, could you please give us more information about TC

Another torrent coin?

Getting place, looks interesting!