Topic
Knowledge representation and reasoning
About: Knowledge representation and reasoning is a research topic. Over the lifetime, 20078 publications have been published within this topic receiving 446310 citations. The topic is also known as: KR & KR².
Papers published on a yearly basis
Papers
More filters
TL;DR: It is shown how explicit knowledge management, both symbolic and geometric, proves to be instrumental to richer and more natural humanrobot interactions by pushing for pervasive, human-level semantics within the robot's deliberative system.
273 citations
01 May 1998
TL;DR: A characterization of information modeling techniques is offered which classifies them according to their ontologies, the type of application for which they are intended, the set of abstraction mechanisms they support, as well as the tools they provide for building, analyzing, and managing application models.
Abstract: Information modeling is concerned with the construction of computer-based symbol structures which capture the meaning of information and organize it in ways that make it understandable and useful to people. Given that information is becoming an ubiquitous, abundant and precious resource, its modeling is serving as a core technology for information systems engineering. We present a brief history of information modeling techniques in Computer Science and briefly survey such techniques developed within Knowledge Representation (Artificial Intelligence), Data Modeling (Databases), and Requirements Analysis (Software Engineering and Information Systems). We then offer a characterization of information modeling techniques which classifies them according to their ontologies , i.e., the type of application for which they are intended, the set of abstraction mechanisms (or, structuring principles ) they support, as well as the tools they provide for building, analyzing, and managing application models. The final component of the paper uses the proposed characterization to assess particular information modeling techniques and draw conclusions about the advances that have been achieved in the field.
268 citations
Book•
01 Mar 1995
TL;DR: This book extends the logic programming form of knowledge representation and method of inference to permit the inclusion of uncertainties such as probabilistic knowledge and fuzzy incompleteness to general areas of knowledge engineering including expert and decision-support systems, evidential and case-based reasoning, fuzzy control and databases.
Abstract: From the Publisher:
Presents a theory of uncertainty, consistent with and combining the theories of probability and fuzzy sets. Extends the logic programming form of knowledge representation and method of inference to permit the inclusion of uncertainties such as probabilistic knowledge and fuzzy incompleteness. Describes the application to general areas of knowledge engineering including expert and decision-support systems, evidential and case-based reasoning, fuzzy control and databases. An accompanying disk for Macintosh and one for the IBM PC enables readers to implement the examples while following the text.
267 citations
TL;DR: This paper defines computationally efficient procedures for solving two related reasoning tasks that arise in interval and point algebras: Given (possibly indefinite) knowledge of the relationships between some intervals or points, find one or more scenarios that are consistent with the information provided, and find all the feasible relations between every pair of interval or points.
266 citations
01 Jan 1991
265 citations