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...

Full description

Saved in:
Bibliographic Details
Published inArtificial intelligence in medicine Vol. 5; no. 5; pp. 431 - 446
Main Authors Hammond, P., Davenport, J.C., Fitzpatrick, F.J.
Format Journal Article
LanguageEnglish
Published Netherlands Elsevier B.V 1993
Subjects
Online AccessGet full text

Cover

Loading…
More Information
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