Mindey, 
Operation Search Equations
Thing ? = Other Thing
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.
How to traverse API calls from a specification of the problem to be solved.
Поэтому я задаюсь вопросом: разве область «исследования операций» - подсознательно уже пытается применить математику для нахождения таких x-es? Интересно, как поле формально определяет свою проблемную область ...
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...
Это заставляет меня думать, что именно так должен работать поиск в Интернете - вы указываете, какое у вас текущее состояние, и каковы ваши целевые условия (чего вы пытаетесь достичь), а? - это направление движения или последовательность подсказок, которые поисковая система должна предоставить, чтобы вы туда попали. Для этого на самом деле требуется информация о вашей текущей ситуации. Большинство поисковых систем делают это автоматически, поскольку мы пользуемся множеством их сервисов (в случае Google). Итак, они знают, в какой ситуации находится каждый человек. Теперь задача состоит в том, чтобы выяснить, что каждый человек на самом деле хочет в своей жизни ^ __ ^, и предоставить результаты поиска с учетом этого контекста, чтобы это произошло ... Что может пойти не так?
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?
Могут ли компьютеры это делать?
Символическое рассуждение?
Can computers do this?
Symbolic reasoning?
// Могут ли компьютеры это делать? Символическое рассуждение?
Зависит от того, что есть x и y в «x? = Y». Если это числа или какие-то объекты низкой сложности, то компьютеры могут это делать (иногда это называется [заземление объекта] (https://web.archive.org/web/20141130194155/http://tedsider.org/teaching/ground /HO_entity_grounding_and_truthmaking.pdf)). Например, легко представить, как компьютеры могут выполнять поиск пути, например [технологический метод] (https://www.halfbakery.com/idea/Technology_20Maps_20_99), аналогично тому, как они ищут маршруты проезда.
Однако, если x и y нетривиальны (имеют неопределенные характеристики или неопределенную зависимость значений от комбинаций функций (которые могут быть оценены только человеком, смотрящим на них и использующим свою систему ценностей, чтобы почувствовать это) или вычислительно сложными, либо нет вписывается в память), то компьютеры обычно не могут этого сделать, если только вы не думаете обо всей вселенной и людях как о компьютерах, что, вероятно, не то, что вы имели в виду под "компьютерами" :)
// 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
Я думаю, что эта идея связана с механизмом рекомендаций.
Жизнь - это что-то вроде дерева решений.
Вы не можете просто пойти в Гарвард, Оксфорд или Кембридж в эксклюзивный университет на этапе 1. Сначала вам нужно заняться другими делами.
У меня также была идея для управляемого просмотра. Которая находится на половине пекарни. Идея состоит в том, что вы просматриваете набор страниц, прежде чем завершить поиск. Как учебник, который является реакцией на то, что вы сделали до сих пор.
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
Эта идея также связана с автоматическим обходом API - синтезом программ.
This idea is also related to Automated API traversal - Program synthesis.
Это также связано с логическими выводами прямой и обратной цепочки.
Чтобы вычислить конечное значение, вам понадобится функция расстояния и направление.
Пока расстояние (current_value) больше 0 {
Для функции в next_functions (функция) (
Current_value = кандидат
)
)
)
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) (
Current_value = Candidate
)
)
)
То, что здесь описано, действительно не ново: можно показать, что решение уравнений поиска операций эквивалентно поиску основных терминов для решения уравнений истинности, составленных из истинности functions, где символ
=является требованием, чтобы обе его стороны были равны.Тогда «операция» может быть названа «основным термином» или «решением» уравнения поиска операции.
Я думаю, что новизна здесь только в упрощении описания, чтобы сделать его актуальным для систем образования, чтобы догнать уровни абстракции и прагматики с современным мышлением: то есть вместо того, чтобы просить детей извергать существующие функции или операторов, чтобы подключиться к ним. решать поставленные перед ними задачи, - позволяя им представить себе возможных операторов, которые могут обратиться к ресурсам для решения проблемы, которая их волнует: например:
и т.п.
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:
etc.
Я предполагал, что в задаче всегда было несколько операторов, и они применяются по порядку.
Это, как вы говорите, программирование. У нас могут быть компьютеры, которые сами программируют, если они могут выполнять поиск операций.
Я не знаю, может ли помочь нейронная сеть от последовательности к последовательности. Они используются для задач перевода и деревьев предложений.
Вы упомянули кодекс Github OpenAI на странице аддитивного графического интерфейса, я думаю, что это имеет отношение к этой идее.
Мне нужны системы, которые сами программируют, например, следующую функцию -
F (состояние базы данных 1, запрос) = (выходной HTML, состояние базы данных 2, сетевые вызовы)
Программа может искать ссылки на информацию, используемую в запросе для создания конкатенированных строк HTML и вставок в базу данных. Если вы укажете, что order_number в запросе соответствует таблице Orders в состоянии базы данных 1, то компьютер, вероятно, сможет определить, какие данные нужно вывести в выходной 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] , 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?
// Считать ? = Другое "звучит как основа для решения проблем посредством творчества.
Да, ну, замените «Другое» на «Желаемое» (Y), а первое «Вещь» на текущие обстоятельства (F), а вопросительный знак на «X», и вы получите по существу «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".