Aspect-oriented specifications and formal reasoning are often advocated for the design of complex, distributed systems. Commonly used design notations seem to lack the reasoning control of formal languages. OUN is an object-oriented language with facilities for aspect-oriented specifications through multiple viewpoints and for reasoning control. However, to be of practical use the language need...

In this paper we call for considering a paradigm shift in the reasoning methods that underly qualitative spatial representations. As alternatives to conventional methods we propose exploiting methods from linear programming and real algebraic geometry. We argue that using mathematical theories of the spatial domain at hand might be the key to effective reasoning methods, and thus to practical a...

We study possibilities of reasoning about extensions of base theories with functions which satisfy certain recursion (or homomorphism) properties. Our focus is on emphasizing possibilities of hierarchical and modular reasoning in such extensions and combinations thereof. We present practical applications in verification and cryptography.

analogical transfer, the present study systematically compared the effect of ing that animated source instruction facilitated spontaneous analogical inference. Analogical reasoning is a cognitive underpinning of the ability to notice and draw providing practical suggestions for classroom instruction. We first discuss. Learning, instruction, problem solving, transfer, analogical reasoning, instr...

Relevance reasoning in Bayesian networks can be used to improve eeciency of belief updating algorithms by identifying and pruning those parts of a network that are irrelevant for the computation. Relevance reasoning is based on the graphical property of d{separation and other simple and eecient techniques, the computational complexity of which is usually negligible when compared to the complexi...

The economic theory of rationality promises to equal mathematical logic in its importance for the mechaniz* tion of reasoning. We survey the growing literature on how the basic notions of probability, utility, and rational choice, coupled with practical limitations on information and resources, influence the design and analysis of reasoning and representation systems.

In practical reasoning, it is important to take into consideration what other agents will do, since this will often influence the effect of actions performed by the agent concerned. In previous treatments, the actions of others must either be assumed, or argued for using a similar form of practical reasoning. Such arguments, however, will also depend on assumptions about the beliefs, values and...

What is distinctive about my views in epistemology? One thing is that my concern with epistemology is a concern with methodology. Furthermore, I reject psychologism about logic and reject the idea that deductive rules like modus ponens are in any way rules of inference. I accept a kind of methodological conservatism and reject methodological theories that appeal to special foundations, analytic...

To date, robotics has had limited success at operating in unstructured environments. Part of the problem is the lack of commonsense reasoning. One area of commonsense reasoning is Naive Physics, the practice of using intuitive rules to reason about the physical environment. Researchers have explored relevant philosophical issues, attempted to develop logical formalisations, and developed system...

Traditional AI reasoning techniques have been used successfully in many domains, including logistics, scheduling and game playing. This paper is part of a project aimed at investigating how such techniques can be extended to coordinate teams of unmanned aerial vehicles (UAVs) in dynamic environments. Specifically challenging are real-world environments where UAVs and other network-enabled devic...