Operation Search Equations

+4  

Thing ? = Other Thing

YAML Idėja

In the elementary schools, we are asked to solve equations with the assumption that operators are already given. For example: "4 + X = 5", or "6 - X = 9", etc., mostly with the already defined operators, like +, -, *,... etc. However, what's more useful in real life, is the creativity and operation search. So, instead of providing +, -, *, ÷, , ,... etc. as given, teach kids to do operation search to satisfy conditions defined by the equality sign.

For example, "4 ? = 5", meaning, -- what can we do with "4" to get "5". Or "6 ? = 9" -- what can we do with "6" to get "9"? Now, replace the numbers with real situations in kids' lives, and teaching operation search math can help them, fostering their creativity rather than life in one axiomatics of mathematics.

And, perhaps the question mark is not the best symbol here, as it is directional. Something like an infinite-dimensional circular question mark around one side of equation would be more appropriate.

Credits: Mindey of HalfBakery.




(nesiųsti pranešimų) (nebūtinas) Prašome prisijungti.

Taigi man įdomu: ar ne „operacijų tyrimų“ sritis - nesąmoningai jau bandoma pritaikyti matematiką ieškant tokių x -ų? Įdomu, kaip lauke oficialiai apibrėžiama jo probleminė sritis ...

So I wonder: isn't the field of "operations research" - subconsciously already trying to apply math to finding such x-es? I wonder, how does the field formally define its problem domain...


Tai verčia mane galvoti, kad būtent taip turėtų veikti interneto paieška - jūs nurodote, kokia yra jūsų dabartinė būklė ir kokios yra jūsų tikslinės sąlygos (ko jūs bandote pasiekti), ir? - yra vairavimo nurodymai arba užuominų seka, kuriuos paieškos variklis turėtų pateikti, kad nuvyktų. Norint tai padaryti, iš tikrųjų reikia turėti informacijos apie dabartinę situaciją. Daugelis paieškos sistemų tai daro automatiškai, nes mes naudojame daugybę jų paslaugų („Google“ atveju). Taigi, jie žino, kokioje situacijoje yra kiekvienas asmuo. Dabar užduotis yra išsiaiškinti, ką kiekvienas asmuo iš tikrųjų nori, kad įvyktų jų gyvenime ^ __ ^ ir pateikti paieškos rezultatus atsižvelgiant į tai, kad tai įvyktų ... Kas? galbūt gali suklysti?

