FORLOG : a logic-based architecture for design

Technical Report

Public Deposited

Citeable URL: https://ir.library.oregonstate.edu/concern/technical_reports/vx021p50h

Descriptions

Attribute Name	Values
Creator	Dietterich, Thomas G. Ullman, David G.
Abstract	It is difficult to build intelligent computer-aided design (ICAD) programs using available expert system shells and AI programming languages. To build ICAD programs, tools are needed that support (a) generative search of design spaces, (b) deep search of design spaces to evaluate alternative designs, (c) simultaneous exploration of alternative designs to compare designs, ( d) constraint posting and propagation, (e) knowledge-based control of inference, and (f) the representation of complex mechanical and electronic devices. Existing shells and programming languages either do not support these activities or provide only ad hoc and in.efficient supporting mechanisms. We have constructed a logic programming system called FORLOG (FORward-chaining LOGic Programming) that provides well-integrated support for all of these activities. This paper presents the architecture of FORLOG and provides some simple examples of bow FORLOG can be applied to constructing ICAD systems.
Resource Type	Technical Report
Date Issued	1986
Academic Affiliation	Computer Science
Series	Technical report (Oregon State University. Department of Computer Science)
Rights Statement	In Copyright
Publisher	Oregon State University. Department of Computer Science
Language	English [eng]

Thumbnail	Title	Date Uploaded	Visibility	Actions
	Dietterich_Ullman_86_30_08.pdf	2023-01-26	Public	Download