Talk:Abstract Wikipedia: Difference between revisions
Add topic →Mention the original name Wikilambda: new section |
Reverted 1 edit by 2401:4900:57D9:55E4:78:BF38:5590:B7F9 (talk): Wrong place #SWMT Tag: Undo |
||
(114 intermediate revisions by 32 users not shown) | |||
Line 3: | Line 3: | ||
|archive = Talk:Abstract Wikipedia/Archive %(counter)d |
|archive = Talk:Abstract Wikipedia/Archive %(counter)d |
||
|algo = old(20d) |
|algo = old(20d) |
||
|counter = |
|counter = 4 |
||
|maxarchivesize = 200K |
|maxarchivesize = 200K |
||
|minthreadstoarchive = 2 |
|minthreadstoarchive = 2 |
||
|minthreadsleft = |
|minthreadsleft = 2 |
||
|archiveheader = {{talkarchive}} |
|archiveheader = {{talkarchive}} |
||
}} |
}} |
||
Line 12: | Line 12: | ||
{{TNT|Abstract Wikipedia navbox}} |
{{TNT|Abstract Wikipedia navbox}} |
||
== |
== Outdated? == |
||
It seems to me that a content page entitled "[[Abstract Wikipedia]]" should include the current state of the project. The page describes the project schedule, but does not describe what been done and what remains to be done. For example, did the "Abstract Wikipedia part of the project ... start in roughly 2022"? Did the Wikifunctions Beta launch in 2022? [[User:Finell|Finell]] ([[User talk:Finell|talk]]) 04:17, 3 October 2023 (UTC) |
|||
* Project pages: |
|||
** [[Special:PrefixIndex/Abstract Wikipedia/]] |
|||
* Talk pages: |
|||
** [[Special:PrefixIndex/Talk:Abstract Wikipedia/]] |
|||
:@[[User:Finell|Finell]] Thanks for reporting this, and sorry for taking this long to answer. Yes, the main page needs to be updated, and we will do it soon. We just have been caught in a lot of work behind the scenes since the launch of the project. [[User:Sannita (WMF)|Sannita (WMF)]] ([[User talk:Sannita (WMF)|talk]]) 15:17, 8 February 2024 (UTC) |
|||
== Why was this approved so quickly? == |
|||
== Suggestions == |
|||
Wikispore, Wikijournal, and Wikigenealogy all have potential. Wikifunctions is just another project that will sit near-empty for years like Wikispecies has, and should be part of Wikidata anyway. [[Special:Contributions/2001:569:BD7D:6E00:F9E8:8F6F:25D1:B825|2001:569:BD7D:6E00:F9E8:8F6F:25D1:B825]] 01:38, 19 June 2021 (UTC) |
|||
: I kind of agree. If lexemes were just added as a separate namespace to Wikidata, why weren't functions? <span style="display:inline-block;text-align:center;vertical-align:bottom;line-height:0.5em;">~~<nowiki/>~~<br/><span style="font-size:0.7em;">[[User:1234qwer1234qwer4]] ([[User talk:1234qwer1234qwer4|talk]])</span></span> 11:41, 19 June 2021 (UTC) |
|||
::From my point of view one difference between Wikifunctions and for example lexems is, that Wikifunctions will offer calculation resources so that some of the calculations can be made on the platform directly and it is not needed to run a function locally. As far as I understand it can be also used to centralize templates that are currently defined locally in the different language versions of Wikipedia and the other Wikimedia projects. So there is maybe a technical aspect why Wikifunctions is an own sister project. |
|||
::Wikidata has a lot of contenct so I think it can happen that is not so easy to find something for a user. I have sometimes problems to find Lexems after I need to change the search for that, so that the search goes also to the Lexemenamespace. So I hope that it is easier also for external users that they can find the content if Wikifunctions is an own project. To make sure that it will not sit near-empty for years is from my point of view a big challenge. As far as I understand the project was approved because there is the hope that it can help making knowledge accessible in more languages. I dont know if this works also for small languages but I hope that it will work and I think it is important to work on it for the next years that it can become reality. How to make Wikifunctions accessible for many people is an important question and I hope that there are more discussions about it in the next weeks. The Wikimania this year is a chance to talk about Wikifunctions also with people who speak small languages.--[[User:Hogü-456|Hogü-456]] ([[User talk:Hogü-456|talk]]) 19:54, 20 June 2021 (UTC) |
|||
:::Yes, as Hogü-456 describes, those are among the reasons why the project is better as a separate wiki, and some of the goals of the project. They require very different types of software back-ends and front-ends to Wikidata, and a significantly different skillset among some of the primary contributors. I might describe it as: Wikidata is focused on ''storing and serving'' certain types of structured data, whereas Wikifunctions is focused on ''running calculations on'' structured data. There are more overview details in [[Abstract Wikipedia/Overview]] that you might find helpful. [[User:Quiddity (WMF)|Quiddity (WMF)]] ([[User talk:Quiddity (WMF)|talk]]) 22:19, 21 June 2021 (UTC) |
|||
:::{{ping|Hogü-456}} Re: problems searching for Lexemes on Wikidata - If you prefix your searches there with <code>L:</code> then that will search only the Lexeme namespace. E.g. [https://www.wikidata.org/w/index.php?title=Special%3ASearch&search=L%3Aapple&ns0=1&ns120=1 L:apple]. :) [[User:Quiddity (WMF)|Quiddity (WMF)]] ([[User talk:Quiddity (WMF)|talk]]) 22:23, 21 June 2021 (UTC) |
|||
:this was asked and answered in [[Talk:Abstract_Wikipedia/Archive_2#How_was_it_approved]] and [[Talk:Abstract_Wikipedia/Archive_2#A_few_questions_and_concerns]]. --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 13:21, 17 September 2021 (UTC) |
|||
::see also [[Talk:Abstract_Wikipedia/Archive_2#Google's_involvement]] and [[Talk:Abstract_Wikipedia/Archive_2#Confusion]], these are suspicions about google's involvement, and answers. --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 21:10, 18 September 2021 (UTC) |
|||
I have some criticisms. In [[Abstract Wikipedia/Examples|this article]], these examples are given: |
|||
== you are creating just a new language just like any of existing natural languages. this is wrong. == |
|||
subclassification_string_from_n_n_language(n_wikipedia, n_encyclopedia, English) |
|||
https://meta.wikimedia.org/wiki/Abstract_Wikipedia : |
|||
English : Wikipedias are encyclopedias. |
|||
<blockquote>In Abstract Wikipedia, people can create and maintain Wikipedia articles in a language-independent way. A particular language Wikipedia can translate this language-independent article into its language.</blockquote> |
|||
subclassification_string_from_n_n_language(n_wikipedia, n_encyclopedia, German) |
|||
https://meta.wikimedia.org/wiki/Abstract_Wikipedia/Examples : |
|||
German : Wikipedien sind Enzyklopädien. |
|||
<blockquote><pre dir="ltr" lang="en"> |
|||
Article( |
|||
content: [ |
|||
Instantiation( |
|||
instance: San Francisco (Q62), |
|||
class: Object_with_modifier_and_of( |
|||
object: center, |
|||
modifier: And_modifier( |
|||
conjuncts: [cultural, commercial, financial] |
|||
), |
|||
of: Northern California (Q1066807) |
|||
) |
|||
), |
|||
Ranking( |
|||
subject: San Francisco (Q62), |
|||
rank: 4, |
|||
object: city (Q515), |
|||
by: population (Q1613416), |
|||
local_constraint: California (Q99), |
|||
after: [Los Angeles (Q65), San Diego (Q16552), San Jose (Q16553)] |
|||
) |
|||
] |
|||
) |
|||
</pre>* {{#language:en|{{Pagelang}}}} : <span dir="ltr" lang="en">''San Francisco is the cultural, commercial, and financial center of Northern California. It is the fourth-most populous city in California, after Los Angeles, San Diego and San Jose.''</span></blockquote> |
|||
Subclassification(Wikipedia, Encyclopedia) |
|||
English : Wikipedias are encyclopedias. |
|||
you are creating a new language just like other natural languages. and it is worse than the existing natural languages, because it is going to have many functions like "Object_with_modifier_and_of", "Instantiation", "Ranking". |
|||
German : Wikipedien sind Enzyklopädien. |
|||
an advantageous feature, compared to natural languages, shown there, is that you link concepts to wikidata, but that can be done also with natural languages. other good thing here is structure shown with parentheses, but that also can be done with natural languages. so, there is nothing better in this proposed (artificial) language, compared to natural languages. |
|||
However, what bothers me is the claim that this is language-neutral, when it's so obviously Anglocentric. If it were German-centred instead, for example, the code would look like this instead: |
|||
i think that, probably, any sentence of any natural language is semantically a binary tree like this: |
|||
Zeichenfolge_für_die_Unterklassifizierung_von_n_n_Sprache(n_Wikipedia, n_Enzyklopädie, Englisch) |
|||
<pre> |
|||
( |
|||
( |
|||
(San Francisco) |
|||
( |
|||
be |
|||
( |
|||
the |
|||
( |
|||
( |
|||
( |
|||
( |
|||
(culture al) |
|||
( |
|||
, |
|||
(commerce ial) |
|||
) |
|||
) |
|||
( |
|||
, |
|||
( |
|||
and |
|||
(finance ial) |
|||
) |
|||
) |
|||
) |
|||
center |
|||
) |
|||
( |
|||
of |
|||
( |
|||
(North ern) |
|||
California |
|||
) |
|||
) |
|||
) |
|||
) |
|||
) |
|||
) |
|||
s |
|||
) |
|||
. |
|||
Zeichenfolge_für_die_Unterklassifizierung_von_n_n_Sprache(n_Wikipedia, n_Enzyklopädie, Deutsch) |
|||
( |
|||
( |
|||
it |
|||
( |
|||
be |
|||
( |
|||
( |
|||
the |
|||
( |
|||
(four th) |
|||
( |
|||
( |
|||
(much est) |
|||
(populous city) |
|||
) |
|||
(in California) |
|||
) |
|||
) |
|||
) |
|||
( |
|||
, |
|||
( |
|||
after |
|||
( |
|||
( |
|||
(Los Angeles) |
|||
( |
|||
, |
|||
(San Diego) |
|||
) |
|||
) |
|||
( |
|||
and |
|||
(San Jose) |
|||
) |
|||
) |
|||
) |
|||
) |
|||
) |
|||
) |
|||
) |
|||
s |
|||
) |
|||
. |
|||
Unterklassifikation(Wikipedia, Enzyklopädie) (thanks, google translate!) |
|||
</pre> |
|||
So, what's the point of lying? Also, I think that the functions should be stratified (to avoid nasty things like self-referential paradoxes), like predicate logic or set theory. A predicate is a special case of a function whose output is T or F. Logical operators are similar in this regard, except that the input is also T or F. |
|||
some parts of text can be shown several ways as binary trees. for example: |
|||
<pre> |
|||
((San Francisco) ((be X) s)) |
|||
If we're mirroring predicate logic, then we could instead have: |
|||
(((San Francisco) (be X)) s) |
|||
Encyclopedia(Wikipedia) or Enzyklopädie(Wikipedia) |
|||
fourth |
|||
( |
|||
( |
|||
most |
|||
(populous city) |
|||
) |
|||
(in California) |
|||
) |
|||
Similarly, the set {x|Encyclopedia(x)} (or {x|Enzyklopädie(x)}) can be defined. |
|||
( |
|||
fourth |
|||
most |
|||
) |
|||
( |
|||
(populous city) |
|||
(in California) |
|||
) |
|||
Quantifiers should also be included, so that one could state that for example, all humans are mortal. Now, I have an idea for stratification (if you dislike it, feel free to modify it- this is purely illustrative. If I'm unclear, feel free to ask for clarification- I'm $h!t at explaining things :)) |
|||
( |
|||
fourth |
|||
( |
|||
( |
|||
most |
|||
(populous city) |
|||
) |
|||
) |
|||
) |
|||
(in California) |
|||
0th order: Objects |
|||
fourth |
|||
( |
|||
( |
|||
( |
|||
most |
|||
populous |
|||
) |
|||
city |
|||
) |
|||
(in California) |
|||
) |
|||
1st order: Functions (incl. predicates) between objects (we'll state that these functions quantify over objects, in analogy to predicates in predicate logic), statements that only quantify over objects, and sets defined by said functions. All of these collectively will be referred to as first-order objects. |
|||
2nd order: Functions between first-order objects (but no higher), statements quantifying over first order objects (but no higher), and sets defined by said functions. All of these collectively will be referred to as second-order objects. |
|||
</pre> |
|||
3rd order: Functions between second-order objects (but no higher), statements quantifying over second-order objects (but no higher), and sets defined by said functions. All of these collectively will be referred to as third-order objects. |
|||
--[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 12:31, 17 August 2021 (UTC) (last edited 06:44, 6 September 2021 (UTC)) |
|||
etc. |
|||
creating a new language is a huge effort, and only few people are going to know it. you have to discuss different limits of every word in it to come to some consensus... and all that work is just to create just another language no better, by its structure, than existing thousands natural languages. (lexicon can be bigger than of some languages). what you should do instead is just use a format like this for every language and use functions to transform it to usual form of that language. also, speach synthesis can be done better using the parentheses. also you can transform this formats from language to language. --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 12:55, 17 August 2021 (UTC) |
|||
Transfinite induction is obvious: |
|||
i think, any paragraph, probably, also can be structured into binary tree, like this, and i make a tree of mediawiki discussion signature, for purpose of demonstration of the binary tree concept: |
|||
<pre> |
|||
( |
|||
( |
|||
( |
|||
creating a new language is a huge effort, and only few people are going to know it. |
|||
you have to discuss different limits of every word in it to come to some consensus... |
|||
) |
|||
( |
|||
and all that work is just to create just another language no better, by its structure, than existing thousands natural languages. |
|||
(lexicon can be bigger than of some languages). |
|||
) |
|||
) |
|||
( |
|||
( |
|||
( |
|||
what you should do instead is just use a format like this for every language and use functions to transform it to usual form of that language. |
|||
also, speach synthesis can be done better using the parentheses. |
|||
) |
|||
also you can transform this formats from language to language. |
|||
) |
|||
) |
|||
) |
|||
( |
|||
-- |
|||
( |
|||
( |
|||
QDinar |
|||
("()" talk) |
|||
) |
|||
( |
|||
( |
|||
12 |
|||
(: 55) |
|||
) |
|||
( |
|||
, |
|||
( |
|||
( |
|||
(17 August) |
|||
2021 |
|||
) |
|||
( |
|||
"()" |
|||
( |
|||
(U T) |
|||
C |
|||
) |
|||
) |
|||
) |
|||
) |
|||
) |
|||
) |
|||
) |
|||
</pre> |
|||
(the regular sentences are intentionally not structured into binary tree in this example). this structure can be useful to better connect sentences via pronouns. and different languages may have different limits and preferences in using one sentence vs several sentences with pronouns. this parentheses may help to (properly) translate that places to other languages. --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 13:22, 17 August 2021 (UTC) |
|||
ω-order: Functions between nth-order objects (for n<ω), statements quantifying over nth-order objects (for n<ω), and sets defined by said functions. All of these collectively will be referred to as ω-order objects. (this can be applied to other limit ordinals too) |
|||
since this is like out of scope of the Abstract Wikipedia project, i have submitted this as a project: [[Structured text]]. --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 19:20, 18 August 2021 (UTC) |
|||
All functions, statements, and sets will be assigned the lowest ordinals consistent with the definitions provided [[User:Username142857|Username142857]] ([[User talk:Username142857|talk]]) 17:34, 2 January 2024 (UTC) |
|||
{{re|Qdinar}} Yes, you're right, in a way we are creating a new language. With the difference, that we are creating it together and that we are creating tools to work with that language. But no, it is not a natural language, it is a formal language. Natural languages are very hard to parse (the structures that you put into your examples, all these parentheses, were done with a lot of intelligence on your part). The other thing is that a lot of words in natural languages are ambiguous, which makes them hard to translate. The [[:wikt:sprengen#German|"sprengen"]] in "Ich sprenge den Rasen" is a very different "sprengen" than the one in "Ich sprenge die Party". That's why we think we need to work with a formal language, in order to avoid these issues. I don't think that you could use a natural language as the starting point for this (although I have a grammar of [[:en:Ithkuil|Ithkuil]] on my table right now, and that might be an interesting candidate. One could argue whether that's natural, though). --[[User:DVrandecic (WMF)|DVrandecic (WMF)]] ([[User talk:DVrandecic (WMF)|talk]]) 20:59, 3 September 2021 (UTC) |
|||
:"Natural languages are very hard to parse (the structures that you put into your examples, all these parentheses, were done with a lot of intelligence on your part)." - i do not agree with this. to write this i just need to know this language and write, that is english and i already know it. binary tree editor could help to make this tree faster. i have also added request for binary tree tool in the [[Structured text]], and additional explanations. in comparison, to write in your language, i need to learn that your language. and this binary tree structure is easier to parse than your complicated language. if you say about parsing from traditional text, then, it is possible to do it, and there is almost zero texts in your language yet. --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 08:49, 4 September 2021 (UTC) |
|||
::"and this binary tree structure is easier to parse than your complicated language" - probably, easiest way to parse this your new language is to parse it also into a binary tree form first, just like with natural languages, and then parse that binary tree. --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 09:19, 4 September 2021 (UTC) |
|||
:::probably you are going to use a tree, not binary, while parsing your code. i think, there is one advantageous thing: list shown as list, instead of binary tree, is more easier to read by human, and seems a little easier to compute for computer. but that, lists for (ordered and unordered) lists, can be added also to this binary tree idea. --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 16:45, 4 September 2021 (UTC) |
|||
:"The other thing is that a lot of words in natural languages are ambiguous, which makes them hard to translate." - probably, your artificial language is also going to have some ambiguities. because get every meaning and you can divide that meaning into several cases. "The "sprengen" in "Ich sprenge den Rasen" is a very different "sprengen" than the one in "Ich sprenge die Party"." - this example has not been useful example to prove to me. in both cases it is about scattering something, is not it? if somebody causes a party to cancel before even 10% of its people have known about it is going to be held, is this word used? i suspect, it is not used in that case. --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 09:11, 4 September 2021 (UTC) |
|||
::and, it is possible to refer to submeanings of words with natural languages, like sprenge1, sprenge2, (maybe using meanings which shown in wiktionary). --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 12:35, 4 September 2021 (UTC) |
|||
:" although I have a grammar of Ithkuil on my table right now, and that might be an interesting candidate. One could argue whether that's natural, though " - according to wikipedia, it is a constructed language with no users. (ie artificial language). that artificial languages have few users. probably ithkuil have some problems, like limits of meaning are not established. since it has 0 users, when new people start to use it, they are going to change that limits. --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 09:11, 4 September 2021 (UTC) |
|||
i saw that aim of your proposition is to write something once and to get it in multiple languages. with using structured text for all languages it is also possible, because one wikipedia can get a structure from another wikipedia. and, seems, it also can solve [[Talk:Abstract_Wikipedia/Archive_3#Introducing_new_features_into_the_framework_needed_by_a_newly-added_language|the "uzbek uncle" problem]] (they say there are different words for mother's brothers and for father's): if there are several languages with such "uncle"s, they can reuse structures, one wiki from another wiki. --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 20:20, 19 September 2021 (UTC) |
|||
:they already solved that "uzbek uncle" problem in the forum: [[user: ArthurPSmith]] said "If something is unknown then a fall-back construction ("brother of a parent" rather than a specific sort of "uncle") should be fine" in [[Talk:Abstract_Wikipedia/Archive_3#Comments]] and [[user:DVrandecic (WMF)]] and [[user:Chris.Cooley]] agreed. and, i want to say, another way to encode it is "paternal uncle or maternal uncle". --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 15:30, 27 September 2021 (UTC) |
|||
examples in [[Abstract Wikipedia/Examples/Jupiter]] do not have complex things like "Object_with_modifier_and_of", for example, "and" is shown as a single element. that complex thing is also discussed in [[Talk:Abstract_Wikipedia/Examples#Object_with_modifier_and_of]] and a version with more separated functions ("constructors") is proposed. so, if you go into that direction, you are going to almost copy english language, so, in direction to my proposition. --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 20:20, 19 September 2021 (UTC) |
|||
:also, i have seen somewhere, seems there was an example of how rendering works, (or, maybe, i saw it [[Talk:Abstract_Wikipedia/Archive_3#Grammar/renderer_development_vs_writing_articles,_and_who_will_do_the_work|here]]: "<person> is (notable for) <role in activity>, rather than instance of (P31) human (Q5)...", by [[user:GrounderUK]], i am not sure that he says about structure, maybe just template, (meaning, a string with places for arguments), and also in [[A proposal towards a multilingual Wikipedia|an early proposal]] it is clearly explained as templates), in process of rendering a text in a natural language, you go through phase of stucture of that language. and, i think, it is inavoidable. so, structures like i proposed are anyway going to be used, but you might use more traditional approach with grammatic parts of speach, cases, gender, etc, and, i think, i propose very simple and universal grammar... and you are (or was) going to have it inside wikifunctions, on-the-fly, or, maybe, cached, and by my proposition, they should stay with the languages' wikis. having that structures in respective wikis is (must be) very useful. --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 21:13, 19 September 2021 (UTC), last edited 19 sep 2021, 21:49 utc. |
|||
additional arguments against the "Abstract Wikipedia" proposal: |
|||
1. languages have equal right, but you are or were going to put a language in a governing position. putting all languages in equal rights position should be just a principle, that should be accomplished/performed. |
|||
2. developing a new language seems is not in scope of aims of wikimedia. |
|||
3. seems, as i saw from the talk archives, you hope you can just divide meanings as much as it is needed to make them usable for all languages. (btw, i have just seen, 2nd meaning of "abstract" in wiktionary is "Something that concentrates in itself the qualities of a larger item, or multiple items."). but, i think, just division is not enough; borders of meanings are a little shifted in every natural language compared to other languages. so, it is not going to be possible easy to perfectly translate from the principal language to other languages with only that amount of precision in the principal language. and, i want to say, lexems are like stones or bricks of different forms, and when you tell an idea, the idea is like a castle. you can build castles of almost same form with different sets of bricks and stones, and every language is like a different set of bricks and stones. you need very small bricks to be able to resemble the castles built with different stones precisely enough to rebuild also their every stone. (for example, the additional data like "subject", "quality", "class", "location constraint" in coding of "Jupiter is the largest planet in the Solar System." in the "jupiter" example probably still does not give enough precision for the goal.) |
|||
4. esperanto is most widely used constructed language, according to wikipedia, created in 1887, it has now nearly 100000 speakers. it is still few compared to some natural languages. this your language is still a different language, not english, by its structure, even as shown in the "jupiter" example, (in the "san francisco" example it is more different). number of speakers of it also probably will, expected to, grow slowly. even more so (slow) if/since it is going to be so enormously precise, compared to natural languages, as i explained in the previous paragraph. |
|||
--[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 00:53, 20 September 2021 (UTC) last edited 05:30, 20 September 2021 (UTC) |
|||
: 3. even a language with so many tiny lexems would not be enough to be easily translatable to natural languages, because when an idea is built, it is like one castle from one set of stones, to show other language versions other castles should be built. --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 04:50, 20 September 2021 (UTC) |
|||
::such abstract language could be used to more exactly/precisely describe idea/reality, minimizing ambiguities given by language, but anyway, when that is translated into normal languages, they have to use their lexems.--[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 09:42, 21 September 2021 (UTC) |
|||
: 3. even human translators do not make perfect translation, but best possible translation. if they try to deliver exact meaning of original text, they have to make long translation, like explaining every lexeme. --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 09:42, 21 September 2021 (UTC) |
|||
: 3. "borders of meanings are a little shifted in every natural language compared to other languages" - i wanted to find examples for this. i clicked "random article" in english wikipedia and tried to translate paragraphs with google translate. |
|||
: first result is [[w:Bronchogenic cyst]] and when i translated second paragraph i see this: "young adults" is translated as "молодых людей" (nominative "молодые люди"). this is correct translation, by google. a rule-based machine translation could not translate it correctly. if you see [[wikt:adult#Translations]] it is translated as "vzrosliy", and translation of "young" is "molodoy". it would translate it as "molodoy vzrosliy". that is not a usual way russian people speak. though, it is not logically incorrect. as i saw in talk archives, such translations are ok for you. |
|||
: next problem is found in the same paragraph. "difficulty breathing or swallowing", it is correclty translated by google as "zatrudnyonnoye dykhaniye ili glotaniye", which is not direct translation, it is "difficulted breathing or swallowing" by its structure, this is the way the russian people speak. rule based mt would translate that as "trudnost [vo vremya] dykhaniya ili glotaniya", part in square brackets is optional, or "trudnost pri dykhaniyi ili glotaniyi", and they would not be incorrect. |
|||
: these 2 examples are very little mistakes. maybe these are the cases i felt like stones of slightly different shape. i tried also to find similar mistakes that lead to serious mistranslation, but have not found yet. and, seems, if to use the way to translate i suggested, this things also could be translated with similar quality, while not creating a new language, and having many ready texts, much more easily usable. this your project need not only be absolutely worthy, but it has to compete with alternative potential decisions. while searching for the examples, i have got an idea to challenge you with some sentences, to see, how can you encode them into the abstract language, and how much that code will look easier and qualitilier translatable, compared to the method i suggested. if that method, proposed by me, also can give translations of same quality, why to bother with that encoding process? |
|||
: --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 21:18, 27 September 2021 (UTC) |
|||
: 3. also, "young" can be translated with 3 words into russian, according to wiktionary. "molodoy", "yuniy", "mladoy". i said about problems beyond division of meanings. but that division also mean, automatically, that in some cases the 2nd, or third word maybe more appropriate, and the first word, like have slightly shifted, soft border in that place. --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 18:04, 4 October 2021 (UTC) |
|||
: 3. this argument is also against my proposal of "structured text". that method also will give slight mistranslations. but, the structured text method can be more easily used with ML technique, because such structures are easier to build from natural language, and then that texts can be used to train ML, then further building of that stuctures is going to be even more easier, just editing ML results. --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 20:45, 4 October 2021 (UTC), edited 15:33, 6 October 2021 (UTC) |
|||
: 2. replied in [[#maybeworthy]] and [[#why_not_to_use_a_ready_%22abstract_language%22%3F]].--[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 20:45, 4 October 2021 (UTC) |
|||
You have raised a lot of different points, and many arguments that I fully agree with. But given the structure of your replies, it is hard to answer them. Thanks for breaking a few of the questions out in answerable chunks below. |
|||
In the end, it is basically just templates that are being filled and that work across languages. Let's stick with the <code>Superlative</code> constructor we discuss below. With these four arguments one can create a lot of sentences - and all of them seem to be quite easily expressed in many different languages. May I propose we focus on this single example, in order to crystallize your criticism? --[[User:DVrandecic (WMF)|DVrandecic (WMF)]] ([[User talk:DVrandecic (WMF)|talk]]) 23:32, 24 September 2021 (UTC) |
|||
:how are you going to encode sentences like "Jupiter and Saturn are two largest planets in the Solar System." and "Hydrogen is smallest atom"? ie with 1 more argument or 1 less argument? (according to the example 4.3 "two" is going to be an additional argument...) are you going encode them with different zid, or use same function with possibity of empty arguments? --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 21:08, 26 September 2021 (UTC), edited at 21:20 |
|||
:how can you say it is just templates, if in languages with genders they have to render it differently depending on gender of the arguments? --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 21:12, 26 September 2021 (UTC) |
|||
:and, how can you say it is just template, while if you put constructions as arguments, like "planetary systems in Local Bubble" instead of just "Solar System", renderers of some languages may need to detect the head of the construction, "system" or plural "s", to add suffixes to it? --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 15:56, 27 September 2021 (UTC), edited 18:47, 27 September 2021 (UTC) |
|||
::i think, head there is "s", its meaning "multiple objects of type given in subordinate". --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 15:41, 6 October 2021 (UTC) |
|||
:main meaning of the "Superlative" example code is simple: it is superlative. arguments maybe anything. the superlative function corresponds to "est" lexeme of english, (or, alternatively, they can be divided into 2 lexemes: "est" and "most"). problem of the "superlative" code itself is as much (or little) as of the "est" lexeme. seems meaning of "est" is simple and it must be very similar across languages. --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 17:46, 4 October 2021 (UTC) |
|||
:seems, you do not know exactly yet how to use that "superlative" function. in the [[Abstract_Wikipedia/Examples/Jupiter#Sentence_4.3]] example you have put subject out of the function's argument list. --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 17:50, 4 October 2021 (UTC) |
|||
:you are going to make users to select from variants like "location constraint", "time constraint", "category constraint". there maybe also just "constraint". and seems it can be left unused. while in the alternative i proposed that is not planned. the location constraint is just added outside of "((large est) planet)". the info of that it is constraint of "est" is inside the "est" and in "in", and how they are put together. and that info is even not needed in most cases, just translate "est" and "in" to corresponding lexemes of target language, and then after generating linear text it can look ok, acceptable. --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 18:39, 4 October 2021 (UTC) |
|||
<div id="maybeworthy">i wanted to write, this abstract wikipedia proposal maybe worthy, because a language developed with aim to act as a principal source may gain some features for that. and i think even more as worthy since i see that the code is going to be multilingual. but even if it is multilingual, the stones example show that it is going to have some set of stones (semantically), probably based on english. i have an idea: stones (of different shape) of other languages maybe added (synonyms). with the stones example, i should give some examples with concrete lexems, but it is not very easy. (this is not reply to your reply). --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 19:56, 26 September 2021 (UTC)</div> |
|||
an additional argument against the "Abstract Wikipedia" proposal: you are hoping to create something better than the natural languages that evolved for thousands of years. (that looks/sounds impossible to achieve; though you may potentially outcompete in some aspects / by some criteria). --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 20:56, 4 October 2021 (UTC) |
|||
== are sentences "z-objects"? == |
|||
are sentences planned to be "z-objects"? --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 13:02, 17 September 2021 (UTC) |
|||
:Yes, a sentence would be represented as a Z-Object. E.g. ''"Jupiter is the largest planet in the Solar System."'' would be represented as <code>Superlative(subject: Jupiter, quality: large, class: planet, location constraint: Solar System)</code> (and all of that would be ZIDs, so in real maybe something like <code>Z19349(Q319, Z29393, Q634, Q544)</code>. -- [[User:DVrandecic (WMF)|DVrandecic (WMF)]] ([[User talk:DVrandecic (WMF)|talk]]) 22:42, 24 September 2021 (UTC) |
|||
== will programming languages be converted to own language first? == |
|||
is wikifunctions planned to have its own language? is it something like lambda calculus? are all other supported languages planned to be converted to that own language first, before being interpreted? --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 13:02, 17 September 2021 (UTC) |
|||
if there is an own language, i would like to see some small example code in it, like for fibonacci sequence. --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 18:02, 19 September 2021 (UTC) |
|||
:No. Code written in Python will be evaluated by a Python interpreter, code in JavaScript by a JavaScript interpreter, Code in C by a C compiler and then executed, etc. What little system we have to compose such function calls together will be on top of code in such programming languages, not a common runtime we convert everything to first. -- [[User:DVrandecic (WMF)|DVrandecic (WMF)]] ([[User talk:DVrandecic (WMF)|talk]]) 22:46, 24 September 2021 (UTC) |
|||
::i have not seen that this is clearly written in the description pages. please, write, and/or link to that place, from here. --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 19:48, 4 October 2021 (UTC) |
|||
== what api will be used? == |
|||
is http-web api planned for wikifunctions? is the functions planned to be called through web api or other way? --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 13:02, 17 September 2021 (UTC) |
|||
:We offer already a Web API to call functions from Wikifunctions, see [https://notwikilambda.toolforge.org/w/api.php?action=help&modules=wikilambda_function_call https://notwikilambda.toolforge.org/w/api.php?action=help&modules=wikilambda_function_call]. We might not always use the API for our internal use cases (e.g. Wikipedia calling a function might not go through an HTTP request), it depends on what is efficient. -- [[User:DVrandecic (WMF)|DVrandecic (WMF)]] ([[User talk:DVrandecic (WMF)|talk]]) 22:49, 24 September 2021 (UTC) |
|||
== why not to use ready programming language implementations? == |
|||
what do you think about idea to just use usual programming language interpreters? ie code can be in wiki page, and in can be runned. some dangerous functions can be removed or turned off in order to save from hacking/vandalism. --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 13:02, 17 September 2021 (UTC) |
|||
:Great idea - and we do that! Python code is run by the standard Python implementation, JavaScript by Node, etc. The way we hope to avoid dangerous functions is by running them in their own containers with limited resources and no access to the outside world. The [[:mw:Extension:WikiLambda#Architectural_concept|architecture is described here]]. -- [[User:DVrandecic (WMF)|DVrandecic (WMF)]] ([[User talk:DVrandecic (WMF)|talk]]) 22:51, 24 September 2021 (UTC) |
|||
== what are z-ids? == |
|||
what is origin of "z" letter in z-ids? are there already z-ids in wikidata? as i understood, z-ids just replace multiple natural language strings, is it so? if it is so, why function names like "Object_with_modifier_and_of" also not replaced with them? the code in right block in https://notwikilambda.toolforge.org/wiki/Z10104 is hard to understand. are the z-codes in it planned to be replaced with natural language strings? --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 13:02, 17 September 2021 (UTC) |
|||
:You are totally right! ''"Object_with_modifier_and_of"'' is just the English name of the function, in reality it is identified by a ZID, and it will have a different name in Arabic, and in Russian, and in German, and in Tatar, etc. That is true for all of our functions. The ''"and"'' function is called ''"i"'' in Croatian, but the ZID in Notwikilambda is [https://notwikilambda.toolforge.org/wiki/Z10026 Z10026]. In the User Interface though, we will try to hide all ZIDs, and instead display the names in your language. -- [[User:DVrandecic (WMF)|DVrandecic (WMF)]] ([[User talk:DVrandecic (WMF)|talk]]) 22:55, 24 September 2021 (UTC) |
|||
::there are 5 questions in main text (paragraph, body) part of my question. you answered third and 4th. what can you say about others? --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 19:23, 4 October 2021 (UTC) |
|||
== response to an old reply (in the archives) about ML == |
|||
in [[Talk:Abstract_Wikipedia/Archive_2#Wikidata_VS_Wikipedia_-_General_structure]] [[user:DVrandecic (WMF)]] said: |
|||
1. "we don't have automatic translation for many languages" |
|||
2. "The hope is that Abstract Wikipedia will generate content of a consistently high quality that it can be incorporated by the local Wikipedias without the necessity to check each individual content. .... translation doesn't help with updates. If the world changes, and the English Wikipedia article gets updated, there is nothing that keeps the local translation current." |
|||
i want to say that: |
|||
1. i saw news saying yandex has developed machine translation for bashkir language, using tatar language, because this languages are very similar, and there are more content in tatar. (so, more languages may appear, (in ML), using such tehniques). |
|||
2. |
|||
i doubt that the way you are going to use is going to provide more stable results than the ML. users will constantly edit the functions, renderers, constructors, the abstract code, and probably something is going to brake also. so, an idea have come just in my mind: in case of editing a renderer, if all cases of using that renderer are linked to it, editor may check all the use cases before applying changes... if that use cases are not too many... |
|||
it is possible also to make ML automatical updates more easy to check. if after one or several updates some user is notified with them, and given an easy to read page showing differences that are made in original page, and differences that are going to be made in translation. |
|||
though, there is a stronger argument against ML in this forum in [[Talk:Abstract_Wikipedia/Archive_3#Might_deep_learning-based_NLP_be_more_practical?]] by [[user:Stevenliuyi]]: "a ML-based system will make sentences more fluent, it could potentially turn a true statement into a false one". |
|||
--[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 23:11, 19 September 2021 (UTC) |
|||
:I very much look forward and hope that more high quality machine translation will become available for everyone. I think there's a window of opportunity where Wikifunctions / Abstract Wikipedia will provide knowledge in high quality in languages where machine translation will not yet. |
|||
:I like the idea of showing the results when editing. Our first implementation of that idea is to do that with the testers. But as the system develops, we will probably be able to use more of the system to let the contributors understand the impact of their edits. -- [[User:DVrandecic (WMF)|DVrandecic (WMF)]] ([[User talk:DVrandecic (WMF)|talk]]) 23:16, 24 September 2021 (UTC) |
|||
== Boilerplate functions == |
|||
From my point of view Scratch is a good example for a low-coding-plattform. It is easy possible on it to create a program. In Scrath there are Boilerplates with gaps and it is possible with drag and drop to take the different parts that have different looks and it is possible to connect the parts to a function if they can belong together. From my view for at least some functions that principle could be a possibilty with a lower barrier for creating functions after the boiler plate templates could be translated into other languages to reach people with lower coding knowledge. Making it for them possible to create a function. Have you thinked about offering a possibility like that in the User Interface.--[[User:Hogü-456|Hogü-456]] ([[User talk:Hogü-456|talk]]) 20:42, 25 September 2021 (UTC) |
|||
== why not to use a ready "abstract language"? == |
|||
many natural language generation projects are listed in [[Abstract_Wikipedia/Related_and_previous_work/Natural_language_generation]]. why you decided to develop a new coding standart, instead of using of a ready system? --[[User:Qdinar|QDinar]] ([[User talk:Qdinar|talk]]) 19:35, 4 October 2021 (UTC), edited 19:37, 4 October 2021 (UTC) |
|||
== Mention the original name Wikilambda == |
|||
There is message box on top with a footnote, but nonetheless I want to suggest that a (near) native English user adds in the text passage about ''Wikifunctions'' some note about the original name ''Wikilambda'' for various reasons: |
|||
* This name appears several times in the timeline and background sections. |
|||
* The extension still bears the name [[mw:Extension:WikiLambda|Extension:WikiLambda]]. |
|||
* The [[Abstract Wikipedia/Updates/2021-10-27|new logo for Wikifunctions]] contains a lambda. |
|||
Because of the translation system I do not simply want to add text, but my own suggestion would be: “Originally it was named ''Wikilambda'' derived from the [[w:en:Lambda calculus|Lambda calculus]]. The name [[mw:Extension:WikiLambda|Extension:WikiLambda]] and the Wikifunctions logo containing a lambda still are reminiscences.” Is this OK? — [[User:Speravir|Speravir]] <span style="font-size:80%;color:#555;">– 23:17, 28 October 2021 (UTC)</span> |
Latest revision as of 20:58, 29 June 2024
This page is for discussions related to the Abstract Wikipedia page. Please remember to:
|
Abstract Wikipedia |
---|
(Discussion) |
General |
Development plan |
|
Notes, drafts, discussions |
|
Examples & mockups |
Data tools |
Historical |
Outdated?
[edit]It seems to me that a content page entitled "Abstract Wikipedia" should include the current state of the project. The page describes the project schedule, but does not describe what been done and what remains to be done. For example, did the "Abstract Wikipedia part of the project ... start in roughly 2022"? Did the Wikifunctions Beta launch in 2022? Finell (talk) 04:17, 3 October 2023 (UTC)
- @Finell Thanks for reporting this, and sorry for taking this long to answer. Yes, the main page needs to be updated, and we will do it soon. We just have been caught in a lot of work behind the scenes since the launch of the project. Sannita (WMF) (talk) 15:17, 8 February 2024 (UTC)
Suggestions
[edit]I have some criticisms. In this article, these examples are given:
subclassification_string_from_n_n_language(n_wikipedia, n_encyclopedia, English)
English : Wikipedias are encyclopedias.
subclassification_string_from_n_n_language(n_wikipedia, n_encyclopedia, German)
German : Wikipedien sind Enzyklopädien.
Subclassification(Wikipedia, Encyclopedia)
English : Wikipedias are encyclopedias.
German : Wikipedien sind Enzyklopädien.
However, what bothers me is the claim that this is language-neutral, when it's so obviously Anglocentric. If it were German-centred instead, for example, the code would look like this instead:
Zeichenfolge_für_die_Unterklassifizierung_von_n_n_Sprache(n_Wikipedia, n_Enzyklopädie, Englisch)
Zeichenfolge_für_die_Unterklassifizierung_von_n_n_Sprache(n_Wikipedia, n_Enzyklopädie, Deutsch)
Unterklassifikation(Wikipedia, Enzyklopädie) (thanks, google translate!)
So, what's the point of lying? Also, I think that the functions should be stratified (to avoid nasty things like self-referential paradoxes), like predicate logic or set theory. A predicate is a special case of a function whose output is T or F. Logical operators are similar in this regard, except that the input is also T or F.
If we're mirroring predicate logic, then we could instead have:
Encyclopedia(Wikipedia) or Enzyklopädie(Wikipedia)
Similarly, the set {x|Encyclopedia(x)} (or {x|Enzyklopädie(x)}) can be defined.
Quantifiers should also be included, so that one could state that for example, all humans are mortal. Now, I have an idea for stratification (if you dislike it, feel free to modify it- this is purely illustrative. If I'm unclear, feel free to ask for clarification- I'm $h!t at explaining things :))
0th order: Objects
1st order: Functions (incl. predicates) between objects (we'll state that these functions quantify over objects, in analogy to predicates in predicate logic), statements that only quantify over objects, and sets defined by said functions. All of these collectively will be referred to as first-order objects.
2nd order: Functions between first-order objects (but no higher), statements quantifying over first order objects (but no higher), and sets defined by said functions. All of these collectively will be referred to as second-order objects.
3rd order: Functions between second-order objects (but no higher), statements quantifying over second-order objects (but no higher), and sets defined by said functions. All of these collectively will be referred to as third-order objects.
etc.
Transfinite induction is obvious:
ω-order: Functions between nth-order objects (for n<ω), statements quantifying over nth-order objects (for n<ω), and sets defined by said functions. All of these collectively will be referred to as ω-order objects. (this can be applied to other limit ordinals too)
All functions, statements, and sets will be assigned the lowest ordinals consistent with the definitions provided Username142857 (talk) 17:34, 2 January 2024 (UTC)