Norms and time in agent-based systems

Proceedings of the International Conference on Artificial Intelligence and Law

Volumn , Issue , 2001, Pages 178-185

  Stratulat, Tiberiu ^a   Clérin Debart, Françoise ^a   Enjalbert, Patrice ^a  

^a UNIVERSITÉ DE CAEN   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AGENT-BASED SYSTEMS; FIRST-ORDER MODELS; NORMATIVE AGENTS; OPTIMAL SCHEDULING;

ARTIFICIAL INTELLIGENCE;

EID: 38049152962     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/383535.383556     Document Type: Conference Paper

References (28)

1. J. F. Allen. Towards a general theory of action and time. Artificial Intelligence, 23:123-154, 1984.
2. J. F. Allen and G. Ferguson. Actions and events in interval temporal logic. Technical report, Computer Science Department, University of Rochester, 1994.
3. M. Barbuceanu, T. Gray, and S. Mankovski. Coordinating with obligations. In Proceedings of Autonomous Agents'98, Minneapolis, MI, 1998.
4. C. Castelfranchi. Commitements: From individual intentions to groups and organization. In Proceedings of ICMAS'95. AAAI Press, 1995.
5. K. Clark. Negation as Failure. Logic and Databases. Plenum Press, New York, 1978.
6. F. Dignum and R. Kuiper. Specifying deadlines with dense time using deontic and temporal logic. International Journal of Electronic Commerce, 3(2):67-86, Winter 1998-99.
7. F. Dignum, D. Morley, L. Sonenberg, and L. Cavedon. Towards socially sophisticated BDI agents. In Proceedings of ICMAS'2000, Boston, USA, 2000.
8. http://www-icparc.doc.ic.ac.uk/eclipse/.
9. J. L. Fiadeiro and T. S. E. Maibaum. Temporal reasoning over deontic specifications. Journal of Logic and Computation, 1(3):357-395, 1991.
10. R. Hernández Marín and G. Sartor. Time and norms: a formalisation in the event-calculus. In Proceedings of ICAIL-99, 1999.
11. J. Horty and N. Belnap. The deliberative stit: A study of action, omission, ability, and obligation. Journal of Philosophical Logic, 24:583-644, 1995.
12. R. A. Kowalski and M. J. Sergot. A logic-based calculus of events. New Generation Computing, 4:67-95, 1986.
13. G.-J. C. Lokhorst. Reasoning about actions and obligations in first-order logic. Studia Logica, 57:221-237, 1996.
14. J. M. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of artificial intellingence. Machine Intelligence, 4:463-502, 1969.
15. J. J. C. Meyer. A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic, 29:109-136, 1988.
16. J. J. C. Meyer and R. J. Wieringa. Deontic logic: A concise overview. In J. J. C. Meyer and R. J. Wieringa, editors, Deontic Logic in Computer Science: Normative System Specification. John Wiley & Sons, 1993.
17. A. S. Rao and M. P. Georgeff. BDI agents: From theory to practice. In Proceedings of the First International Conference on Multi-Agent Systems, ICMAS'95, San Francisco, 1995.
18. Y. U. Ryu and R. M. Lee. Defeasible deontic reasoning: A logic programming model. In J. J. C. Meyer and R. J. Wieringa, editors, Deontic Logic in Computer Science: Normative System Specification. John Wiley & Sons, 1993.
19. M. Sergot. Prospects for representing the law as logic programs. In K. L. Clark and S. A. Tärnlund, editors, Logic Programming. Academic Press, 1982.
20. Y. Shoham. Reasoning about change. MIT Press, 1988.
21. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60:51-92, 1993.
22. Y. Shoham and M. Tennenholtz. On social laws for artificial agent societies: off-line design. Artificial Intelligence, 73:231-252, 1995.
23. G. Smolka and H. Ait-Kaci. Inheritance hierarchies: Semantics and unification. Journal of Symbolic Computation, 7(3/4):343-370, 1989.
24. T. Stratulat. Normative agent systems. In Proceedings of POLICY'99, Bristol, UK, 1999.
25. T. Stratulat, F. Clérin-Debart, and P. Enjalbert. Temporal reasoning: An application to normative systems. Submitted to publication.
26. J. van Eck. A system of temporally relative modal and deontic predicate logic and its philosophical applications. Logique et Analyse, 99,100, 1982.
27. G. H. von Wright. Deontic logic. Mind, 60:1-15, 1951.
28. C. Walther. Many-sorted unification. JACM, 35(1):1-17, 1988.