Knowledge of machines: review and forward look

Abstract

This paper looks at the possibility of knowledge development of machines from an engineer’s point of view. First, the increasing need for autonomous operations of vehicles, manufacturing facilities, utility networks, and robots is reviewed. From the point of view of operational design, five desirable ingredients are identified that can facilitate control autonomy. Most of these facilitators can be enabled by using the methodology of natural language programming and writing of documents that machines can read and utilize to improve their feedback control skills, their knowledge of the environment, and also their decision-making skills. A forward look outlines the benefits of ‘publishing for machines’, to manufacturing, vehicle operations, utility networks, and robots.

Keywords

control engineering complex systems autonomous systems intelligent machines

Get full access to this article

View all access options for this article.

References

Bailey

Wright

Practical SCADA for industry, 2003 (Newnes–Elsevier, Amsterdam).

Lincoln

Veres

S. M.

Dennis

Fisher

Lisitsa

Agent reasoning beyond logic – abstractions of a 6DOF spacecraft. In Proceedings of the 16th International Symposium on Formal methods, Eindhoven, The Netherlands, 2–6 November 2009.

Dennis

Fisher

Lisitsa

Lincoln

N. K.

Veres

S. M.

Satellite control using rational agent programming. IEEE Intell. Syst. Mag., 2010, 25(3), 1541–1672.

Veres

S. M.

Molnar

Lincoln

N. K.

Morice

Autonomous vehicle control systems - a review of decision making. Proc. IMechE, Part I:J. Systems and Control Engineering, 2011, 225(3), 155–195.

Lincoln

N. K.

Veres

S. M.

Components of a vision assisted constrained autonomous satellite formation flying control system. Int. J. Adapt. Control Signal Process., 2007, 21(2–3), 237–264.

Meystel

A. M.

Albus

J. S.

Intelligent systems: architecture, design, and control, 2002 (Wiley, New York).

Wiebe

A guide to utility automation, 1999 (PennWell, Tulsa, Oklahoma, USA).

Wooldridge

Jennings

N. R.

Intelligent agents: theory and practice. Knowl. Engng Rev., 1995, 10(2), 115–152.

Jennings

N. R.

Bussmann

Agent-based control systems. IEEE Control Syst. Mag., 2003, 23(3) 61–74.

10.

Wooldridge

Reasoning about rational agents, 2000 (MIT Press, Cambridge, Massachusetts).

11.

Veres

S. M.

Luo

A class of BDI agent architectures for autonomous control. In Proceedings of the 43rd IEEE Conference on Decision and control, Bahamas, 14–17 December 2004, vol. 5, pp. 4746–4751. (IEEE Press, Piscataway, New Jersey).

12.

Veres

S. M.

Veres

A. G.

Learning and adaptation of skills in autonomous physical agents. The 17th International Federation of Automatic Control World Congress, Seoul, Korea, 2008.

13.

Ezekiel

Lomuscio

Combining fault injection and model checking to verify fault tolerance in multi-agent systems. The International Conference on Autonomous Agents and Multi-agent systems, Budapest, Hungary, 23–26 August 2009.

14.

Molnar

Veres

S. M.

Verification of AUVs using formal logic. In Proceedings of the European control conference, Budapest, Hungary, 23–26 August 2009.

15.

Yaouanc

J.-M.

Saux

É.

Claramunt

A semantic and language-based representation of an environmental scene. GeoInformatica, 2010, 14(3), 333–352.

16.

Veres

S. M.

Natural language programming of agents and robotic devices, 2008 (SysBrain Ltd, London, UK).

17.

Sowa

Conceptual structures: information processing in mind and machine, 1984 (Addison-Wesley).

18.

Peirce

C. S.

On the algebra of logic. Am. J. Math., 1880, 3, 15–57. (Reading, Massachusetts, USA).

19.

Sowa

Existential graphs MS 514 by Charles Sanders Peirce, available from http://www.jfsowa.com/peirce/ms514.htm (accessed 16 June 2011).

20.

Polovina

Andrews

Hill

Scharfe

Øhrstrøm

(Eds) Preface. In Proceedings of The first conceptual structures – learning, teaching and assessment workshop, CS-LTA 2010, Kuching, Sarawak, Malaysia, 26 July 2010.

21.

The W3C. Vocabularies – ontologies (OWL web ontology language guide, available fom http://www.w3.org/standards/semanticweb/ontology (accessed 16 June 2011).

22.

Veres

S. M.

Theoretical foundations of natural language programming. In Proceedings of TAROS 2010: Towards autonomous robotic systems, Plymouth, UK, 31 August–2 September 2010 (University of Plymouth, UK). Available from: http://www.tech.plym.ac.uk/soc/staff/guidbugm/taros2010/.

23.

Lincoln

N. K.

Veres

S. M.

Sliding mode control for agents and humans. In Proceedings of TAROS 2008: Towards autonomous robotic systems, Edinburgh, UK, 1–3 September 2008 (University of Edinburgh, UK).

24.

Veres

S. M.

Molnar

Lincoln

N. K.

SDT 1.1 – Sysbrain development tools in sEnglish/Jason (AgentSpeak)/MATLAB, 2010, available from www.cognitive-agent-toolbox.com (accessed 16 June 2011).

25.

Veres

S. M.

Molnar

Documents for intelligent agents in English. In Proceedings of the 2010 IASTED Conference on AI and applications, Innsbruck, Austria, 15–17 February 2010 (IASTED, Innsbruck, Austria).

26.

Veres

S. M.

Authoring tools for sEnglish documents, 2008, available from www.system-english.com (accessed 16 June 2011).

27.

Veres

S. M.

Reader agent of sEnglish documents, 2008, available from www.system-english.com (accessed 16 June 2011).

28.

Supporting software development as knowledge-intensive and collaborative activity. In Proceedings of the International Workshop on Interdisciplinary software engineering research, Shanghai, China, 20–28 May 2006 (ACM, New York, USA).

29.

Wang

A hierarchical abstraction model for software engineering. In Proceedings of the Second International workshop on Role of abstraction in software engineering, Leipzig, Germany, 10–18 May 2008, pp. 43–48 (ACM, New York, USA).

30.

Veres

S. M.

Adolfson

J. P.

A natural language programming approach to executable papers. Proc. Comput. Sci., 2011, 4, 678–687.