membrane
发表于 2025-3-28 15:27:00
Hierarchical Decision Making by Autonomous Agentsthe same body of knowledge, but each may have its own, possibly conflicting, preferences on the available information..We model the common knowledge base for such preference agents as a logic program under the extended answer set semantics, thus allowing for the defeat of rules to resolve conflicts.
平
发表于 2025-3-28 21:27:05
http://reply.papertrans.cn/59/5882/588189/588189_42.png
antedate
发表于 2025-3-28 23:31:22
http://reply.papertrans.cn/59/5882/588189/588189_43.png
intoxicate
发表于 2025-3-29 06:43:41
http://reply.papertrans.cn/59/5882/588189/588189_44.png
耕种
发表于 2025-3-29 09:45:49
Modelling Communicating Agents in Timed Reasoning Logicsgics (TRL) framework introduced in , we show how to represent the time required by an agent to reach a given conclusion. TRL allows us to model the kinds of rule application and conflict resolution strategies commonly found in rule-based agents, and we show how the choice of strategy can influenc
ARCH
发表于 2025-3-29 15:10:21
On the Relation Between ID-Logic and Answer Set Programmingompare both logics on the level of declarative reading, practical methodology and formal semantics. At the level of methodology, we put forward the . that in many (but not all) existing applications of ASP, an ASP program is used to encode definitions and assertions, similar as in ID-Logic. We illus
贵族
发表于 2025-3-29 18:02:30
http://reply.papertrans.cn/59/5882/588189/588189_47.png
不连贯
发表于 2025-3-29 23:42:43
http://reply.papertrans.cn/59/5882/588189/588189_48.png
斜坡
发表于 2025-3-29 23:58:17
http://reply.papertrans.cn/59/5882/588189/588189_49.png
BUDGE
发表于 2025-3-30 08:08:21
http://reply.papertrans.cn/59/5882/588189/588189_50.png