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/

คอมไพล์เลอร์คือตัวแปลงภาษา ซึ่งโดยทั่วไปหมายถึงการแปลภาษาระดับสูงไปเป็นภาษาระดับต่ำ
โดยที่ในระหว่างขบวนการนี้เอง สิ่งที่เกิดจริงๆคือการละทิ้งข้อมูลระดับ Abstraction ตัวอย่างเช่นคำสั่ง
for, while หรือแม้แค่เงื่อนไข if then else ก็จะไม่มีอีกต่อไปในภาษาระดับต่ำ

คำถามมีอยู่ว่าเป็นไปได้หรือไม่ที่จะสร้างกระบวนการย้อนกลับ ผมจะไม่ใช้คำว่า Decompiler เนื่องจาก
โดยทั่วไปหมายถึงการแปลงภาษาเครื่องให้กลับเป็นภาษาระดับสูง แต่ information หรือ abstraction บางอย่างจะหายไป
โดยที่เราไม่สามารถกู้คืนมาได้โดยง่าย

ยกตัวอย่างเช่นการคอมไพล์โค้ดของฟังก์ชันคำนวณภาษีมูลค่าเพิ่ม 7% เมื่อถูกแปลงเป็นภาษาเครื่อง
ในมุมมองของเรา “มนุษย์” เรามีบริบทแวดล้อมที่สามารถบอกเราได้ว่าลักษณะโครงสร้างแบบนี้มีไว้
เพื่อคำนวณอัตราส่วนร้อยละ และ 7 อาจจะหมายถึง 7% ซึ่งเมื่อรวมเข้ากับความรู้ที่ว่าโค้ดนี้เป็นผลลัพธ์ของ
การคอมไพล์ตัวคำนวณภาษี เราสามารถรู้ได้ว่าจริงๆแล้ว “abstraction” ของชุด instruction นี้มีไว้คำนวณภาษี

แต่การทำแบบนี้ด้วยโปรแกรมนั้น ไม่ง่าย คำถามมีอยู่ว่าเป็นไปได้หรือไม่ที่จากสร้างกระบวนการที่เปลง concrete instruction
ให้กลับเป็น abstraction เหมือนเดิมและสามารถให้เหตุผลกับ abstraction นั้นได้อย่างถูกต้อง โดยกำหนด
บริบทเริ่มต้นให้ เช่น โปรแกรมอะไร มีอินพุทอะไร เอาพุทอะไร

ซึ่งถ้าเราสามารถทำได้ดังนี้ความสามารถในการเข้าใจตัวเองของคอมพิวเตอร์ก็จะไม่ถูกกำจัดอีกต่อไป…

Left pains of NND Exam(Neuron nonsense network damn).

I think I’m being in love with symbolic logic even I don’t even really see its application yet, so far, I actually understood basic stuffs such as an Interpretation under domain D, Logical consequence, Prenex normal form and the Herbrand universe.

It seem to be surprised to me at the moment that I realize how neat and correspond of logic which is used to described a program.

I don’t know if I can understand all of this fundamental things in the time, to be ready for my thesis.

• Edge detection
• Thresholding
• Segmentation
• Fourier transform
• Wavelets
• the Laplacian of the Gaussian

• Object classification
• Visual tracking
• 3D space reconstruction

Compiler
CGA
--------

สองตัวนี้ชัวร์อยู๋แล้ว

อีกสองตัวคือ

AI and nueron network และ Pattern recognition and image processing!! it’s so cool!!!

Mathematicially speaking, It’s far more consistentcy than the old one.
More beautiful.Its functionallities are all linked together. COOL!

ความสามารถที่อยากจะแนะนำคือ synchronization ระหว่าง client สองตัว(หรือมากกว่า)ที่ sign on ด้วย  account เดียวกันในสองเครื่อง มันจะมี notice แจ้งว่าข้อความจะไปแสดงที่สองเครื่องเลยน่ะ

ที่เด็ดคือเมื่อเราคุยอะไรไปที่ client ตัวใดตัวหนึ่งมันจะไปโผล่ที่ client อีกตัวด้วย ทั้งข้อความที่เราพิมไปและข้อความที่เราได้รับจากคู่สนทนา นอกจากนั้น เมื่อเราปิดหน้าต่างสนทนาที่ client ตัวหนึ่ง มันก็จะปิดหน้าต่างสนทนาที่ client อื่นๆอีกด้วย

คราวนี้ใครที่ชอบ แชร์ email กับคนอื่นก็คงจะสมใจซักที เพราะว่าสามารถออนไลน์พร้อมกันได้ แถมยังโต้ตอบและเห็นบทสนทนาของอีกฝ่ายหนึ่งด้วยน่ะ