Paper: Logic-based integrity constraints and the design of dental prostheses

Authors:
P. Hammond;J. C. Davenport;F. J. Fitzpatrick
Affiliations:
The School of Dentistry, The University of Birmingham, St. Chad's Queensway, Birmingham B4 6NN, UK and Advanced Computation Laboratory, Imperial Cancer Research Fund, Lincoln's Inn Fields, London ...;The School of Dentistry, The University of Birmingham, St. Chad's Queensway, Birmingham B4 6NN, UK;The School of Dentistry, The University of Birmingham, St. Chad's Queensway, Birmingham B4 6NN, UK
Venue:
Artificial Intelligence in Medicine
Year:
1993

Citing 6
Cited 1

A critiquing approach to expert computer advice: Attending

A critiquing approach to expert computer advice: Attending
Programming tools for Prolog environments

on Advances in artificial intelligence
An object-oriented system for engineering applications

SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
A theorem-proving approach to database integrity

Foundations of deductive databases and logic programming
A path finding method for constraint checking in deductive databases

Data & Knowledge Engineering
Initial Report on a Lisp Programmer's Apprentice

IEEE Transactions on Software Engineering

Combining biometric and symbolic models for customised, automated prosthesis design

Artificial Intelligence in Medicine

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.