Switch to: Citations

References in:

Formalising the informal?

Cristiano Castelfranchi

Journal of Applied Logic 1 (1-2):47-92 (2003)

Add references

You must login to add references.

Intention is choice with commitment.Philip R. Cohen & Hector J. Levesque - 1990 - Artificial Intelligence 42 (2-3):213-261.details This paper explores principles governing the rational balance among an agent's beliefs, goals, actions, and intentions. Such principles provide specifications for artificial agents, and approximate a theory of human action (as philosophers use the term). By making explicit the conditions under which an agent can drop his goals, i.e., by specifying how the agent is committed to his goals, the formalism captures a number of important properties of intention. Specifically, the formalism provides analyses for Bratman's three characteristic functional roles played (...) Download Export citation Bookmark 111 citations
Artificial liars: Why computers will (necessarily) deceive us and each other. [REVIEW]Cristiano Castelfranchi - 2000 - Ethics and Information Technology 2 (2):113-119.details In H-C interaction, computer supported cooperation andorganisation, computer mediated commerce, intelligentdata bases, teams of robots. etc. there will bepurposively deceiving computers. In particular, withinthe Agent-based paradigm we will have ``deceivingagents''''. Several kinds of deception will be present ininteraction with the user, or among people viacomputer, or among artificial agents not only formalicious reasons (war, commerce, fraud, etc.) butalso for goodwill and in our interest. Social control,trust, and moral aspects in artificial societies willbe the focus of theoretical worm as well as (...) Download Export citation Bookmark 5 citations

1