People

Sanjay Modgil

[Personal pages]

Career History

Sanjay Modgil completed an MSc in Computing Science at Imperial College London in 1991. In 1998 he was awarded his PhD - A Labelled System for Practical Reasoning - at Imperial College London.

 


Research interests

Previous research interests lie in the areas of default reasoning, belief revision, non-monotonic logics, modal logics, and their applications in computing science. Other research work has included development and application of logic programming techniques for computer aided design and decision support systems.

Current work involves research on argumentation theory and its applications in medical multi-agent systems. This work is being undertaken as part of an EU 6th framework project ASPIC (Argumentation Service Platform with Integrated Components) (www.argumentation.org). ACL is scientific coordinator of the project, and Sanjay has contributed to initiation of collaborations with other partners, organising and chairing project scientific meetings, editiing and authorship of deliverables, and coordinating transition of theoretical models to implementations of these models. His research work as part of the project has focussed on:

  • Development of theoretical models of argumentation to accommodate argumentation based reasoning about preferences.

  • Development of architectures and standards for enabling argumentation based reasoning and dialogue in agent systems.

  • Development of medical multi-agent systems deploying argumentation enabled agents.

    Publications

    Refereed conference and Workshop papers

  • S. Modgil. An Abstract Theory of Argumentation That Accommodates Defeasible Reasoning About Preferences. To appear in: 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (available at http://acl.icnet.uk/ sm/ESQARU07.pdf).

  • P. Tolchinsky, K. Atkinson, P. McBurney, S. Modgil and U. Cortes. Agents Deliberating Over Action Proposals Using the ProCLAIM Model. To appear in: 5th International Central and Eastern European Conference on Multi-Agent Systems, September 2007, Leipzig, Germany.

  • S. Modgil and J. McGinnis. Towards Characterising Argumentation Based Dialogue in the Argument Interchange Format. To appear in: Proc. 4th International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2007), Hawaii, May, 2007.

  • Sanjay Modgil. Hierarchical Argumentation. In: Proc. 10th European Conference on Logics in Artificial Intelligence. Liverpool, UK, September 2006.

  • Sanjay Modgil. Value Based Argumentation in Hierarchical Argumentation Frameworks. In: Proc. 1st International Conference on Computational Models of Argument. Liverpool, UK 11th - 12th September 2006

  • Katie Atkinson, Trevor Bench-Capon, Sanjay Modgil. Argumentation for Decision Support. Accepted for publication in: 17th International Conference on Database and Expert Systems Applications DEXA 2006 (http://www.dexa.org) September 4-8, 2006 Krakow, Poland.

  • Steven Willmott, Gerard Vreeswijk, Carlos Chesnevar, Matthew South, Jarred McGinnis, Sanjay Modgil, Iyad Rahwan, Chris Reed, and Guillermo Simari. Towards an Argument Interchange Format for Multi-Agent Systems. In: Proc. Third International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2006 at AAMAS 2006), Hakodate, Japan, May 2006.

  • John Fox, David Glasspool, Sanjay Modgil, Pancho Tolchinksy, Liz Black and members of the ASPIC project. Towards a canonical framework for designing agents to support healthcare organisations. Accepted for publication in: ECAI-06 Workshop on Agents Applied in HealthCare, 17th European Conference on Artificial Intelligence, ECAI-2006 Riva del Garda, Italy August 28th - September 1st, 2006.

  • P. Tolchinsky, S. Modgil, and U. Cortés. Argument schemes and critical questions for heterogeneous agents to argue over the viability of a human organ. In AAAI 2006 Spring Symposium Series; Argumentation for Consumers of Healthcare, 2006.

  • Fox J, Black E, Glasspool D, Modgil S, Oettinger A, Patkar V, Williams M. Towards a general model for argumentation services. In AAAI 2006 Spring Symposium Series; Argumentation for Consumers of Healthcare, 2006.

  • S. Modgil, P. Tolchinsky, and U. Cortés. Towards formalising agent argumentation over the viability of human organs for transplantation. In: Advances in Artificial Intelligence, 4th Mexican International Conference on Artificial Intelligence(MICAI 05), pages 928–938,Monterrey, Mexico, November 2005.

  • Modgil S. Nested Argumentation and its Application to Decision Making over Actions. In: Proc. Second International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2005 at AAMAS 2005), Utrecht, Netherlands, July 2005.

  • Modgil S. and Fox J. A Guardian Agent Approach to Safety in Medical Multi-Agent Systems. In: Proc. First International Workshop on Safety and Security in Multiagent Systems (SASEMAS 2004 at AAMAS 2004), New York, July 2004.

  • Nammuni K., Pickering C., Modgil S., Montgomery A., Hammond P., Wyatt J.C., Altman D.G., Dunlop R., Potts H. Design-a-Trial: A Rule-Based Decision Support System for Clinical Trial Design. In: Proc Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, December 2003. Winner of award for best application paper

  • Modgil S. Rule Based Computation of updates to Terminologies. In Proceedings of the 2003 InternationalWorkshop on Description Logics - DL'03, Rome, Italy, pp. 19-27, September, 2003.

  • Modgil S. Linking Rules to Terminologies and Applications in Medical Planning. In: Proc. 9th Conference on Artificial Intelligence in Medicine in Europe, AIME2003, Protaras Cyprus, (eds. Dojat, Keravnou, Barahona), LNAI 2780, pp. 214- 218, October 2003.

  • Modgil S., Hammond P. Generating Symbolic and Natural Language Partial Solutions for Inclusion in Medical Plans. In: Proc. 8th Conference on Artificial Intelligence in Medicine in Europe, AIME2001, Cascais Portugal, (eds. Quaglini, Barahona, Andreassen), LNAI 2101, pp. 239- 248, July 2001.

  • Modgil S., Hammond P, Wyatt J., Potts H. The Design-A-Trial Project: Developing A Knowledge-Based Tool for Authoring Clinical Trial Protocols. In: Proceedings of First European Workshop on Computer-based Support for Clinical Protocols., (eds. B. Heller, M. Loffler, M. Mussen, M. Stefanelli), IOS Press 83, pp. 71-85, 2001.

  • Hammond P., Wells P., Modgil S. Animating Medical and Safety Knowledge. In: AIMDM, 99, Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making, Aalborg, Denmark, Lecture Notes in Computer Science 1620 Springer, pp. 443-447, June 1999

    Journals

    Pancho Tolchinsky, Ulises Cortes, Sanjay Modgil, Francisco Caballero and Antonio Lopez-Navidad Increasing the Availability of Human Organs for Transplantation Through Argumentation Based Deliberation Among Agents.

    • In: Special Issue on Intelligent Agents in Healthcare, Nov/Dec 2006.

  • Carlos Chesnevar, Jarred McGinnis, Sanjay Modgil, Iyad Rahwan, Chris Reed, Guillermo Simari, Matthew South, Gerard Vreeswijk, Steven Willmott. Towards an Argument Interchange Format.. Accepted for publication in: The Knowledge Engineering Review, Cambridge University Press, 2007.

  • J. Fox, D. Glasspool, S. Modgil. A canonical agent model for healthcare applications. Accepted for publication in IEEE Intelligent Systems: Special Issue on Intelligent Agents in Healthcare, Nov/Dec 2006.

  • Nammuni K., Pickering C., Modgil S., Montgomery A., Hammond P., Wyatt J.C., Altman D.G., Dunlop R., Potts H. Design-a-Trial: A Rule- Based Decision Support System for Clinical Trial Design. In: Knowledge Based Systems, 17(2-4), pp. 121-129, 2004.

  • Modgil S., Hammond P. Decision Support Tools for Clinical Trial Design. In: Artificial Intelligence in Medicine Journal, 27(2), pp. 181-200, 2003.

  • Modgil S., Hutton T., Hammond P., Davenport J. Combining Biometric and Symbolic Models for Customised, Automated Prosthesis Design. In: Artificial Intelligence in Medicine Journal, 25(3), pp. 227-245, 2002.

  • Hammond P., Modgil S., Wyatt J. Safety and Computer Aided Design of Chemotherapy Plans. In: Topics in Health Information Management Journal, 20(4), pp. 55-66, 2000.

    Deliverables, Technical Reports and Book Chapters

  • J. Fox and S.Modgil. From Arguments to Decisions: Extending the Toulmin View. Book chapter in: Arguing on the Toulmin Model New Essays in Argument Analysis and Evaluation. Series: Argumentation Library , Vol. 10 Hitchcock, David; Verheij, Bart (Eds.) 2006. ISBN: 1-4020-4937-4

    Editor of and contributing author to:

  • ASPIC Deliverable D1.1: Review on Argumentation Technology: State of the Art, technical and user requirements (www:argumentation:org=ASPIC DE XX 11 01 Final:pdf) September 2004.

  • ASPIC Deliverable D1.3: Draft consensus framework of argumentation concepts (document restricted to ASPIC consortium) December 2004.

    Author of:

  • ASPIC Deliverable D1.4: Final consensus framework of argumentation concepts (document restricted to ASPIC consortium) September 2005.

    Contributing author to:

  • ASPIC Deliverable D2.1: Theoretical framework for argumentation (www:argumentation:org=ASPIC DE XX 21 11 UPS Theoretical Framework:pdf) June 2004.

  • ASPIC Deliverable D3.1: A review of methods for prototyping and testing ASPIC technology(document restricted to ASPIC consortium) November 2004. 19. ASPIC Deliverable D4.1: Requirements Speci cation for Generic Argumentation Components (document restricted to ASPIC consortium) May 2005.

  • ASPIC Deliverable D4.1: Requirements Speci cation for Generic Argumentation Components (document restricted to ASPIC consortium) May 2005.

    Theses

  • Modgil S. A Labelled System for Practical Reasoning. Thesis submitted for doctorate of philosophy in Computing Science. Supervisors: Professor D. Gabbay and Dr. K. Broda

  • Modgil S. Transaction Management in a Deductive Database. Thesis submitted in partial fulfillment of the requirements for the M.Sc. in Computing Science. Supervisor: Dr. F. Sadri.

    Email

    smacl.icnet.uk