You can subscribe to this list here.
| 2011 |
Jan
|
Feb
|
Mar
(1) |
Apr
(4) |
May
|
Jun
|
Jul
|
Aug
|
Sep
(3) |
Oct
|
Nov
|
Dec
|
|---|
|
From: Dmitriy S. <sha...@gm...> - 2011-09-19 07:31:36
|
Ok, we get definition of "GLOBAL WORLD" (1), "WORLD"(2) and local "MY WORLD"(3). (I don't have a names for that definitions, any ideas?) (2) & (3) is parts of (1) Now, lets find how that world (2) & (3) communicate. First of all, communications channels defined by (3), not by (2) or (1). So, we have input sense & output. input sense - several different pattern detections. Synchronization of it create THE object with "properties" (HAVE or AN, example: the dress have color red. == the dress an red. the red is color.) output - some sort of serialization of active part - "context". Operator for that is "GET" + references. Same time references is part of learning. As you can see animo graph is base model for "MY WORLD".It used to transfer information from input to output with processing. Next letter will describe symmetry during GET evaluation ... On Sun, Sep 18, 2011 at 10:38 AM, inference <f.k...@bt...> wrote: > Very good. I agree I know the philosophy and physics to supprot that idea > and solution too. > I am impressed > > ----- Original Message -- --- > *From:* Dmitriy Shabanov <sha...@gm...> > *To:* inference <f.k...@bt...> > *Sent:* Sunday, September 18, 2011 6:20 AM > *Subject:* Re: Animo ideas > > no, mirror create new object !!! that very important, because of searching > for same object process in our head. > > another example: you are looking on a chair for 10 seconds, lets say your > head works in freq 1Hz. So, is it 10 objects created in your head? now looks > around and look back on same chair. How do you know that it same? > Chair can be replaced with one that looks exactly same. Or you will find > some property that different or if not you "think" that it same. > > But if you looking on chair for 10 seconds and some one very fast replace > it on 5th second, will you able to detect it? > > (small note: we don't see object as one picture, we do see it by pieces and > creating one picture in head) > > On Sat, Sep 17, 2011 at 11:32 PM, inference <f.k...@bt...>wrote: > >> In this case you identitfy the physical object (inventory) and use >> various mirrors (names) related to the same object, right? keeping the >> connection object -property (the name) >> > > My example a bit bigger. It possible to number all objects in world from > beginning of it, plus all combinations of it. "Brain stop in time" can be > counted too. > > So, it give space with counting properties (it possible to name each > "object" and combinations of it). > > External world and internal one have different physics, but internal trying > to get as close mirroring of external as possible. > > I don't try to inventory only physical object, but also feelings and > relations: some internal representations of external objects. > > Have to go, I'll continue this evening .... > > -- Dmitriy Shabanov |
|
From: Dmitriy S. <sha...@gm...> - 2011-09-16 07:31:52
|
Hi Ferenc Kovacs, Next question: what we can together? I'm not quite clear with your project. Can you give some more information? My view on mental operations is different type of questions. It should be possible to create use cases to demonstrate what it for & why. So, if you are ready we can start brain storm. -- Dmitriy Shabanov |
|
From: Dmitriy S. <sha...@gm...> - 2011-09-14 17:52:37
|
Hello, Time to show more... :-) THE A - is point in animo space, that is not a simple node on graph, but several relations & node. Let's call it object. IS create some sort of categories space. Object can have properties, HAVE used for that, same time object under HAVE is THE-like. This require example to understand: *the personA is male.* *the personB is female.* *the personC have parent (an personA) (an personB).* As you can see personB is mother for personC ONLY. It possible to add simple object: *the mother (is parent) (is female).* And question: *?is personC have mother personB*. will be answered *the yes.* * * I did use reference AN, this one is direct one. There are also ANY (one or nothing), ALL (we didn't clear this one. It can be all by IS topology or just leafs) + predicates: *all book with any author with name "Stanisław Lem"*.* *(working to simplify this type of statements) note: *Stanisław Lem** books *can be parsed to animo statement, but that have two (as minimum) minings "as owner" & "as author" (only is graph have that!!!). This can be solved by question back to interlocutor, or base on context, or ...* * That was declarative part of language. It do have functional part too, very close to lisp. Biggest difference in GET or ever so called empty GET, answer searching at context or call stack. That is a bit hard to understand by simple to use. The main reason for that is "know what require, but don't know where to get". Example: GET with defined context the A have B "C". the Z get B an A. => the Z have B "C". empty GET the A have B "C". the Z get B. an Z an A. => the Z have B "C". GET also use IS topology: the A have B "C". the B is C. the Z get C an A. => the Z have B "C". Complex example: the A have B get C. the D have E get B. the x an D an A have C ":". => the X the D have E have B have C ":" There much more but I have to stop and look around =) ================= So, you can see that this is mix of your ideas. "mental operations" I do see as question operations. It should be possible to link them to different type of questions. Also, I do want to "serialize" subgraph to language. That should be very interesting, because I do want to use pure animo to reach that target. Any comments or questions? -- Dmitriy Shabanov |
|
From: Dmitriy S. <sha...@gm...> - 2011-04-11 17:17:57
|
Добро, 2011/4/11 mefrill <me...@ya...> > Не могли бы Вы подробнее написать об "алгебраическом пространстве со > свойством непрерывности". Так получилось, что с топологией и алгеброй я > работаю довольно тесно как в теории формальных языков, так и в теории > формальных систем (в частности, алгебраических онтологий). Интересно, какая > математическая конструкция здесь используется. Может быть есть ссылки на > какие-то работы по таким пространствам? > За основу взят принцип множественных топологических пространств, я мало что читал про такое, не могу дать внятную ссылку, но если кратно, то из любой точки можно переходить в различные (другие) пространства и обратно. При этом правила определяющие пространство могут быть даже противоположные, но как уже понятно главное чтобы было связывающая топология. Да, иногда термин "топологическое пространство" не совсем подходит, но у меня нет более подходящего. Стояла проблема навигации в этой каше, пошли путем наименьшего сопротивления, объект - есть уникальное имя (т.е. глобальное простанство имен, уникальность решается через uuid, как крайний случай). Потом определили механизм подключения (расшерения) языка через префиксы, т.е. получили правосторонние операторы. Затем поставили пару задач для опробировании концепции. Это все что имеем сейчас. На данный момент, подключено лишь одно топологическое пространство, его называем "IS-HAVE relations". За основу взято классы ООП<http://ru.wikipedia.org/wiki/Класс_(программирование)>, они описываются через "IS" связи. "HAVE" связи - можно характеризовать как сложный механизм присваивания или свойства объекта. Одно отличие от "обычной теории", под воздействием "HAVE" связи объект приобретает "IS" связь. Наверное это лучше показать на примере: the:some-address is:address. the:legal-address is:address. the:org-A is:organization have:legal-address an:some-address. an:some-address - это ссылка на the:some-address (сам объект) под воздействием have:legal-address приобретает is: legal-address Принцип модульности определяется модульностью связи. Это не обязательно "объект - свойство - значение", это скорей должно выглядит вот так "объект - объект связи - объект", при этом объект есть структура. Сейчас прощупываем возможные напраления дальнейшего продвижения. Есть пару идей как использовать multi-pattern matcher. Если есть предложения или идея, рады будем обсудить. -- Dmitriy Shabanov |
|
From: mefrill <me...@ya...> - 2011-04-11 13:20:41
|
Здравствуйте Дмитрий, Не могли бы Вы подробнее написать об "алгебраическом пространстве со свойством непрерывности". Так получилось, что с топологией и алгеброй я работаю довольно тесно как в теории формальных языков, так и в теории формальных систем (в частности, алгебраических онтологий). Интересно, какая математическая конструкция здесь используется. Может быть есть ссылки на какие-то работы по таким пространствам? Заранее спасибо, ВЛ. 11.04.2011 13:09, Dmitriy Shabanov пишет: > 2011/4/11 Evgeny Gazdovsky <gaz...@gm... > <mailto:gaz...@gm...>> > > -------- Пересылаемое сообщение -------- > > От: mefrill <me...@ya... <mailto:me...@ya...>> > > > > Почитал презентацию на Вашем сайте. У меня сложилось следующее > > представление (поправьте, если я где-то ошибаюсь). > > > > В презентации написано, что вычислительный процесс моделируется как > > нервная система. Для этого атомарные элементы система внедряются в > > "топологическое пространство". Последний термин меня > заинтересовал, но > > в тексте презентации я не увидел какой-либо конкретики на этот > счет. У > > понятия "топологическое пространство" есть вполне четкое > > математическое определение -- это система подмножеств, называемых > > открытыми и удовлетворяющая определенным аксиомам. В тексте, видимо, > > под данным понятием подразумевается нечто другое. > > > Не то что другое, скорее более расширенное ... из > http://ru.wikipedia.org/wiki/Топологическое_пространство > <http://ru.wikipedia.org/wiki/%D0%A2%D0%BE%D0%BF%D0%BE%D0%BB%D0%BE%D0%B3%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%BE%D0%B5_%D0%BF%D1%80%D0%BE%D1%81%D1%82%D1%80%D0%B0%D0%BD%D1%81%D1%82%D0%B2%D0%BE> > - "понятие топологического пространства появилось как обобщение > метрического пространства, в котором рассматриваются только свойства > непрерывности." и еще "Понятие топологии является минимально > необходимым для того, чтобы говорить о непрерывных отображениях." > > Т.е. когда говорим о топологическом пространстве, говорим об > алгебраическом пространстве со свойством непрерывности, при этом само > пространство это смесь между действием и данными и это свойство > отличает animo от всех других языков. > > > > > Не вполне понятно также, где здесь, собственно, "семантические > > системы". Есть определенная вычислительная модель -- автомат с > > контекстами произвольного вида, что-то типа машины Тьюринга, но без > > четко определенного процесса записи-чтения, что здесь наверное, > > учитывая цели системы, и не нужно. > > > Была дискуссия на тему "что такое семантика" > <http://www.linkedin.com/groupAnswers?viewQuestionAndAnswers=&discussionID=17303267&gid=49970&commentID=16275081&trk=view_disc> > и там сошлись на мнении что основная часть этого черного ящика это > связи между объектами. Так вот в animo содержится механизм подключения > различных видов связей (для меня это типы топологических пространств) > и возможность их перемешивать. > > > > > В принципе, это все, что я увидел. Подобные вычислительные модели > > интенсивно исследовались в 60-х годах прошлого века. Сейчас можно > > попытаться применить это как платформу для интеграции различных > > вычислительных систем. Но я не уверен, что данная модель является > > оптимальной для таких вещей. > > > Как я уже писал, есть фундаментальное отличие от того что было в 60-80 > годах. Тогда считалось и подразумевалось, что данные и действия это > разные пространства, но уже сейчас понятно, что это не так. > Потребность в динамическом построении функции меняет все в корне, это > возможно только при условии, что эта граница стерта. Об это как раз > говорил Ершов А.П., но мало кто его слышал :-( Модель оптимизации как > раз основана на его работе, правда он это делал для оптимизации > памяти, а мы пошли немного дальше. > > -- > Dmitriy Shabanov |
|
From: Dmitriy S. <sha...@gm...> - 2011-04-11 09:09:52
|
2011/4/11 Evgeny Gazdovsky <gaz...@gm...> > -------- Пересылаемое сообщение -------- > > От: mefrill <me...@ya...> > > > > Почитал презентацию на Вашем сайте. У меня сложилось следующее > > представление (поправьте, если я где-то ошибаюсь). > > > > В презентации написано, что вычислительный процесс моделируется как > > нервная система. Для этого атомарные элементы система внедряются в > > "топологическое пространство". Последний термин меня заинтересовал, но > > в тексте презентации я не увидел какой-либо конкретики на этот счет. У > > понятия "топологическое пространство" есть вполне четкое > > математическое определение -- это система подмножеств, называемых > > открытыми и удовлетворяющая определенным аксиомам. В тексте, видимо, > > под данным понятием подразумевается нечто другое. > Не то что другое, скорее более расширенное ... из http://ru.wikipedia.org/wiki/Топологическое_пространство - "понятие топологического пространства появилось как обобщение метрического пространства, в котором рассматриваются только свойства непрерывности." и еще "Понятие топологии является минимально необходимым для того, чтобы говорить о непрерывных отображениях." Т.е. когда говорим о топологическом пространстве, говорим об алгебраическом пространстве со свойством непрерывности, при этом само пространство это смесь между действием и данными и это свойство отличает animo от всех других языков. > > > Не вполне понятно также, где здесь, собственно, "семантические > > системы". Есть определенная вычислительная модель -- автомат с > > контекстами произвольного вида, что-то типа машины Тьюринга, но без > > четко определенного процесса записи-чтения, что здесь наверное, > > учитывая цели системы, и не нужно. > Была дискуссия на тему "что такое семантика"<http://www.linkedin.com/groupAnswers?viewQuestionAndAnswers=&discussionID=17303267&gid=49970&commentID=16275081&trk=view_disc>и там сошлись на мнении что основная часть этого черного ящика это связи между объектами. Так вот в animo содержится механизм подключения различных видов связей (для меня это типы топологических пространств) и возможность их перемешивать. > > > > В принципе, это все, что я увидел. Подобные вычислительные модели > > интенсивно исследовались в 60-х годах прошлого века. Сейчас можно > > попытаться применить это как платформу для интеграции различных > > вычислительных систем. Но я не уверен, что данная модель является > > оптимальной для таких вещей. > Как я уже писал, есть фундаментальное отличие от того что было в 60-80 годах. Тогда считалось и подразумевалось, что данные и действия это разные пространства, но уже сейчас понятно, что это не так. Потребность в динамическом построении функции меняет все в корне, это возможно только при условии, что эта граница стерта. Об это как раз говорил Ершов А.П., но мало кто его слышал :-( Модель оптимизации как раз основана на его работе, правда он это делал для оптимизации памяти, а мы пошли немного дальше. -- Dmitriy Shabanov |
|
From: Evgeny G. <gaz...@gm...> - 2011-04-11 08:58:08
|
Hello World! http://animotron.org http://animotron.org/content?use:animo-hello-world -- Evgeny |
|
From: Evgeny G. <gaz...@gm...> - 2011-03-28 11:25:50
|
Alpha version of Animotron http://animotron.org/ (Animo language interpretator based on eXist http://exist-db.org/) is available now https://sourceforge.net/projects/animo/ -- Evgeny |