Category:Enguage: Difference between revisions
Content added Content deleted
Mjwheatman (talk | contribs) |
Mjwheatman (talk | contribs) No edit summary |
||
Line 1: | Line 1: | ||
{{language|Enguage}} |
{{language|Enguage}} |
||
Enguage is a speech understanding algorithm which supports the idea that speech is Turing complete |
Enguage is a speech understanding algorithm, implemented in plain Java, which supports the idea that speech is Turing complete. |
||
It is informed by linguistic theory, in particular |
It is informed by linguistic theory, in particular |
||
[https://en.wikipedia.org/wiki/Pragmatic_maxim Pragmatism], |
|||
⚫ | |||
[https://en.wikipedia.org/wiki/Ordinary_language_philosophy Ordinary Language Philosophy] and |
|||
[https://en.wikipedia.org/wiki/Speech_act Speech Act theory]. |
|||
⚫ | |||
While the examples here are given in English, it can be applied to any natural language. |
While the examples here are given in English, it can be applied to any natural language. |
||
While untested, it should work with Unicode characters so it could be used to implement [https://en.wikipedia.org/wiki/John_Searle John Searle] |
While untested, it should work with Unicode characters so it could be used to implement [https://en.wikipedia.org/wiki/John_Searle John Searle]'s |
||
[https://en.wikipedia.org/wiki/Chinese_room Chinese Room]. |
|||
Enguage therefore the interpreter, and not the language, to which Enguage refers. |
|||
It ''can'' be used to process data, but it is not efficient in doing this. |
|||
It |
It ''can'' be used to process data, but it is not efficient in doing this; |
||
and it is largely unsuitable for interpreting writing, as this is not a discourse. |
|||
==Background== |
==Background== |
||
"Enguage" is a portmanteau of the words Language and Engine - hence its unconventional spelling. |
"Enguage" is a portmanteau of the words Language and Engine - hence its unconventional spelling. |
||
It |
It was developed in C between 2011 and 2013, and remains under actively developed and has been since 2011. |
||
It won the British Computer Society's Machine Intelligence Competition in 2016. |
It won the British Computer Society's Machine Intelligence Competition in 2016. |
||
Line 70: | Line 74: | ||
===Gödel Numbering=== |
===Gödel Numbering=== |
||
Kurt Gödel devised a numbering scheme to represent mathematical equations so as to show that there are statements that can be made in a system which cannot be proved in that system, ultimately showing mathematics to be incomplete. This non-consecutive numbering system can be adapted to present a symbolic representation of linguistics. |
|||
===Speech Act Theory=== |
===Speech Act Theory=== |
||
[https://en.wikipedia.org/wiki/J._L._Austin J. L. Austin] used his William James' Lecture, at Harvard in 1955, to critique the traditional analysis of language towards truth statements. |
[https://en.wikipedia.org/wiki/J._L._Austin J. L. Austin] used his William James' Lecture, at Harvard in 1955, to critique the traditional analysis of language towards truth statements. |
||
He introduce the idea of performative |
He introduce the idea of performative statements which include: |
||
what is uttered, locution; |
what is uttered, locution; |
||
what is meant by this, illocution: and, |
what is meant by this, illocution: and, |