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: The BACK project was begun at the Technical University Berlin in January 1985 and supports complex representation of a domain terminology, description of domain objects using that terminology, and database access via a uniform interface language.
Abstract: The BACK project was begun at the Technical University Berlin in January 1985 as part of a larger project within the ESPRIT programme1. Our task in the project group was the specification, design and implementation of a knowledge representation system which we called BACK ("Berlin Advanced Computational Knowledge Representation System"). It is a based on a terminological logic (term description language) and supports complex representation of a domain terminology, description of domain objects using that terminology, and database access via a uniform interface language.
105 citations
•
30 Jul 2005TL;DR: A relatively small change of semantics is proposed which localizes inconsistency, and preserves directionality of "knowledge import", and a characterization of inferences using a fixed-point operator which can form the basis of a cache-based implementation for local reasoners.
Abstract: We investigate a formalism for reasoning with multiple local ontologies, connected by directional semantic mappings. We propose: (1) a relatively small change of semantics which localizes inconsistency (thereby making unnecessary global satisfiability checks), and preserves directionality of "knowledge import"; (2) a characterization of inferences using a fixed-point operator, which can form the basis of a cache-based implementation for local reasoners; (3) a truly distributed tableaux algorithm for cases when the local reasoners use subsets of SHIQ. Throughout, we indicate the applicability of the results to several recent proposals for knowledge representation and reasoning that support modularity, scalability and distributed reasoning.
105 citations
••
23 Mar 2003TL;DR: A semantic network is presented as a knowledge representation for encapsulating rooms, users, groups, roles, and other information and its utility is demonstrated as a basis for ongoing work.
Abstract: When building intelligent spaces, the knowledge representation for encapsulating rooms, users, groups, roles, and other information is a fundamental design question. We present a semantic network as such a representation, and demonstrate its utility as a basis for ongoing work.
105 citations
••
TL;DR: Gertis—a prototype expert system—not only demonstrates the feasibility of applying the Dempster-Shafer-based reasoning model to diagnosing hierarchically related hypotheses, but also suggests ways to generate better explanations by using knowledge about the structure of the hypothesis space andknowledge about the intended effects of the rules.
Abstract: Gertis—a prototype expert system—not only demonstrates the feasibility of applying the Dempster-Shafer-based reasoning model to diagnosing hierarchically related hypotheses, but also suggests ways to generate better explanations by using knowledge about the structure of the hypothesis space and knowledge about the intended effects of the rules.
105 citations
••
03 Jul 2000TL;DR: This work focuses on description logics, a family of knowledge representation formalisms descended from semantic networks and frames via the system KL-ONE, which has turned out to be closely related to propositional modal logics and logics of programs (such as propositional dynamic logic).
Abstract: Description logics are a family of knowledge representation formalisms that are descended from semantic networks and frames via the system KL-ONE. During the last decade, it has been shown that the important reasoning problems (like subsumption and satisfiability) in a great variety of description logics can be decided using tableau-like algorithms. This is not very surprising since description logics have turned out to be closely related to propositional modal logics and logics of programs (such as propositional dynamic logic), for which tableau procedures have been quite successful.
105 citations