“บนโต๊ะมีหนังสือเล่มหนึ่ง”

มนุษย์: หนังสืออะไร? ของใคร? โต๊ะตัวไหน? สีอะไร? แล้วยังไง? โต๊ะมีเก้าอี้ไหม? อยู่ในห้องอะไร? หนังสือเก่าไหม? หนังสือเปิดหรือปิดอยู่?

เครื่องจักร: หนังสือเล่มหนึ่งสมมติว่าชื่อ a วางอยู่บนโต๊ะสมมติว่าชื่อ b สรุป a อยู่บน b.

-----------------------------------------------------------------------------------------

“ไอ้ปื้ดหิวข้าวมาก ปวดท้องจะตายอยู่แล้ว”

มนุษย์: ทำไมปื้ดหิวข้าว –> ปื้ดไม่ได้กินข้าว, ทำไมปื้ดปวดท้อง –> เพราะว่าหิวข้าวและไม่ได้กินข้าว, ปื้ดอาจเป็นโรคกระเพาะ, หรือว่าปื้ดเป็นผู้หญิง? –> ปวดประจำเดือน? --> ถ้าปื้ดเป็นชายทำไมปวดประจำเดือนไม่ได้?, ปื้ดอยากเข้าห้องน้ำ –> ปวดขี้?

เครื่องจักร: ทำไมปื้ดหิวข้าว –> ปื้ดไม่ได้กินข้าว, ทำไมปื้ดปวดท้อง –> เพราะว่าหิวข้าวและไม่ได้กินข้าว.

-----------------------------------------------------------------------------------------

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

NLP ตอนนี้ทุกคนก็มุ่งไปที่การกำจัดความกำกวม แต่ผมมีความเชื่อที่ต่างออกไป

ผมเชื่อว่าความกำกวมนั้นเป็นสิ่งที่จำเป็นเพื่อจะคงลักษณะความหมายแบบ dynamic ของภาษาไว้
พูดง่ายๆก็คือ ภาษานั้น ถ้าหากเราพิจารณาประโยคหนึ่งๆ เมื่ออยู่ต่างบริบท(context) กันสามารถที่จะแปลความได้
หลายความหมาย อันนี้นักภาษาศาสตร์ทุกคนตระหนักดี

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

บริบทของการท่องเที่ยว

“ท้องทะเลไทยสวยงาม เหมาะเป็นแหล่งพักผ่อน”

แปลความได้หลายอย่าง คือ
หมายถึงใต้ท้องทะเล? –> ต้องดำน้ำไปดู –> พักผ่อนโดยการดำน้ำ?
หรือหมายถึงทะเลร่วมถึงชายหาด? –> พักผ่อนแบบไหน?

ยังมีประโยคอีกหลายแบบที่ได้ความหมายมากกว่าหนึ่งอย่างในบริบทเดียวกันเช่น

“อยุธยาในตอนกลางคืนน่าท่องเที่ยวมาก โดยเฉพาะตามโบราณสถานที่มีประวัติยาวนาน”

ความหมายที่ 1 : อยุธยาน่าท่องเที่ยวจริงๆในตอนกลางคืนเพราะจะสวยงาม
ความหมายที่ 2 : อยุธยาน่าท่องเที่ยวในตอนกลางคืนเพราะจะได้เจอผี
ความหมายที่ 3 : อยุธยาไม่น่าเที่ยวเลยโดยเฉพาะในเวลากลางคืนไม่เชื่อไปลองดูสิ

