I know what is the emotional consequence, however, to avoid bad or good feeling is so hard.
Because I, as the human-being, have been designed this way.
Why?
There must be some reasons.
One reason that I can see is to guarantee the matching process in order to preserve our existence.

I know what is the choice leading to, but I just got a side-effect… inevitable.

Don’t try to bother say “I’m sorry”. Just to avoid the consequence.
If you done something to the other, take its re-action.
This world is not only for you. Don’t think that everything should happen as you think.
Especially, you don’t have anyway to control anyone.The most thing you could do is to convince him.
No matter how hard you and long you cry, it’s only local effect.
The world still as it before, not even a millisec to stop for you.

And hope that he would agree with you and forgive you.

It’s very hard to control a guy who more clever than you.
But, it’s impossible to control him if you don’t really realize how far he is clever than you.

Instead of playing some game, I often create a program to play for me.
If it was possible, I wish to create a program that can do what ever I want.
That is a reason why I want to learn more about Artificial Intelligence.
I wish to get a program that can think for me.It’s the best program ever.

I’m not a hacker.I don’t hack directly into a game or an application.

I just have started my project to see a concrete implementation on a first order logic on Codeplex.The project is still unpublished as I planned to publish on the next month.This project contains a simple implementation which guide to my thesis of arugument extraction in the future and also should be useful for anyone who want to learn automate theorem proving.Check it out!

LogicLearning with F# - Home

After two semesters passed, I’ve finally made a decision about my thesis. It’s a way approaching to real AI or an artificial consciousness.
But actually it’s an extraction of knowledge from text.I have to learn two important subjects that are: 1. Symbolic logic and 2. NLP

I’ve to begin with the special study on a first order logic and a Herbrand’s theorem. Prof. Dung have said that if I understand the theorem, I will be distinguished and might be called a Logician but I done think so.To be distinct, I have to create some thing like “Songphon’s theorem” and make sure that it isn’t going to be “Stupid theorem”.At the first time I was trying to read “the book”.I found out that it’s a bit easier than I though.However, after I’ve read it for several times, It become apparently more and more difficult.By starting question about proofs, I’ve dig into many resource on the internet just to realize that “the book”,which is suggested by Professor, is indeed the easiest one.

By spending my few week reading the book.I came up with some progress on my understanding which is concluded in the following list:

1. The important thing is an interpretation of the formula(just as my advisor mentioned,it’s really important).
2. Clause is a DNF of literal, while Set of clauses can be regarded as CNF of clauses.
3. By 2, it’s obvious to see that if all element a set of clauses S are interpreted into T, then S is satisfiable.
4. By 3, it’s also easy to see that if there is no such domain D and set of clauses S which can be interpreted into T, therefore S is unsatisfiable.
5. H-interpretation is really contracts of normal interpretation over Herbrand’s universe.
6. From now it’s not so hard to prove Herbrand’s theorem.

However, what I’m not so clear is:

1. How can we ensure that for an interpretation over any domain we can find a corresponding H-interpretation I*?
   There’s no proof in the book nor anywhere else.I just have to find out the answer my self.However, I believe that it might be subtle in the way to construct I* from I.

Right now, I think I just begin to feel it somehow.It seems to be more fun ahead!!!

Herbrand never die!

Just watch this an imagine the future of interaction between computer and human.

Origin : http://www.crunchgear.com/2009/06/01/microsoft-previews-project-natal/