Titlebook: KI-99: Advances in Artificial Intelligence; 23rd Annual German C Wolfram Burgard,Armin B. Cremers,Thomas Cristaller Conference proceedings

degradation

labyrinth

Revising Nonmonotonic Theories: The Case of Defeasible Logic of this topic are the fact that intelligent systems are gradually developed and refined, and that often the environment of an intelligent system is not static but changes over time. Traditionally belief revision has been concerned with revising first order theories..Nonmonotonic reasoning provides

開(kāi)花期女

On the Translation of Qualitative Spatial Reasoning Problems into Modal Logicsspaces. We show how to translate our constraints into formulas of a multimodal propositional logic and give a rigorous proof that this translation preserves satisfiability. As a consequence, the known algorithms for reasoning in modal logics can be applied to qualitative spatial reasoning. Our resul

增長(zhǎng)

新娘

A Theory of First-Order Counterfactual Reasoningsoning about actions. The assertion of a counter-factual antecedent is axiomatized as the performance of a special action. An existing solution to the Ramification Problem in the Fluent Calculus, where indirect effects of actions are accounted for via causal propagation, allows to deduce the immedia

Grasping

Logic—Based Choice of Projective Termshoice of projective terms such as . etc. that is based on abductive reasoning. After a motivation for the need to treat these lexical items as candidates for lexical choice, we outline the semantic and pragmatic conditions for their use.We present an abductive proof method that allows us to collect

場(chǎng)所

Knowledge Based Automatic Composition and Variation of Melodies for Minuets in Early Classical Stylee of its distinct features is that microstructure (i.e. relations between notes), macrostructure (i.e. relations between larger parts) and their interdependences have to be dealt with. In this paper, we give an overview of the process of composition which consists of the subtasks planning of macrost

EXTOL

Provenance

Compilation Schemes: A Theoretical Tool for Assessing the Expressive Power of Planning Formalisms of “expressive power” is. We formalize the intuition that expressive power is a measure of how concisely planning domains and plans can be expressed in a particular formalism by introducing the notion of “compilation schemes” between planning formalisms. Using this notion, we analyze the expressive

Commonwealth

Generalized Cases: Representation and Steps Towards Efficient Similarity Assessmentated by a concrete application in the area of electronic design reuse, we introduce the concept of a generalized case that represents experience that naturally covers a space rather than a point. Within a formal framework we introduce the semantics of generalized cases and derive a canonical similar