Logic-based integrity constraints and the design of dental prostheses
This paper describes the ongoing development of a design assistant, RaPiD, for use in prosthetic dentistry. RaPiD integrates computed-aided design, knowledge-based systems and databases, employing a logic-based representation as the unifying medium. The user's manipulation of icons representing...
Saved in:
Published in | Artificial intelligence in medicine Vol. 5; no. 5; pp. 431 - 446 |
---|---|
Main Authors | , , |
Format | Journal Article |
Language | English |
Published |
Netherlands
Elsevier B.V
1993
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Summary: | This paper describes the ongoing development of a design assistant, RaPiD, for use in prosthetic dentistry. RaPiD integrates computed-aided design, knowledge-based systems and databases, employing a logic-based representation as the unifying medium. The user's manipulation of icons representing the developing design is interpreted as a set of transactions on a logic database of design components. The rules of design expertise are represented as constraints in first order predicate logic and design alterations are subject to the checking of the constraints. When design rules are contravened as the result of some proposed alteration, a suitable critique is presented to the user. RaPiD is being developed for use in both dental education and practice. |
---|---|
Bibliography: | ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23 ObjectType-Article-1 ObjectType-Feature-2 |
ISSN: | 0933-3657 1873-2860 |
DOI: | 10.1016/0933-3657(93)90035-2 |