{"id":2591,"date":"2011-12-28T20:00:36","date_gmt":"2011-12-28T19:00:36","guid":{"rendered":"http:\/\/emilkirkegaard.dk\/en\/?p=2591"},"modified":"2011-12-28T20:10:51","modified_gmt":"2011-12-28T19:10:51","slug":"2591","status":"publish","type":"post","link":"https:\/\/emilkirkegaard.dk\/en\/2011\/12\/2591\/","title":{"rendered":""},"content":{"rendered":"

I was thinking and doing som reserch about one of my kurent projects: Making an English languaj that is syntakialy limited such that it makes posible automatik translation into lojikal formalism. I stumbled akros som prety interesting artikles listed below:<\/p>\n

http:\/\/en.wikipedia.org\/wiki\/Controlled_language<\/a><\/p>\n

One of them<\/a> has a website<\/a> wher one kan find an introduktion to the system. It is aktualy very good and worth reeding. It is a 80 paj powerpoint presentation turned into PDF.<\/p>\n

http:\/\/en.wikipedia.org\/wiki\/Basic_English<\/a><\/p>\n

The 1944 paper kritikal of Basic English: How Basic Is Basic English?<\/a><\/p>\n

http:\/\/en.wikipedia.org\/wiki\/Simplified_English<\/a><\/p>\n

http:\/\/en.wikipedia.org\/wiki\/Plain_English<\/a><\/p>\n

http:\/\/en.wikipedia.org\/wiki\/Plain_language<\/a><\/p>\n

The benefits of using plain languaj ar rather obivus and konkreet. Using non-plain languaj makes komunikation take longer and proseed les optimal. This is mostly just waste of time but somtimes it is a mater of life and deth.<\/a><\/p>\n

My (it is shared) projekt has som on-going diskusion in my forum<\/a>. However, the languaj i hav in mind is mor similar to formalism than ACE is (the one linked to erlyr). I think that it is too problematik to handle nested konditionals with quantifyrs like:<\/p>\n

F1. (\u2200y)(\u2200xFxy\u2192Gxy)\u2192Fy<\/p>\n

in sylogistik languaj, i.e., as in sentenses like:<\/p>\n

S1. \u201cAll men are human.\u201d<\/p>\n

Rather, one needs sentenses that ar harder to understand and les like ordinary English but beter for formalization like:<\/p>\n

S2. \u201cFor any X, if X is a man, then X is a human.\u201d<\/p>\n

In simple kases, such as the example sentenses with the form:<\/p>\n

F2. \u2200xMx\u2192Hx<\/p>\n

ther is no need for mor advansed sentense syntax, but in the kase of the formalization F1 ther is need for such sentenses.<\/p>\n","protected":false},"excerpt":{"rendered":"

I was thinking and doing som reserch about one of my kurent projects: Making an English languaj that is syntakialy limited such that it makes posible automatik translation into lojikal formalism. I stumbled akros som prety interesting artikles listed below: http:\/\/en.wikipedia.org\/wiki\/Controlled_language One of them has a website wher one kan find an introduktion to the […]<\/p>\n","protected":false},"author":17,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[22],"tags":[1793,1567,421,1500,701,1794],"class_list":["post-2591","post","type-post","status-publish","format-standard","hentry","category-language-philosophy","tag-constructed-language","tag-english","tag-form","tag-interpretation-logic-philosophy-philosophy","tag-logic","tag-syntax","entry"],"_links":{"self":[{"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/posts\/2591","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/users\/17"}],"replies":[{"embeddable":true,"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/comments?post=2591"}],"version-history":[{"count":4,"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/posts\/2591\/revisions"}],"predecessor-version":[{"id":2595,"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/posts\/2591\/revisions\/2595"}],"wp:attachment":[{"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/media?parent=2591"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/categories?post=2591"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/tags?post=2591"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}