相容
发表于 2025-3-28 16:23:49
Extending Action Language , by Formalizing Composite Actions,ble way to represent action domains, better exploit a general-purpose formalization, and improve the reasoning efficiency for large domains. The semantics of composite actions is defined by a translation to nonmonotonic causal theories. We implement the language by extending ., which translates caus
WAG
发表于 2025-3-28 20:27:13
Strong Equivalence of RASP Programs,rces. In this paper, we extend the concept of strong equivalence (which, as widely recognized, provides an important conceptual and practical tool for program simplification, transformation and optimization) from ASP to RASP programs and discuss its applicability, usefulness and implications in this
袋鼠
发表于 2025-3-29 01:12:49
Considerations on Belief Revision in an Action Theory,ages, where an action language in turn is based on the underlying semantic notion of a transition system. Transition systems have been shown to be an elegant, deceptively simple, yet rich framework from which to address problems of action consequence, causality, planning and the like. In this paper
Retrieval
发表于 2025-3-29 05:14:51
http://reply.papertrans.cn/24/2388/238743/238743_44.png
Hemoptysis
发表于 2025-3-29 07:49:12
http://reply.papertrans.cn/24/2388/238743/238743_45.png
Fester
发表于 2025-3-29 11:42:15
Simulating Production Rules Using ACTHEX,e and/or effect a change of the external environment in which they are situated, based on an operational semantics. . is a recent formalism extending . programs, such that the specification of declarative knowledge in the form of logic programming rules can be interleaved with a type of condition-ac
PLIC
发表于 2025-3-29 19:06:31
Applications of Action Languages in Cognitive Robotics,inuous geometric reasoning and high-level discrete causal reasoning; 2) embedding background/commonsense knowledge in high-level reasoning; 3) planning/prediction with complex (temporal) goals/constraints. We discuss how these challenges can be handled using computational methods of action languages
Iniquitous
发表于 2025-3-29 22:04:30
The Intelligent Grounder of ,ased on a variant of semi-naive evaluation, it also includes several advanced optimization techniques and supports a number of application-oriented features which allow for the successful exploitation of . in real-world contexts, also at an industrial level.
cumber
发表于 2025-3-30 02:10:46
http://reply.papertrans.cn/24/2388/238743/238743_49.png
mendacity
发表于 2025-3-30 07:25:41
An Equational Approach to Logic Programming, logic program . as a template for generating a system of equations .(.), where the literals are considered variables ranging over the unit interval , and where the solutions to the equations give us the logical meaning of the logic program. We show soundness of the equational approach with re