scispace - formally typeset
Proceedings ArticleDOI

An object-oriented and constraint-based knowledge representation system for design object modeling

T. Yokoyama
- pp 146-152
Reads0
Chats0
TLDR
FREEDOM (Framework for Representing and Elaborating Design Object Models), a system for design object modeling, is presented and an object model, represented as a set of objects in this system, is not a mere data structure but an active entity which works to solve design problems.
Abstract
FREEDOM (Framework for Representing and Elaborating Design Object Models), a system for design object modeling, is presented. An object model, represented as a set of objects in this system, is not a mere data structure but an active entity which works to solve design problems. The knowledge representation provided in the system, based on the object-oriented paradigm, makes it possible to describe constraints in declarative form. A class hierarchy is represented with links, and a class-instance relation can be changed dynamically. These features are useful for top-down refinement. The problem-solving mechanism of the system is based on constraint-satisfaction techniques. Constraints are declared statically and can be added to the objects dynamically. An object has a function, to keep its state satisfying given constraints. By this function, values of attributes and classes of objects that satisfy design requirements can be found. The constraint-satisfaction method is based on the technique of constraint logic programming and constraint propagation among objects. FREEDOM is implemented using the ESP language on a PSI machine. >

read more

Citations
More filters
Patent

Object oriented mail server framework mechanism

TL;DR: In this article, a message is defined as a number of distinct objects, each of which contains information that describes some portion of the message and a set of objects and methods define the processing steps required for a mail server to process a message.
Journal ArticleDOI

A classification and constraint-based framework for configuration

TL;DR: The main contribution of the work is to provide an object-oriented model completely integrated in the CSP schema, with inheritance and classification mechanisms, and with specific arc consistency algorithms.
Patent

Object oriented information retrieval framework mechanism

TL;DR: In this paper, a framework for use with object-oriented programming systems provides a reusable object oriented (OO) framework that provides an information retrieval (IR) shell that permits a framework user to define an index class that includes word index objects and provides an extensible information retrieval system that evaluates a user query by comparing information contained in the user query with information contained within the word index object that relates to stored documents.
Patent

Object oriented framework mechanism for determining configuration relations

TL;DR: In this article, an object-oriented framework mechanism provides a straightforward and convenient way to implement a system determining configuration relations for any type of system that needs to be configured, including several core classes and several classes that are extensible according to the needs of the user.
Patent

Object oriented technology framework for accounts receivable and accounts payable

TL;DR: In this article, an object oriented framework provides a set of objects that perform account management functioning and permits a framework user to add extensions to the framework for specific processing features, thereby producing an account management application program for managing the financial accounts of a company.
References
More filters
Book ChapterDOI

A framework for representing knowledge

Marvin Minsky
TL;DR: The enormous problem of the volume of background common sense knowledge required to understand even very simple natural language texts is discussed and it is suggested that networks of frames are a reasonable approach to represent such knowledge.

A framework for representing knowledge

Marvin Minsky
TL;DR: The authors describes frame systems as a formalism for representing knowledge and then concentrates on the issue of what the content of knowledge should be in specific domains, arguing that vision should be viewed symbolically with an emphasis on forming expectations and then using details to fill in slots in those expectations.
Proceedings ArticleDOI

Constraint logic programming

TL;DR: In this article, a class of logic programming languages, called CLP languages, are defined, all of which share the same essential semantic properties and are based on a unified formal semantics.
Journal ArticleDOI

Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis

TL;DR: In this paper, a rule-based system for computer-aided circuit analysis, called EL, is presented, which is written in a rule language called ARS, and implemented by ARS as pattern-directed invocation demons monitoring an associative data base.
Journal ArticleDOI

Object-oriented programming: Themes and variations

Mark J. Stefik, +1 more
- 01 Jan 1986 - 
TL;DR: Object-Oriented programming has a long history in simulation programs, systems programming, graphics, and AI programming as discussed by the authors, including message passing as in ACTORS and multiple inheritance as in FLAVORS.