| dbo:abstract
|
- اللغة الإجرائية أو الفعلية (بالإنجليزية: Action language) في علوم الحاسوب هي لغة لتحديد نظام حالة الانتقال، حيث تُستخدم بشكل شائع لإنشاء نماذج شكلية لتأثيرات الإجراءات على العالم. تُستخدم لغات الحركة بشكل شائع في مجالات الذكاء الاصطناعي والروبوتات، حيث تصف كيف تؤثر الإجراءات على حالات الأنظمة بمرور الوقت، كما يمكن إستخدامها أيضاً للتخطيط الآلي. تنقسم لغات الإجراء إلى فئتين: ولغات الإستعلام الإجرائي. تتضمن الأمثلة علي لغات وصف الإجراء واللغة آيه (تعميم لـ ستريبس، جُزء مُقترح من قبل بيدنو ) واللغة بي (امتداد للغة آيه لإضافة تأثيرات غير مباشرة وتمييز القوانين الثابتة والديناميكية) واللغة سي (تُضيف تأثيرات غير مباشرة أيضًا، حيث أن كل عنصر يحتمل «القصور الذاتي» تلقائيًا). توجد أيضًا لغات الاستعلام الإجرائي باي وكيو وآر. توجد عدة خوارزميات مختلفة لتحويل لغات الإجراء، وعلى وجه الخصوص، لغة الإجراء سي، العاملة . نظرًا لأن أدوات البرمجة بمجموعة الإجابة تستخدم خوارزميات قابلية الإرضاء المنطقية للوصول لقابلية الإرضاء بسرعة كبيرة، فإن هذا يعني أن اللغات الإجرائية يمكن أن تستفيد أيضًا بالتقدم الذي يتم إحرازه في مجال مسألة قابلية الإرضاء المنطقية. (ar)
- In computer science, an action language is a language for specifying state transition systems, and is commonly used to create formal models of the effects of actions on the world. Action languages are commonly used in the artificial intelligence and robotics domains, where they describe how actions affect the states of systems over time, and may be used for automated planning. Action languages fall into two classes: action description languages and action query languages. Examples of the former include STRIPS, PDDL, Language A (a generalization of STRIPS; the propositional part of Pednault's ADL), Language B (an extension of A adding indirect effects, distinguishing static and dynamic laws) and Language C (which adds indirect effects also, and does not assume that every fluent is automatically "inertial"). There are also the Action Query Languages P, Q and R. Several different algorithms exist for converting action languages, and in particular, action language C, to answer set programs. Since modern answer-set solvers make use of boolean SAT algorithms to very rapidly ascertain satisfiability, this implies that action languages can also enjoy the progress being made in the domain of boolean SAT solving. (en)
- En ciencias de la computación, un lenguaje de acción es un lenguaje para especificar y se usa comúnmente para crear modelos formales de los efectos de las acciones en el mundo. Los lenguajes de acción se usan comúnmente en los dominios de inteligencia artificial y robótica, donde describen cómo las acciones afectan los estados de los sistemas a lo largo del tiempo y pueden usarse para la planificación automatizada. Los lenguajes de acción se dividen en dos clases: lenguajes de descripción de acción e lenguajes de acción de consulta. Ejemplos de los primeros incluyen STRIPS, , Lenguaje A (una generalización de STRIPS; la parte proposicional de la de Pednault), Lenguaje B (una extensión de A que agrega efectos indirectos, distinguiendo leyes estáticas y dinámicas) y Lenguaje C (que agrega efectos indirectos también y no asume fluencia "inercial" absoluta). También están los lenguajes de acción de consulta P, Q y R. Existen varios algoritmos diferentes para convertir los lenguajes de acción, y en particular, el lenguaje de acción C para programas de conjuntos de respuestas. Dado que los solucionadores de conjuntos de respuestas modernos utilizan algoritmos SAT booleanos para determinar rápidamente la satisfacción, esto implica que los lenguajes de acción también pueden disfrutar del progreso realizado en el dominio de la resolución SAT booleana. (es)
- Język akcji – język dla określenia systemu stanów przejściowych, powszechnie używany do tworzenia formalnych modeli o skutkach działań na świecie. Języki akcji są powszechnie stosowane w sztucznej inteligencji i dziedzinach robotyki, w których opisują, jak akcje wpływają na stany systemu w czasie i co może być używane do automatycznego planowania. Najbardziej znanym językiem akcji jest .Języki działania dzielą się na dwie klasy:
* Języki opisu akcji
* i języki akcji kwerendy. Przykłady są m.in. języki , PDDL, język (uogólnienie STRIPS), język B (rozszerzenie języka A, dodający efekt pośredni, rozróżniania prawa statyczne i dynamiczne) i język C (który również dodaje efekt pośredni, ale nie zakłada, że każda płynność jest automatycznie "inercyjna"). Istnieją również języki akcji kwerendy , i R. Istnieje kilka różnych algorytmów do konwersji języków akcji - w szczególności języka akcji C, aby odpowiedzieć na określone programy. Od nowoczesnych odpowiadaczy wykorzystuje się boolean SAT - algorytmy do bardzo szybkiego ustalenia spełnialności. Oznacza to, że języki akcji mogą również korzystać z postępów osiągniętych w dziedzinie logicznej rozwiązywań SAT. Formalna definicjaWszystkie języki akcji uzupełniają definicję system stanów przejściowych ze zbioru F o płynności, V zestaw wartości, z które płynność może się brać i mapowanie funkcji S x F do V, gdzie S jest zbiorem stanów systemu przejściowego. (pl)
- В информатике, язык действий — это язык для определения моделей состояний и переходов, и обычно используется для создания формальных моделей результатов действий в природе. Языки действий обычно используются в сфере искусственного интеллекта и робототехники, где они описывают, как действия влияют на состояния систем с течением времени, и могут быть использованы для автоматического планирования. Самый известный язык действий — PDDL.Языки действий делятся на два класса: языки описания действий и языки запроса действий. Примеры первых включают STRIPS, PDDL, язык A (обобщение STRIPS; часть исчисления высказываний языка ADL), язык B (расширение языка A включающее непрямые воздействия, различаемые статические и динамические законы) и язык C (который также добавляет непрямые воздействия, и не считает что каждая функция автоматически "инерционна"). Также есть языки запроса действий — P, Q и R. Существуют несколько различных алгоритмов для преобразования языков действий, и в частности, языка действий C, в программы набора ответов. Поскольку современные решатели наборов ответов используют алгоритмы решения задач выполнимости булевых формул для очень быстрого установления выполнимости, это означает, что языки действий могут также использовать прогресс, достигнутый в области решения задач выполнимости булевых формул. (ru)
- 在计算机科学中，行动（action）语言是用来规定状态变迁系统的语言，通常用于建立世上的各种行动的效果的形式模型。行动语言经常用于人工智能和机器人领域，在这里它们描述行动如何影响系统的时变状态，并可用于。 行动语言可归入两大类：和行动查询语言。前者的例子包括、 、行动语言A、语言B和语言C。还有行动查询语言P、Q和R。存在一些不同的算法来转换行动语言，特别是将行动语言C转换成回答集程序。因为现代回答集求解器利用了布尔SAT算法来快速的查明，这意味着行动语言也可以受用它。 (zh)
|
| rdfs:comment
|
- 在计算机科学中，行动（action）语言是用来规定状态变迁系统的语言，通常用于建立世上的各种行动的效果的形式模型。行动语言经常用于人工智能和机器人领域，在这里它们描述行动如何影响系统的时变状态，并可用于。 行动语言可归入两大类：和行动查询语言。前者的例子包括、 、行动语言A、语言B和语言C。还有行动查询语言P、Q和R。存在一些不同的算法来转换行动语言，特别是将行动语言C转换成回答集程序。因为现代回答集求解器利用了布尔SAT算法来快速的查明，这意味着行动语言也可以受用它。 (zh)
- اللغة الإجرائية أو الفعلية (بالإنجليزية: Action language) في علوم الحاسوب هي لغة لتحديد نظام حالة الانتقال، حيث تُستخدم بشكل شائع لإنشاء نماذج شكلية لتأثيرات الإجراءات على العالم. تُستخدم لغات الحركة بشكل شائع في مجالات الذكاء الاصطناعي والروبوتات، حيث تصف كيف تؤثر الإجراءات على حالات الأنظمة بمرور الوقت، كما يمكن إستخدامها أيضاً للتخطيط الآلي. (ar)
- In computer science, an action language is a language for specifying state transition systems, and is commonly used to create formal models of the effects of actions on the world. Action languages are commonly used in the artificial intelligence and robotics domains, where they describe how actions affect the states of systems over time, and may be used for automated planning. (en)
- En ciencias de la computación, un lenguaje de acción es un lenguaje para especificar y se usa comúnmente para crear modelos formales de los efectos de las acciones en el mundo. Los lenguajes de acción se usan comúnmente en los dominios de inteligencia artificial y robótica, donde describen cómo las acciones afectan los estados de los sistemas a lo largo del tiempo y pueden usarse para la planificación automatizada. (es)
- Język akcji – język dla określenia systemu stanów przejściowych, powszechnie używany do tworzenia formalnych modeli o skutkach działań na świecie. Języki akcji są powszechnie stosowane w sztucznej inteligencji i dziedzinach robotyki, w których opisują, jak akcje wpływają na stany systemu w czasie i co może być używane do automatycznego planowania. Najbardziej znanym językiem akcji jest .Języki działania dzielą się na dwie klasy:
* Języki opisu akcji
* i języki akcji kwerendy. (pl)
- В информатике, язык действий — это язык для определения моделей состояний и переходов, и обычно используется для создания формальных моделей результатов действий в природе. Языки действий обычно используются в сфере искусственного интеллекта и робототехники, где они описывают, как действия влияют на состояния систем с течением времени, и могут быть использованы для автоматического планирования. Самый известный язык действий — PDDL.Языки действий делятся на два класса: языки описания действий и языки запроса действий. Примеры первых включают STRIPS, PDDL, язык A (обобщение STRIPS; часть исчисления высказываний языка ADL), язык B (расширение языка A включающее непрямые воздействия, различаемые статические и динамические законы) и язык C (который также добавляет непрямые воздействия, и не счи (ru)
|
