Search results for "reasoning"
showing 10 items of 371 documents
<title>HAP: a hybrid system for reasoning about actions and plans in robotics</title>
1990
The paper describes the main ideas and principles of HAP (Hybrid representation of Actions and Plans), a system for hybrid representation and reasoning in advanced robotics. In this context, hybrid representation refers to the integration of both symbolic and analogic knowledge representation paradigms. In particular, the logic/symbolic component is based on a KL-ONE-like representation language. The system embeds "analogic experts", that are concurrent procedures operating in a direct and fast way on the world representation. These "experts" help the system in planning a correct temporal sequence of actions. As a reference scenario, assembly (and disassembly) problems are considered. The a…
Handling Context-Sensitive Temporal Knowledge from Multiple Differently Ranked Sources
1999
In this paper we develop one way to represent and reason with temporal relations in the context of multiple experts. Every relation between temporal intervals consists of four endpoints’ relations. It is supposed that the context we know is the value of every expert competence concerning every endpoint relation. Thus the context for an interval temporal relation is one kind of compound expert’s rank, which has four components appropriate to every interval endpoints’ relation. Context is being updated after every new opinion is being added to the previous opinions about certain temporal relation. The context of a temporal relation collects all support given by different experts to all compon…
Reasoning with Multilevel Contexts in Semantic Metanetworks
2000
It is generally accepted that knowledge has a contextual component. Acquisition, representation, and exploitation of knowledge in context would have a major contribution in knowledge representation, knowledge acquisition, and explanation, as Brezillon and Abu-Hakima supposed in [Brezillon and Abu-Hakima, 1995]. Among the advantages of the use of contexts in knowledge representation and reasoning Akman and Surav [Akman and Surav, 1996] mentioned the following: economy of representation, more competent reasoning, allowance for inconsistent knowledge bases, resolving of lexical ambiguity and flexible entailment. Brezillon and Cases noticed however in [Brezillon and Cases, 1995] that knowledge-…
XML Enabled Metamodeling and Tools for Cooperative Information Systems
2001
The development of tools to support semantic resolution is a key issue in the design of heterogeneous interoperable information systems. This paper presents a methodology and a data model translator toolkit, called X-TIME, for the design and management of interoperable information systems. X-TIME combines a metamodelling approach and XML features to provide support for automated design of wrappers or semantic reconciliators. It is a flexible semantics oriented approach that takes into account several important characteristics of interoperable information systems, including extensibility and composability. Extensibility requires a translation scheme that can easily integrate new data models.…
Introduction to semantic knowledge base: Linguistic module
2013
Following paper presents main concepts of Semantic Knowledge Base in particular linguistic module. The main assumption is to develop solution that would be easily adoptable by various languages. The module design will be presented in Association Oriented Model to maintain inner compatibility of the Knowledgebase.
Automated vehicles' work planning in flexible manufacturing systems
2006
The problem of rules setting in coordination of automated vehicles access to shared system resources (sections of their transportation paths) which assure a deadlock free and starvation free flow of the executed processes belongs to NP-hard problems. Assuming that there are local (controlling access to shared resources) rules of priority dispatching, the problem deals with setting conditions sufficient for a pair (initial state, set of priority dispatching rules). The assumed knowledge base way of specifying a transportation subsystem leads to solving a logic-algebraic method decision problem. In this regard, the working knowledge representation synthesis method constitutes a significant co…
A hybrid scheme for action representation
1993
Strong deficiencies are present in symbolic models for action representation and planning, regarding mainly the difficulty of coping with real, complex environments. These deficiencies can be attributed to several problems, such as the inadequacy in coping with incompletely structured situations, the difficulty of interacting with visual and motorial aspects, the difficulty in representing low-level knowledge, the need to specify the problem at a high level of detail, and so on. Besides the purely symbolic approaches, several nonsymbolic models have been developed, such as the recent class of subsym-bolic techniques. A promising paradigm for the modeling of reasoning, which combines feature…
Are there individual concepts? Proper names and individual concepts in SI—Nets
1989
We discuss some aspects of the role played by descriptional knowledge in expressions denoting individual objects. In knowledge representation systems such as KL-ONE and KRYPTON which use semantic networks to express descriptional information, the problem is to establish whether the use of individual concepts in a network is justified. In the light of theoretical and applicational considerations, in the proposed solution only definite descriptions are considered as being characterizable by means of definitions. Vice versa, proper names, in the strict sense, will be treated as having no definitional dimension, and as such only appear in the assertional knowledge base. A description is given o…
On Line Elaboration of a Mental Model During the Understanding of an Animation
2006
This experiment examines how, high and low mechanical and spatial abilities, learners understand an animation. Two variables were manipulated: the controllability of the animations and the task type of the learners to study the device. The comprehension test results indicated a positive effect of a fully controllable animation and also a positive effect of task type, when the attention of the learner is focused on the functional model and on local kinematics. The eye tracking data indicated that the learners attend more to the areas of the animations where a great amount of motion is involved along the causal chain of events. We show an effect of the controllability of the system and of the…
Knowledge Representation in Travelling Texts:from Mirroring to Missing the Point
2014
<p><em>Today, information travels fast. Texts travel, too. In a corporate context, the question is how to manage which knowledge elements should travel to a new language area or market and in which form? The decision to let knowledge elements travel or not travel highly depends on the limitation and the purpose of the text in a new context as well as on predefined parameters for text travel. For texts used in marketing and in technology, the question is whether culture-bound knowledge elements should be domesticated or kept as foreign elements, or should be mirrored or moulded—or should not travel at all! When should semantic and pragmatic elements in a text be replaced and by w…