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.
| Original language | English |
|---|---|
| Title of host publication | ACHI 2016, The Ninth International Conference on Advances in Computer-Human Interactions |
| Publisher | International Academy, Research, and Industry Association (IARIA) |
| Publication date | Apr 2016 |
| Pages | 323-326 |
| ISBN (Electronic) | 978-1-61208-468-8 |
| Publication status | Published - Apr 2016 |
| Event | Ninth International Conference on Advances in Computer-Human Interactions (ACHI-2016: Human-robot interaction) - Venice, Italy Duration: 24 Apr 2016 → … |
Conference
| Conference | Ninth International Conference on Advances in Computer-Human Interactions (ACHI-2016: Human-robot interaction) |
|---|---|
| Country/Territory | Italy |
| City | Venice |
| Period | 24/04/2016 → … |