That makes me think, that this is how internet search should work -- you specify what is your current condition, and what is your target conditions (what you're trying to achieve), and the ? -- is the driving directions, or sequence of hints, that the search engine should provide to get you there. To be able to do that, it actually does require to have information about your current situation. Most search engines do that automatically, as we use a plethora of their services (in case of Google). So, they know what situation each person is in. Now, the task is to figure out what each person actually wants to happen in their lives ^__^ and provide search results with that context in mind, to make it happen... What could possibly go wrong?


Ar kompiuteriai gali tai padaryti?

Simbolinis samprotavimas?

Can computers do this?

Symbolic reasoning?


// Ar kompiuteriai gali tai padaryti? Simbolinis samprotavimas?

Priklauso nuo to, kas yra x ir y "x? = Y". Jei tai yra skaičiai arba kai kurie mažai sudėtingi objektai, tai gali padaryti kompiuteriai (kartais tai vadinama [subjekto įžeminimu] (https://web.archive.org/web/20141130194155/http://tedsider.org/teaching/ground /HO_entity_grounding_and_truthmaking.pdf)). Pavyzdžiui, nesunku įsivaizduoti, kaip kompiuteriai gali ieškoti kelio, pvz., [Technologinis metodas] (https://www.halfbakery.com/idea/Technology_20Maps_20_99), panašiai kaip ieško važiavimo krypčių.

Tačiau jei x ir y yra nereikšmingi (turintys neaiškių bruožų ar neaiškios vertės priklausomybę nuo požymių derinių (tai gali įvertinti tik žmogus, žiūrėdamas į jį ir naudodamasis savo vertybių sistema, kad jaustųsi), arba skaičiavimo požiūriu sudėtingi, arba ne telpa į atmintį), tada kompiuteriai paprastai to padaryti negali, nebent galvojate apie visą visatą ir žmones kaip apie kompiuterius, ko tikriausiai neturėjote omenyje turėdami „kompiuteriai“ :)

// Can computers do this? Symbolic reasoning?

Depends on what is x and y in "x ? = y". If they are numbers or some low complexity objects, then computers can do this (it is sometimes called entity grounding). For example, it is easy to imagine how computers can do search for path, like technological method, in a similar way how it searches for driving directions.

However, if x and y are non-trivial (having vague features or vague value dependency on feature combinations (that can only be evaluated by a human looking at it and using one's value system to feel about it), or computationally complex, or not fitting into memory), then computers usually can't do it, unless you think of entire universe and humans as computers, which is probably not what you meant by "computers" :)


I had an idea for computers to work out how to perform an action based on representations.

So If you have an image it might not be in the right format for a crop code. so you need to convert it to pixels first.

First it would detect the image format is PNG and find a PNG decoder. Then it would find an operation that works on decoded PNG. Such as crop.

https://github.com/samsquire/ideas#11-representational-computing



    : Mindey
    :  -- 
    :  -- 
    

--chronological,

Manau, kad ši idėja yra susijusi su patarimų varikliu.

Gyvenimas yra šiek tiek sprendimų medis.

Jūs negalite tiesiog eiti į Harvardą, Oksfordą ar Kembridžą į išskirtinį universitetą 1 žingsnyje. Pirmiausia turite atlikti kitus dalykus.

Taip pat turėjau idėją, kaip naršyti vadovaujantis. Kuris yra ant pusės kepyklos. Idėja yra tai, kad prieš baigdami paiešką pereinate puslapių rinkinį. Kaip pamoka, kuri reaguoja į tai, ką darėte iki šiol.

https://www.halfbakery.com/idea/Guided_20web_20browsing

I think this idea is related to advice engine.

Life is a bit of a decision tree.

You can't just go to Harvard or Oxford or Cambridge an exclusive university at step 1. You need to do other things first.

I also had an idea for achieving guided browsing. Which is on half bakery. The idea is you go through a set of pages before concluding your search. Like a tutorial that is reactive to what you have done so far.

https://www.halfbakery.com/idea/Guided_20web_20browsing



    :  -- 
    : Mindey
    :  -- 
    

--chronological,

Ši idėja taip pat susijusi su automatizuotu API perėjimu - programos sinteze.

This idea is also related to Automated API traversal - Program synthesis.



    :  -- 
    : Mindey
    :  -- 
    

--chronological,

Tai taip pat susiję su grandinėmis į priekį ir atgal - loginėmis išvadomis.

Norėdami apskaičiuoti galutinę vertę, jums reikia atstumo funkcijos ir krypties.

Nors atstumas (dabartinė_vertybė) didesnis nei 0 {

Funkcijai next_functions (funkcija) (

 Kandidatas = Funkcija (dabartinė_vertybė)

 Jei atstumas (kandidatas) Mažesnis nei atstumas (dabartinė_vertybė) (

 Directions.append (funkcija)

Current_value = Kandidatas

 Pertrauka

)

)

)

This is also related to forward chaining and backward chaining logical inferences.

To calculate towards an end value you need a distance function and a direction.

While distance(current_value) greater than 0 {

For function in next_functions(function) (

 Candidate = Function(current_value)

 If distance(candidate) Less than distance(current_value) (

 Directions.append(function)

Current_value = Candidate

 Break

)

)

)


Tai, kas čia aprašyta, tikrai nėra nauja: gali būti įrodyta, kad operacijų paieškos lygčių sprendimas yra lygiavertis paieškai pagrindiniai terminai, siekiant išspręsti tiesos lygtis, sudarytas iš tiesa funkcijos, kur simbolis = yra reikalavimas, kad abi jo pusės būtų lygios.

Tada „operacija“ gali būti vadinama operacijos paieškos lygties „pagrindiniu terminu“ arba „sprendimu“.

Manau, kad čia naujovė yra tik aprašymo supaprastinimas, kad švietimo sistemoms būtų aktualu susigaudyti abstrakcijos ir pragmatikos lygiuose su šiuolaikiniu mąstymu: ty, užuot paprašius vaikų atsikratyti esamų funkcijų ar operatorių prisijungti prie - spręsti jiems suteiktas problemas,

  • kompiuterinės programos rašymas yra savotiška operatoriaus paieška, kur parašyta programa yra rastas operatorius,
  • tokio įrankio kaip gręžtuvas gamyba yra savotiška operatoriaus paieška, kai padarytas instrumentas (grąžtas) yra rastas operatorius,

ir kt.

What is described here, is really not new: solving operation search equations can be shown to be equivalent to search for ground terms to solve truth equations made from truth functions, where symbol = is a requirement for both sides of it to be equal.

An "operation" then can be said to be a "ground term" or a "solution" to an operation search equation.

I think the novelty here is only in simplification of description to make it relevant to education systems to catch up in the levels of abstraction and pragmatics with the modern day thinking: i.e., instead of asking kids to regurgitate existing functions or operators to plug in to solve problems given to them, -- allowing them to imagine possible operators to apply to the resources to resolve a problem that they care about: for example:

  • writing a computer program is a kind of operator search, where the program written is the operator found,
  • making an instrument like a drill, is a kind of operator search, where the instrument (the drill) made is the operator found,

etc.



    : Ruta
    :  -- 
    :  -- 
    

--Mindey,

Aš maniau, kad problemoje visada buvo keli operatoriai ir jie taikomi tvarkingai.

Tai, kaip jūs sakote, yra programavimas. Galime patys programuoti kompiuterius, jei jie gali atlikti operacijų paiešką.

Nežinau, ar neuronų tinklų seka gali padėti. Jie naudojami vertimo problemoms ir sakinių medžiams.

Jūs minėjote „Github“ „OpenAI Codex“ papildomame GUI puslapyje, manau, kad tai aktualu šiai idėjai.

Noriu sistemų, kurios pačios programuoja, pvz., Šią funkciją -

F (duomenų bazės būsena 1, užklausa) = (išvesties HTML, duomenų bazės būsena 2, tinklo skambučiai)

Programa gali ieškoti nuorodų informacijai, naudojamai užklausoje, kad būtų sukurtos susietos HTML ir duomenų bazių intarpų eilutės. Jei užklausoje nurodysite, kad užsakymo numeris 1 atitinka duomenų bazės 1 lentelės užsakymus, tada kompiuteris tikriausiai gali išsiaiškinti, kokių duomenų reikia ištraukti į išvesties HTML.

I assumed there was always multiple operators in the problem and they are applied in order.

This as you say is programming. We can have computers programming themselves if they can do operation search.

I dont know if sequence to sequence neural networks can help. They are used for translation problems and sentence trees.

You mentioned Github's OpenAI Codex on additive GUI page, I think that is relevant on this idea.

I want systems that programs themselves such as the following function -

F(database state 1, request) = (output HTML, database state 2, network calls)

The program can search for references for information used in the request to create the concatenated strings of HTML and database inserts. If you specify that order_number in the request corresponds to Orders table in database state 1 then the computer can probably work out what data needs pulling out into the output HTML.


[Mindey], įdomu, kaip tai atrodytų kaip pamoka / mokymosi patirtis? Ar galite pateikti kokį nors pavyzdį?

„Galvoji? = Kitas dalykas“ skamba kaip problemų sprendimo per kūrybiškumą pagrindas. Ar besimokantysis apibrėžtų „kitą dalyką“, ar mokytojas palengvintų pamoką?

[Mindey] , I wonder, how would this look like as a Lesson / Learning Experience? Can you give some example?

"Think ? = Other Thing" sounds like a framework for problem solving through creativity. Would a learner define the "other thing" or a teacher facilitating a lesson?


// Pagalvok? = Kitas dalykas “skamba kaip problemų sprendimo per kūrybiškumą pagrindas.

Taip, gerai, pakeiskite „Kitas dalykas“ žodžiu „Norimas dalykas“ (Y), o pirmąjį „Dalyką“ - dabartinėmis aplinkybėmis (F), o klaustuką - „X“, ir iš esmės gausite „F (X) = Y ".

// Think ? = Other Thing" sounds like a framework for problem solving through creativity.

Yeah, well, replace "Other Thing" with 'Desired Thing' (Y), and the first "Thing" with current circumstances (F), and the question mark with "X", and you get essentially "F(X)=Y".