Autonomous agents with norms

Artificial Intelligence and Law

Volumn 7, Issue 1, 1999, Pages 69-79

  Dignum, Frank ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CONTRACTS; FORMAL LOGIC; MATHEMATICAL MODELS; SPEECH COMMUNICATION;

AGENT ARCHITECTURE; AUTONOMOUS AGENTS; DEONTIC LOGIC;

ARTIFICIAL INTELLIGENCE;

EID: 0032682730     PISSN: 09248463     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008315530323     Document Type: Article

References (20)

1. N. Asher & D. Bonevac 1996. Prima facie obligation, Studia Logica 57(1), 19-45.
2. C. Boutilier 1994. Toward a logic for qualitative decision theory, in Jon Doyle et al. (eds.), Proceedings of the 4th Int. Conf. on Principles of Knowledge Representation and Reasoning, San Francisco (CA): Morgan Kaufmann, pp. 75-86.
3. P. Cohen & H. Levesque 1991. Teamwork Nous 35, 487-512.
4. Conte, R. & C. Castelfranchi 1995. Cognitive and Social Action. London: UCL Press.
5. F. Dignum & R. Conte 1997. Intentional agents and goal formation, in M. Singh et al. (eds.), ATAL-97, Providence, USA, pp. 219-231.
6. F. Dignum & B. van Linder 1997. Modelling social agents: Communication as actions, in M. Wooldridge J. Muller & N. Jennings (eds.), Intelligent Agents III(LNAI-1193), Springer-Verlag, pp. 205-218.
7. F. Dignum, J.-J.Ch. Meyer, & R. Wieringa 1994. A dynamic logic for reasoning about sub-ideal states, in J. Breuker (ed.), ECAI Workshop on Artificial Normative Reasoning, Amsterdam, pp. 79-92.
8. F. Dignum & H. Weigand 1995. Modeling communication between cooperative systems, in J. Iivari, K. Lyytinen & M. Rossi (eds.), Advanced Information Systems Engineering, Berlin: Springer, pp. 140-153.
9. H. Herrestad & C. Krogh 1995. Deontic logic relativised to bearers and counterparties, in J. Bing & O. Torrund (eds.), Anniversary Anthology in Computers and Law, Tano A.S., pp. 453-522.
10. N. Jennings 1993. Commitments and conventions: The foundation of coordination in multi-agent systems, Knowledge Engineering Review 8(3), 223-250.
11. N. Jennings & J. Campos 1997. Towards a social level characterisation of socially responsible agents, IEEE Proceedings on Software Engineering 144(1), 11-25.
12. A. Jones & I. Pörn 1985. Ideality, sub-ideality and deontic logic, Synthese 65, 275-290.
13. D. Kinny & M. Georgeff 1991. Commitment and effectiveness of situated agents, In Proceedings IJCA Intelligence, Sydney: Australia, pp. 82-88.
14. B. van Linder, W. van der Hoek & J.-J.Ch. Meyer 1996. How to motivate your agents. On making promises that you can keep, in Wooldridge, Müller & Tambe (eds.), Intelligent Agents II, LNCS 1037, pp. 17-32.
15. J. Muller 1996. A cooperation model for autonomous agents, In J. P. Müller, M. J. Wooldridge, & N. R. Jennings (eds.), Intelligent Agents III - Proceedings of (ATAL-96), Lecture Notes in Artificial Intelligence, Heidelberg: Springer-Verlag.
16. T. J. Norman, N. R. Jennings, P. Faratin, & E. H. Mamdani 1996. Designing and implementing a multi-agent architecture for business process management, in J. P. Müller, M. J. Wooldridge, & N. R. Jennings (eds.), Intelligent Agents III - Proceedings of (ATAL-96), Lecture Notes in Artificial Intelligence. Heidelberg: Springer-Verlag.
17. H. Prakken & M. Sergot 1996. Contrary-to-duty obligations, Studia. Logica 57(1), 91-115.
18. A.S. Rao & M.P. Georgeff 1991. Modeling rational agents within a BDI-architecture, in J. Allen, R. Fikes & E. Sandewall (eds.), Proceedings 2nd Int. Conf. on Principles of Knowledge Representation and Reasoning, San Mateo (CA): Morgan Kaufmann, 473-484.
19. E. Verharen, F. Dignum, & H. Weigand 1996. A language/action perspective on cooperative information agents, in E. Verharen, N. van der Rijst & J. Dietz (eds.), Proceedings International Workshop on Communication Modeling (LAP-96), Oisterwijk: The Netherlands, pp. 40-53.
20. H. Weigand, E. Verharen, & F. Dignum 1996. Interoperable transactions in business models: A structured approach, in P. Constantopoulos, J. Mylopoulos & Y. Vassiliou (eds.), Advanced Information Systems Engineering (LNCS 1080), Springer, pp. 193-209.