Affection
发表于 2025-3-30 10:17:01
http://reply.papertrans.cn/24/2327/232632/232632_51.png
祖先
发表于 2025-3-30 15:08:32
Dynamic Logic for Plan Revision in Intelligent Agents execution of a plan changes an agent’s beliefs. Plans can be revised during execution. Due to these plan revision capabilities of 3APL agents, plans cannot be analyzed by structural induction as in for example standard propositional dynamic logic. We propose a dynamic logic that is tailored to hand
Conscientious
发表于 2025-3-30 18:34:05
Contextual Taxonomieso this aim, a new proposal for dealing with “contexts as abstract mathematical entities” is set forth, which is geared toward solving some problems arising in the area of normative system specifications for modeling multi-agent systems. Contexts are interpreted as sets of description logic models fo
Licentious
发表于 2025-3-31 00:32:47
http://reply.papertrans.cn/24/2327/232632/232632_54.png
LAITY
发表于 2025-3-31 02:46:14
http://reply.papertrans.cn/24/2327/232632/232632_55.png
bibliophile
发表于 2025-3-31 08:10:14
Declarative Agent Controleclarative specification of agent control. Control is given in terms of ., which define in a declarative way the possible alternative behaviours of agents, depending on the particular circumstances of the (perceived) external environment in which they are situated, on the internal state of the agent
Panther
发表于 2025-3-31 12:05:53
Metareasoning for Multi-agent Epistemic Logicsrder logic. We then use Athena as a metalanguage in order to reason about the multi-agent logic an as object language. This facilitates theorem proving in the multi-agent logic in several ways. First, it lets us marshal the highly efficient theorem provers for classical first-order logic that are in