Toward trustworthy programming for autonomous concurrent systems
cam.depositDate | 2022-05-17 | |
cam.issuedOnline | 2022-06-08 | |
cam.orpheus.counter | 5 | |
cam.orpheus.success | Mon Jul 11 08:50:17 BST 2022 - Embargo updated | |
cam.orpheus.success | 2022/07/29 | |
dc.contributor.author | de Silva, L | |
dc.contributor.author | Mycroft, A | |
dc.date.accessioned | 2022-05-25T23:30:11Z | |
dc.date.available | 2022-05-25T23:30:11Z | |
dc.date.issued | 2023 | |
dc.date.updated | 2022-05-17T10:46:46Z | |
dc.description.abstract | A key focus in AI is building machines and software capable of being autonomous, especially in complex and dynamic environments where, e.g., self driving cars, trading systems, and social care robots operate. Such autonomous systems are able to independently make decisions and act on them with limited human intervention, balancing the pursuit of long-term goals (proactiveness) with rapid response to environmental changes (reactiveness) (Fisher et al. 2021). The notion of an autonomous system is synonymous with the notion of an ‘autonomous software agent’ (Fisher et al. 2021), and a class of domain-specific language called an Agent-Oriented Programming Language (AOPL) has proved to be one of the most successful approaches to building such systems. AOPLs provide abstractions over Object-Oriented Programming, by modelling complex systems through the ‘intentional stance’ – human-like mental attitudes such as beliefs, goals, and intentions, enabling users understand, explain, predict, and program behaviour by abstracting from the detail (objects, attributes, etc.). Indeed, giving people this ability helps build trustworthy AI systems, particularly those that people can trust to have been designed and programmed to be lawful, ethical, and robust, ensuring adherence to applicable laws, regulations, and ethical principles, and operating in a safe, secure and reliable manner. | |
dc.identifier.doi | 10.17863/CAM.84890 | |
dc.identifier.eissn | 1435-5655 | |
dc.identifier.issn | 0951-5666 | |
dc.identifier.uri | https://www.repository.cam.ac.uk/handle/1810/337476 | |
dc.language.iso | eng | |
dc.publisher | Springer Science and Business Media LLC | |
dc.publisher.department | Department of Engineering | |
dc.publisher.url | http://dx.doi.org/10.1007/s00146-022-01463-6 | |
dc.rights | All Rights Reserved | |
dc.rights.uri | http://www.rioxx.net/licenses/all-rights-reserved | |
dc.subject | 46 Information and Computing Sciences | |
dc.subject | 50 Philosophy and Religious Studies | |
dc.subject | 5001 Applied Ethics | |
dc.subject | 5003 Philosophy | |
dc.subject | 4608 Human-Centred Computing | |
dc.title | Toward trustworthy programming for autonomous concurrent systems | |
dc.type | Article | |
dcterms.dateAccepted | 2022-04-13 | |
prism.publicationName | AI and Society | |
pubs.licence-display-name | Apollo Repository Deposit Licence Agreement | |
pubs.licence-identifier | apollo-deposit-licence-2-1 | |
rioxxterms.type | Journal Article/Review | |
rioxxterms.version | AM | |
rioxxterms.versionofrecord | 10.1007/s00146-022-01463-6 |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- AI_and_Society__deSilva-Mycroft.pdf
- Size:
- 376.08 KB
- Format:
- Adobe Portable Document Format
- Description:
- Accepted version
- Licence
- http://www.rioxx.net/licenses/all-rights-reserved