จะสังเกตว่าแม้แต่ในบริบทเดียวกัน "ผลของการตีความไม่เพียงแต่ขึ้นอยู่กับบริบทเท่านั้น แต่ขึ้นกับประสบการณ์แวดล้อมที่ผู้รับสารได้ประสบมาอีกด้วย” และการตีความนี้สามารถเปลี่ยนแปลงได้หากได้รับข้อมูลใหม่ๆ เช่นคนที่ไม่เชื่อเรื่องผีที่ตีความเป็นความหมายที่ 2 กลับกลายเป็นตีความหมายเป็นประโยคที่ 3 เมื่อเจอผีดังนั้นจึงเป็นสิ่งจำเป็นมากที่จะต้องคงความกำกวมไว้เพื่อการตีความใหม่โดยการให้เหตุผลแบบลดทอนได้ (defeasible logic) ซึ่งเครื่องมือที่เหมาะสมในการให้เหตุผลในลักษณะนี้คือ abstract argument framework(Dung 1995).

This is my paper!

Quote

Where to go (credit:http://www.discoverythailand.com/)

Source: DiscoveryThailand Staff Given its rich diversity Thailand has a lot to offer its visitors. Of course, Bangkok is one place most start and end their visit to Thailand. The cultural and administrative centre of the country, Bangkok has plenty to offer. Of course, a big, brash, modern city like Bangkok has the creature comforts and entertainment that visitors look for and it's famous for its famous nightlife (with go-go places like Patpong and Nana on most visitors' itineraries). But beyond that, where should a visitor go in Thailand?

Although there are numerous places that warrant a visit, there are some 'staples' - places that most visitors to Thailand end up visiting. Starting in the north, Chiang Mai and Chiang Rai are popular ports of call. Their dramatic mountainous landscapes coupled with unique histories make both intriguing and entertaining places to visit. Also in the north, Sukothai offers less in terms of dramatic scenery, but more in terms of history and culture. The ruins of Sukothai's ancient city offer a glimpse of Thailand glorious past, as does Ayutthaya in central Thailand. As yet a part of Thailand that is not visited as often of other regions, the northeast (or 'Isan' as it is known locally) does offer some 'off-the-beaten track' treats. Buriram is becoming a firm favourite with visitors, as is Loei. Although Loei is in northeastern Thailand, it has a lot in common with the mountainous regions of the north. The coldest province in the county, Loei, offers dramatic scenery enhanced by the presence of mists and fogs. For many with connections to the Second World War, Kanchanaburi is a 'must-visit' destination. A number of sites present Kanchanaburi's role in the war and help chronicle the deaths of many thousands of soldiers who died as POWs in the area during the Second World War. Source: Genesis Thailand's eastern provinces have much to offer, not least Chonburi, home to Pattaya, one of Thailand's leading destinations. Pattaya has the distinction of being the closest resort city to the capital and drawing masses of 'weekenders'. It is also an international tourism destination in its own right. Pattaya's finely tuned nightlife includes a huge offering of go-go alongside great restaurants and its own unique take on cabaret! Other resort cities include Hua Hin and Cha-am - both with excellent beaches and only a short drive from Bangkok. Of course, there are places worthy of visits that are common to all of Thailand's provinces. The country's National Parks are always worthy of a visit, wherever you are in the country. But it is the diversity of Thailand and the attractions it offers which are its strength. Be sure to visit the key destinations, but spare some time to get off the beaten path and experience a Thailand that is not on the tourist map. It's worth the effort to see another side to this glorious country. Of course, Thailand is rightly renowned for its islands; some of the best island destinations in the world… clear waters, white and golden sands, palms and coconuts - truly paradise on earth. Some of the major islands to visit include Koh Chang - still emerging from relative obscurity and therefore still reasonably quiet. Source: Genesis The Phi Phi Islands are famous too and include the actually place where 'The Beach' was filmed (yes - you too can stand where Leo stood!); Phuket - an island the size of Singapore with plenty of great beaches to experience; James Bond Island - yes, that island, the one in the 'Man with the Golden Gun'; the Surin Islands - a bit tricky to get to but well worth the effort; Koh Samet - an island with a unique place in Thai culture and some glorious beaches; Koh Phangnan - famed for its Full Moon Parties and hedonism in paradise; and Koh Samui - an island of lovely beaches and bays, coconuts and forested hills.

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!