Titlebook: Computational Logic in Multi-Agent Systems; 5th International Wo João Leite,Paolo Torroni Conference proceedings 2005 Springer-Verlag Berli

Affection

祖先

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

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

LAITY

bibliophile

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

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