Search results for "Knowledge representation and reasoning"
showing 10 items of 62 documents
MODULAR KNOWLEDGE REPRESENTATION IN ADVISOR AGENTS FOR SITUATION AWARENESS
2011
A modular knowledge representation framework for conversational agents is presented. The approach has been realized to suit the situation awareness paradigm. The modularity of the framework makes possible the composition of specific modules that deal with particular features, simplifying both the chatbot design process and its smartness. As a proof of concepts we have developed a modular, situation awareness oriented, KB for a conversational agent, which plays the role of an advisor aimed at helping a user to be in charge of a virtual town, inspired to the SimCity series game. The agent makes an extensive use of semantic computing techniques and is able to perceive, comprehend and project c…
Understanding dynamic scenes
2000
We propose a framework for the representation of visual knowledge in a robotic agent, with special attention to the understanding of dynamic scenes. According to our approach, understanding involves the generation of a high level, declarative description of the perceived world. Developing such a description requires both bottom-up, data driven processes that associate symbolic knowledge representation structures with the data coming out of a vision system, and top-down processes in which high level, symbolic information is in its turn employed to drive and further refine the interpretation of a scene. On the one hand, the computer vision community approached this problem in terms of 2D/3D s…
A cognitive approach to goal-level imitation
2008
Imitation in robotics is seen as a powerful means to reduce the complexity of robot programming. It allows users to instruct robots by simply showing them how to execute a given task. Through imitation robots can learn from their environment and adapt to it just as human newborns do. Despite different facets of imitative behaviours observed in humans and higher primates, imitation in robotics has usually been implemented as a process of copying demonstrated actions onto the movement apparatus of the robot. While the results being reached are impressive, we believe that a shift towards a higher expression of imitation, namely the comprehension of human actions and inference of its intentions…
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
2008
International audience; Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (SOA) paradigm. We propose in this paper a tool-equipped methodology allowing the formal modeling and analysis of Web services described in the BPEL language. The discrete-time transition systems modeling the behavior of BPEL descriptions are obtained by an exhaustive simulation based on a formalization of BPEL semantics using the Algebra of Timed Processes (ATP). These models are then analyzed by model checking value-based temporal logic properties using the CADP toolbox. The approach is illustrated with the design of a Web service for GPS na…
Are There Essentially Incomplete Knowledge Representation Systems?
2001
A mathematical model of a knowledge representation system (KR-system) is proposed. Its prototype is the concept of an information system in the sense of Z. Pawlak; however, the model is, in fact, a substantial extension of the latter. In our model, attributes may form an arbitrary category, where morphisms represent built-in functional dependencies, and uncertainty of knowledge is treated in terms of category theory via monads. Several notions of simulation are also considered for such KR-systems. In this general setting, the semiphilosophical problem mentioned in the title, still open, is given a precise meaning.
Knowledge Acquisition from Multiple Experts Based on Semantics of Concepts
1999
This paper presents one approach to acquire knowledge from multiple experts. The experts are grouped into a multilevel hierarchical structure, according to the type of knowledge acquired. The first level consists of experts who have knowledge about the basic objects and their relationships. The second level of experts includes those who have knowledge about the relationships of the experts at the first level and each higher level accordingly. We show how to derive the most supported opinion among the experts at each level. This is used to order the experts into categories of their competence defined as the support they get from their colleagues.
An Algebraic Approach to Knowledge Representation
1999
This paper is an attempt to apply domain-theoretic ideas to a new area, viz. knowledge representation. We present an algebraic model of a belief system. The model consists of an information domain of special kind (belief algebra) and a binary relation on it (entailment). It is shown by examples that several natural belief algebras are, essentially, algebras of flat records. With an eye on this, we characterise those domains and belief algebras that are isomorphic to domains or algebras of records. For illustration, we suggest a system of axioms for revision in such a model and describe an explicit construction of what could be called a maxichoise revision.
Enterprise Knowledge Modeling, UML vs Ontology: Formal Evaluation
2019
International audience; Everyday activities in enterprises rely heavily on the experts' know-how. Due to experts departure, the loss of expertise and knowledge is a reoccurring problem in these enterprises. Recently, in order to capture experts knowledge into intelligent systems, formal knowledge representation methods, such as ontologies, are being studied and have caught up with non-formal or semi-formal representation, such as UML. The similarities and differences between UML class diagram and computational ontology have for long raised questions about the possibility of synthesizing them in a common representation (usually an ontology). Indeed, the problem of migrating knowledge encoded…
A Dynamic Reasoning Architecture for Computer Network Management
2005
This paper focuses on improving network management and monitoring by the adoption of Artificial Intelli- gence techniques. In order to allow automated reasoning on networking concepts, we defined an accurate ontologi- cal model capable of describing as better as possible the networking domain. The thorough representation of the do- main knowledge is used by a Logical Reasoner, which is an expert system capable of performing high-level manage- ment tasks.
Was King Arthur a King by Definition?
1988
Current research in knowledge representation distinguishes between descriptional and assertional interpretations of semantic nets. This paper explores theoretical and applicative problems, which arise from that distinction in a historic domain. A prolog implementation of KL-ONE is used as a vehicle to compare the various alternatives available to represent knowledge related to single elements of the domain insertion or not of this knowledge in semantic nets in their descriptional sense. The final section of the paper discusses the problem in relation to the theories concerning the functioning of proper names from a logical and philosophical point of view.