Representing the process of machine tool calibration on first-order logic

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Abstract

Machine tool calibration requires a wide range of measurement techniques that can be carried out in many different sequences. Planning a machine tool calibration is typically performed by a subject expert with a great understanding of International standards and industrial best-practice guides. However, it is often the case that the planned sequence of measurements is not the optimal. Therefore, in an attempt to improve the process, intelligent computing methods can be designed for plan suggestion. As a starting point, this paper presents a way of converting expert knowledge into first-order logic that can be expressed in the PROLOG language. It then shows how queries can be executed against the logic to construct a knowledge-base of all the different measurements that can be performed during machine tool calibration.

Original languageEnglish
Title of host publicationProceedings of 2011 17th International Conference on Automation and Computing, ICAC 2011
Pages22-27
Number of pages6
Publication statusPublished - 2011
Event17th International Conference on Automation and Computing - Huddersfield, United Kingdom
Duration: 10 Sep 201110 Sep 2011
Conference number: 17
http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14139&copyownerid=20561 (Link to Event Details)
https://www.tib.eu/en/search/id/TIBKAT%3A73636952X/

Conference

Conference17th International Conference on Automation and Computing
Abbreviated titleICAC 2011
CountryUnited Kingdom
CityHuddersfield
Period10/09/1110/09/11
Internet address

Fingerprint Dive into the research topics of 'Representing the process of machine tool calibration on first-order logic'. Together they form a unique fingerprint.

  • Cite this

    Parkinson, S., Longstaff, A. P., Crampton, A., Fletcher, S., Allen, G., & Myers, A. (2011). Representing the process of machine tool calibration on first-order logic. In Proceedings of 2011 17th International Conference on Automation and Computing, ICAC 2011 (pp. 22-27). [6084895]