Titlebook: KI-95: Advances in Artificial Intelligence; 19th Annual German C Ipke Wachsmuth,Claus-Rainer Rollinger,Wilfried Bra Conference proceedings

BLA

允許

What is a skeptical proof?,icted applicability of Dung‘s notion of skeptical provability in his well-known argumentation framework is illustrated, and a new approach based on the notion of a . associated with each argument is proposed. We provide a formal definition of a skeptical proof in our framework. As a concrete formali

倔強(qiáng)不能

Actions that make you change your mind,yze rational agents, we define actions that model three well-known changes of belief, viz. . and .. We define both the . and the . these . actions. To define the semantics of the contraction action we introduce selection functions. These functions pick out a set of states that is to be added to the

ambivalence

Reasoning about action with typical and atypical effects,much interest has been attracted to investigate scenario problems involving actions with default effects. In everyday life people often undertake actions which have expected, yet not necessarily certain results. Modelling a behaviour of intelligent agents, it seems quite natural to study such action

禮節(jié)

Reasoning about action and change: Actions with abnormal effects,r proposal admits actions with abnormal effects. More specifically, with each action . we associate a pair of specifications, .. and .., representing respectively normal and abnormal performance of .. The intention is that each action is performed according to its normal specification unless the con

Asperity

泰然自若

Computational properties of qualitative spatial reasoning: First results,spatial reasoning are not very well investigated. In fact, almost no completeness results are known for qualitative spatial calculi and no computational complexity analysis has been carried out yet. In this paper, we will focus on the so-called RCC approach and use Bennett‘s encoding of spatial reas

COLON

978-3-540-60343-6Springer-Verlag Berlin Heidelberg 1995

污點(diǎn)

KI-95: Advances in Artificial Intelligence978-3-540-44944-7Series ISSN 0302-9743 Series E-ISSN 1611-3349

synovial-joint