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

S. Parkinson; A. P. Longstaff; A. Crampton; S. Fletcher; G. Allen; A. Myers

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

S. Parkinson, A. P. Longstaff, A. Crampton, S. Fletcher, G. Allen, A. Myers

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 language	English
Title of host publication	Proceedings of 2011 17th International Conference on Automation and Computing, ICAC 2011
Pages	22-27
Number of pages	6
Publication status	Published - 2011
Event	17th International Conference on Automation and Computing - Huddersfield, United Kingdom Duration: 10 Sep 2011 → 10 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

Conference	17th International Conference on Automation and Computing
Abbreviated title	ICAC 2011
Country/Territory	United Kingdom
City	Huddersfield
Period	10/09/11 → 10/09/11
Internet address	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/

Access to Document

http://ieeexplore.ieee.org/document/6084895/Licence: Other

Cite this

@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",

note = "17th International Conference on Automation and Computing, ICAC 2011 ; Conference date: 10-09-2011 Through 10-09-2011",

url = "http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14139&copyownerid=20561, https://www.tib.eu/en/search/id/TIBKAT%3A73636952X/",

}

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. <http://ieeexplore.ieee.org/document/6084895/>

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.

N1 - Conference code: 17

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

AN - SCOPUS:83455195175

SN - 9781467300001

SP - 22

EP - 27

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

T2 - 17th International Conference on Automation and Computing

Y2 - 10 September 2011 through 10 September 2011

ER -

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

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this