Abstract
In this article First-Order Predicate Logic (FOL) is employed for analysing some relationships between human beings and machines. Based on FOL, I will be conceptually and logically concerned with semantic analysis of training-learning relationships in human-machine interaction. The central focus is on formal semantics and its role in the ‘relationship’ between human beings and machines. The analysed relationships between a human being and a machine will support my thoughts on and contemplations over the HowNess of establishing formal semantics within human-machine interaction.
Originalsprog | Engelsk |
---|---|
Titel | ACHI 2016, The Ninth International Conference on Advances in Computer-Human Interactions |
Forlag | International Academy, Research, and Industry Association (IARIA) |
Publikationsdato | apr. 2016 |
Sider | 323-326 |
ISBN (Elektronisk) | 978-1-61208-468-8 |
Status | Udgivet - apr. 2016 |
Begivenhed | Ninth International Conference on Advances in Computer-Human Interactions (ACHI-2016: Human-robot interaction) - Venice, Italien Varighed: 24 apr. 2016 → … |
Konference
Konference | Ninth International Conference on Advances in Computer-Human Interactions (ACHI-2016: Human-robot interaction) |
---|---|
Land/Område | Italien |
By | Venice |
Periode | 24/04/2016 → … |