Titlebook: Logics in Artificial Intelligence; 9th European Confere Jóse Júlio Alferes,João Leite Conference proceedings 2004 Springer-Verlag Berlin He

Intrepid

Engineering of Logics for the Content-Based Representation of Informationmalism. This motivates the “engineering of logics”, i.e., the design of logical formalisms that are tailored to specific representation tasks. The talk will illustrate this approach with the example of so-called Description Logics and their application for databases and as ontology languages for the semantic web.

chemical-peel

Games for Cognitive Agents of the strategic game they play. We discuss a reverse mapping from the specification of strategic games that agents play to a specification of those agents. This mapping can be used to specify a group of agents that can play a strategic game, which shows that the notion of agent system specification is expressive enough to play any kind of game.

易于交谈

Verifying Communicating Agents by Model Checking in a Temporal Action Logicomplex actions (regular programs). The paper addresses several kinds of verification problems including the problem of compliance of agents to the protocol, and describes how they can be solved by model checking in DLTL using automata.

跳脱衣舞的人

Modelling Communicating Agents in Timed Reasoning Logicse the information an agent can take into account when making decisions at a particular point in time. We prove general completeness and decidability results for TRL, and analyse the impact of communication in an example system consisting of two agents which use different conflict resolution strategies.

六边形

谁在削木头

灯丝

Formal Methods in Roboticsd by behaviour-based and “Nouvelle AI” approaches. The credo by this school of thinking is that explicit modelling of the environment and reasoning about it is too brittle and computationally too expensive. Instead a purely reactive approach is favoured.

打折

一再困扰

Knowledge-Theoretic Properties of Strategic Votingocedures in groups of agents. The Gibbard-Satterthwaite theorem says that no voting procedure is .. That is, there will always be situations in which it is in a voter’s interest to misrepresent its true preferences i.e., vote strategically. We present some properties of strategic voting and then exa

2否定

The CIFF Proof Procedure for Abductive Logic Programming with Constraintsby integrating abductive reasoning with constraint solving and by relaxing the restrictions on allowed inputs for which the procedure can operate correctly. An implementation of our proof procedure is available and has been applied successfully in the context of multiagent systems.