Arrow Research search

Author name cluster

Robert Balzer

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

6 papers
1 author row

Possible papers

6

IJCAI Conference 1985 Conference Paper

Automated Enhancement of Knowledge Representations

  • Robert Balzer

A new class of maintenance tool is presented, designed specifically for enhancement of knowledge representation systems. These tools are based on the structure of a domain model and the ways it can be changed. A complete language for changing domain models is presented. Associated with each change is an explicit assumption in the previous model that is violated. A complete analysis is presented of how existing knowledge representation frames and the associated operations on those frames must be updated to correct these assumption violations introduced by changing the domain model. Such tools are an important first step towards support for an incremental development process. Almost no support currently exists for enhancing knowledge representation systems. The tools described here support enhancements involving modification to the domain model. Support for the remaining enhancements will require both more knowledgeable tools which understand the system they are manipulating, and more declarative structural specifications for such systems which facilitate that understanding.

PDF

AAAI Conference 1983 Conference Paper

Specification-Based Computing Environments

  • Robert Balzer
  • Matthew Morgenstern

This paper considers the improvements that could result from basing future computing environments on specification languages rather than programming languages. Our goal is to identify those capabilities which will significantly enhance the user’s ability to benefit from the computing environment. We have identified five such capabilities: Search. Coordination. Automation, Evolution. and Inter-User Interactions. They will be directly supported by the computing environment. Hence. each represents a "freedom" that users will enjoy without having to program them (i.e., be concerned with the details of how they are achieved). They form both the conceptual and the practical basis for this computing environment. A prototype computing environment has been built which supports the first three of these capabilities and which supports a simple but real service.

PDF Details

AIJ Journal 1982 Journal Article

The organization of expert systems, a tutorial

  • Mark Stefik
  • Jan Aikins
  • Robert Balzer
  • John Benoit
  • Lawrence Birnbaum
  • Frederick Hayes-Roth
  • Earl Sacerdoti

This is a tutorial about the organization of expert problem-solving programs. We begin with a restricted class of problems that admits a very simple organization. To make this organization feasible it is required that the input data be static and reliable and that the solution space be small enough to search exhaustively. These assumptions are then relaxed, one at a time, in case study of ten more sophisticated organizational prescriptions. The first cases give techniques for dealing with unreliable data and time-varying data. Other cases show techniques for creating and reasoning with abstract solution spaces and using multiple lines of reasoning. The prescriptions are compared for their coverage and illustrated by examples from recent expert systems.

Details DOI
v2026.09.13