Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Кіріспе
Жасанды интеллектте флюент – уақыт өте келе өзгере алатын жағдай. Іс-әрекеттер туралы ой қорытудың логикалық тәсілдерінде флюенттер бірінші реттік логикада уақытқа тәуелді аргументі бар предикаттар арқылы көрсетілуі мүмкін. Мысалы, "қорап үстелде" жағдайы, егер ол уақыт өте келе өзгерсе, оны тек ; арқылы көрсетуге болмайды, предикатқа уақытты көрсету үшін үшінші аргумент қажет: бұл қораптың уақытында үстелде екенін білдіреді. Флюенттердің осы бейнелеуі жағдай есептеуінде ағымдағы уақыттың орнына өткен әрекеттер тізбегін пайдалану арқылы өзгертіледі. Флюентті функция арқылы да көрсетуге болады, уақыт аргументін жоя отырып. Мысалы, "қорап үстелде" жағдайы функциясы емес, предикаты арқылы көрсетілуі мүмкін. Бірінші реттік логикада предикаттарды функцияларға түрлендіру реификация деп аталады, сондықтан функциялармен көрсетілген флюенттер реификацияланған болып саналады. Реификацияланған флюенттерді қолданғанда, флюенттің нақты шын немесе жалған екенін анықтау үшін жеке предикат қажет. Мысалы, бұл қораптың уақытында үстелде екенін білдіреді, мұнда предикат – флюенттердің қашан шын екенін көрсетеді. Флюенттердің осы бейнелеуі оқиға есептеуінде, флюент есептеуінде және мүмкіндіктер мен флюенттер логикасында қолданылады. Кейбір флюенттерді функциялар арқылы басқаша көрсетуге болады. Мысалы, қораптың орны функциясы арқылы көрсетілуі мүмкін, оның мәні – қораптың сол уақытта тұрған нысаны. Мұндай функциялардың мәндері туралы мәлімдемелер бірінші реттік логикада теңдікпен, мысалы, жазылуы мүмкін. Кейбір флюенттер жағдай есептеуінде осылай бейнеленеді.
In artificial intelligence, a fluent is a condition that can change over time. In logical approaches to reasoning about actions, fluents can be represented in first order logic by predicates having an argument that depends on time. For example, the condition "the box is on the table", if it can change over time, cannot be represented by ; a third argument is necessary to the predicate to specify the time: means that the box is on the table at time This representation of fluents is modified in the situation calculus by using the sequence of the past actions in place of the current time. A fluent can also be represented by a function, dropping the time argument. For example, that the box is on the table can be represented by , where is a function and not a predicate. In first order logic, converting predicates to functions is called reification; for this reason, fluents represented by functions are said to be reified. When using reified fluents, a separate predicate is necessary to tell when a fluent is actually true or not. For example, means that the box is actually on the table at time , where the predicate is the one that tells when fluents are true. This representation of fluents is used in the event calculus, in the fluent calculus, and in the features and fluents logics. Some fluents can be represented as functions in a different way. For example, the position of a box can be represented by a function whose value is the object the box is standing on at time Conditions that can be represented in this way are called functional fluents. Statements about the values of such functions can be given in first order logic with equality using literals such as Some fluents are represented this way in the situation calculus.
Наив физика
Тарихи тұрғыдан алғанда, флуенттер сапалық ойлау аясында енгізілді. Идеясы – процесс моделін математикалық теңдеулермен емес, табиғи тілмен сипаттау. Яғни, әрекет тек траекториясымен ғана емес, мәтіндік оқиғаға ұқсас символдық модельмен анықталады. Наївті физика сандық физика қозғалтқышына қарсы келеді және әрекеттердің нәтижесін болжауға міндетті. Флуент роботтың қозғалысы мен тапсырманың табиғи тілдегі сипаттамасы арасындағы жалпы түсінікті қамтамасыз етеді. Техникалық тұрғыдан алғанда, флуент – наївті физика қозғалтқышымен талданатын параметр. Парсер табиғи тілдегі флуенттерді сенсорлармен өлшенген сандық мәндерге түрлендіреді. Осының нәтижесінде адам мен машинаның өзара әрекеттесуі жақсарады.
From a historical point of view, fluents were introduced in the context of qualitative reasoning. The idea is to describe a process model not with mathematical equations but with natural language. That means an action is not only determined by its trajectory, but with a symbolic model, very similar to a text adventure. Naive physics stands in opposition to a numerical physics engine and has the obligation to predict the outcome of actions. The fluent realizes the common sense grounding between the robot's motion and the task description in natural language. From a technical perspective, a fluent is equal to a parameter that is parsed by the naive physics engine. The parser converts between natural language fluents and numerical values measured by sensors. As a consequence, the human machine interaction is improved.