Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
  • 650-823-3429

Richard Fikes

In this paper, we extend the methodology for developing intelligent systems that promotes building knowledge bases by assembling reusable ontologies and knowledge base modules from on-line libraries to include associating domain-specific... more
In this paper, we extend the methodology for developing intelligent systems that promotes building knowledge bases by assembling reusable ontologies and knowledge base modules from on-line libraries to include associating domain-specific reasoners with ...
Information integration is enabled by having a precisely defined common terminology. We call this combination of terminology and definitions an ontology. We have developed a set of tools and services to support the process of achieving... more
Information integration is enabled by having a precisely defined common terminology. We call this combination of terminology and definitions an ontology. We have developed a set of tools and services to support the process of achieving consensus on such a common shared ontologies by geographically distributed groups. These tools make use of the world-wide web to enable wide access and
In the effort to construct intelligent computer systems, a primary consideration is how to represent large amounts of knowledge in a fashion that permits their effective use and interaction. Indeed, many researchers in the field of... more
In the effort to construct intelligent computer systems, a primary consideration is how to represent large amounts of knowledge in a fashion that permits their effective use and interaction. Indeed, many researchers in the field of artificial intelligence have come to believe that knowledge representation is the fundamental issue in the attempt to understand intelligence. The presentations in this session explore this issue and describe two current important knowledge representation methodologies, namely frames and semantic nets.
Page 1. ШШШШШШЩШШ11шМШШЁШШ January 1976 KNOWLEDGE REPRESENTATION IN AUTOMATIC PLANNING SYSTEMS by Richard E. Fikes Artificial Intelligence Center Stanford Research Institute Menlo Park, California ...
In the effort to construct intelligent computer systems, a primary consideration is how to represent large amounts of knowledge in a fashion that permits their effective use and interaction. Indeed, many researchers in the field of... more
In the effort to construct intelligent computer systems, a primary consideration is how to represent large amounts of knowledge in a fashion that permits their effective use and interaction. Indeed, many researchers in the field of artificial intelligence have come to believe that knowledge representation is the fundamental issue in the attempt to understand intelligence. The presentations in this session explore this issue and describe two current important knowledge representation methodologies: frames and semantic nets.
We present an overview of an implemented knowledge system development tool, called JOSIE, that provides a general framework for integrating specialized representation and reasoning facilities. In our presentation we emphasize the... more
We present an overview of an implemented knowledge system development tool, called JOSIE, that provides a general framework for integrating specialized representation and reasoning facilities. In our presentation we emphasize the problematic issues that arise when integrating specialized representations and the distinctive features of the facilities included in the system. The current system includes assertion, retraction, and query facilities using a predicate-calculus style interface language, a default sentential representation for the interface language, an inference rule language and forward chaining interpreter based on the interface language, a justification-based truth maintenance system that supports restricted nonmonotonic proofs, a frame-based specialized representation system that provides arbitrarily nested slot descriptions and default slot values, and a constraint language and reasoner within the frame system that provides both constraint propagation and symbolic solution of linear equations via Gaussian elimination.
Ontolingua, a language for ontology-based knowledge representation, provides the capability to construct comprehensive characterizations of knowledge bases. While the ability to characterize the content of a knowledge base is not new,... more
Ontolingua, a language for ontology-based knowledge representation, provides the capability to construct comprehensive characterizations of knowledge bases. While the ability to characterize the content of a knowledge base is not new, Ontolingua includes a number of features that greatly enhance conventional data representation and modeling technologies through the incorporation of semantic context. In addition to supporting object-oriented modeling techniques, Ontolingua enables representation of constraints, definitions, and relationships among terms within ontologies. This facility provides a framework that supports automated translation among knowledge bases with differing data models and physical implementations. The ability to formally describe and unambiguously distinguish between diverse data sources is essential to enabling reuse of intellectual property. This paper presents a high-level view of ontology-based knowledge representation and an approach to solving the intellectual property reuse problem through the application of this technology.
Understanding the design ofa device requires both knowledge ofthe general physical princi-ples that determine its behavior and knowledge ofits intendedfunctions. However, the major-ity ofwork in model-based reasoning hasfocused on using... more
Understanding the design ofa device requires both knowledge ofthe general physical princi-ples that determine its behavior and knowledge ofits intendedfunctions. However, the major-ity ofwork in model-based reasoning hasfocused on using either one ofthese types of ...
Research Interests:
Our long-term goal is to build a query answering system that can answer questions on a wide variety of topics and explain the answers. In such a situation, a designer faces the challenge of how to specify the KR&R requirements that are... more
Our long-term goal is to build a query answering system that can answer questions on a wide variety of topics and explain the answers. In such a situation, a designer faces the challenge of how to specify the KR&R requirements that are needed to answer questions. In this paper, we introduce a categorization of KR&R methods, and apply it to
The value of a problem solving program to a person who has a particular problem to solve is related to the ease with which he can state the problem in the program’s input language and the effectiveness of the program’s problem solving... more
The value of a problem solving program to a person who has a particular problem to solve is related to the ease with which he can state the problem in the program’s input language and the effectiveness of the program’s problem solving methods for finding a solution. In general, the value of a problem solving program can be measured in terms of the range of problems which can be easily stated in its input language and for which its problem solving methods are effective.
This presentation is a progress report on part of an ongoing project whose goals are to develop sophisticated computerized techniques for assisting managers and administrators in large organizations. In particular, we have focused on the... more
This presentation is a progress report on part of an ongoing project whose goals are to develop sophisticated computerized techniques for assisting managers and administrators in large organizations. In particular, we have focused on the development of a system that will provide the following services:
Research Interests:
ABSTRACT
In this paper we present a reusable time ontology for largescale knowledge system applications that provides an easily understandable, flexible, formally defined, and effective means of representing knowledge about time. Our underlying... more
In this paper we present a reusable time ontology for largescale knowledge system applications that provides an easily understandable, flexible, formally defined, and effective means of representing knowledge about time. Our underlying time theory treats both time ...
SOME NEW DIRECTIONS IN ROBOT PROBLEM SOLVING By Richard E. Fikes Peter E. Hart Nils J. Nilsson For the past several years research on robot problem-solving methods has centered on what may one day be called simple plans : linear sequences... more
SOME NEW DIRECTIONS IN ROBOT PROBLEM SOLVING By Richard E. Fikes Peter E. Hart Nils J. Nilsson For the past several years research on robot problem-solving methods has centered on what may one day be called simple plans : linear sequences of actions ...
This manual is the \living document" of the Interlingua Working Group of the DARPA Knowledge Sharing E ort. As such, it represents work in progress toward a proposal for a standard knowledge interchange format. ... Computer Science... more
This manual is the \living document" of the Interlingua Working Group of the DARPA Knowledge Sharing E ort. As such, it represents work in progress toward a proposal for a standard knowledge interchange format. ... Computer Science Department Stanford University Stanford, ...
Understanding the design of an engineered device requires both knowledge of the general physical principles that determine the behavior of the device and knowledge of what the device is intended to do (ie, its functional specification).... more
Understanding the design of an engineered device requires both knowledge of the general physical principles that determine the behavior of the device and knowledge of what the device is intended to do (ie, its functional specification). However, the majority of work in model-based ...
This document describes a compositional modeling language, CML, which is a general declarative modeling language for logically specifying the symbolic and mathematical properties of the structure and behavior of physical systems. CML is... more
This document describes a compositional modeling language, CML, which is a general declarative modeling language for logically specifying the symbolic and mathematical properties of the structure and behavior of physical systems. CML is intended to facilitate model sharing between research groups, many of which have long been using similar languages. These languages are based primarily on the language originally defined by Qualitative Process theory [Forbus 1984] and include the languages used for the ...
Abstract. We describe a formalism and protocol for communicating queries and answers between Semantic Web agents, as incorporated into the DAML+ OIL Query Language proposal (DQL), and discuss some of the design issues which arise in... more
Abstract. We describe a formalism and protocol for communicating queries and answers between Semantic Web agents, as incorporated into the DAML+ OIL Query Language proposal (DQL), and discuss some of the design issues which arise in query-answering in a Web context.
Information retrieval and integration systems typically must handle incomplete and inconsistent data. Current approaches attempt to reconcile discrepant information by leveraging data quality, user preferences, or source provenance... more
Information retrieval and integration systems typically must handle incomplete and inconsistent data. Current approaches attempt to reconcile discrepant information by leveraging data quality, user preferences, or source provenance information. Such approaches may overlook the fact that information is interpreted relative to its context. Therefore, discrepancies may be explained and thereby resolved if contexts are taking into account. In this paper, we describe an information integrator that is capable of explaining ...

And 63 more