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

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

3 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)

Conference

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

Fingerprint

Machine tools
Calibration
Intelligent computing
Planning

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]
Parkinson, S. ; Longstaff, A. P. ; Crampton, A. ; Fletcher, S. ; Allen, G. ; Myers, A. / Representing the process of machine tool calibration on first-order logic. Proceedings of 2011 17th International Conference on Automation and Computing, ICAC 2011. 2011. pp. 22-27
@inproceedings{b02c96d1306a4e74b9196d483eb353df,
title = "Representing the process of machine tool calibration on first-order logic",
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.",
keywords = "first-order logic, machine tool calibration, PROLOG",
author = "S. Parkinson and Longstaff, {A. P.} and A. Crampton and S. Fletcher and G. Allen and A. Myers",
year = "2011",
language = "English",
isbn = "9781467300001",
pages = "22--27",
booktitle = "Proceedings of 2011 17th International Conference on Automation and Computing, ICAC 2011",

}

Parkinson, S, Longstaff, AP, 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., 6084895, pp. 22-27, 17th International Conference on Automation and Computing, Huddersfield, United Kingdom, 10/09/11.

Representing the process of machine tool calibration on first-order logic. / Parkinson, S.; Longstaff, A. P.; Crampton, A.; Fletcher, S.; Allen, G.; Myers, A.

Proceedings of 2011 17th International Conference on Automation and Computing, ICAC 2011. 2011. p. 22-27 6084895.

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

TY - GEN

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

AU - Parkinson, S.

AU - Longstaff, A. P.

AU - Crampton, A.

AU - Fletcher, S.

AU - Allen, G.

AU - Myers, A.

PY - 2011

Y1 - 2011

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

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

KW - first-order logic

KW - machine tool calibration

KW - PROLOG

UR - http://www.scopus.com/inward/record.url?scp=83455195175&partnerID=8YFLogxK

M3 - Conference contribution

SN - 9781467300001

SP - 22

EP - 27

BT - Proceedings of 2011 17th International Conference on Automation and Computing, ICAC 2011

ER -

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