Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Epistemic formulae, argument structures, and a narrative on identity and deception: a formal representation from the AJIT subproject within AURANGZEB

  • Published:
Annals of Mathematics and Artificial Intelligence Aims and scope Submit manuscript

Abstract

The modelling of deception is an active field in artificial intelligence. Episodic formulae were introduced, applied and refined in several previous articles, some of them concerned with identity, and some, with tasks of guessing agents’ minds. The AURANGZEB project is specifically concerned with combining this kind of representation with argument structure data (in particular, Toulmin’s). Two previous articles were concerned with the MURAD subproject, whereas this paper introduces the AJIT model. In MURAD, the kind of deception consisted of having a victim misunderstand a perpetrator’s real intentions. In AJIT, instead, a powerful agent is outsmarted by means of exchanged identities.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  1. Abrahams, A.S, Bacon, J.M.: The life and times of identified, situated, and conflicting norms. In: Jones, A.J.I., Horty, J. (eds.) ΔEON’02: Sixth International Workshop on Deontic Logic in Computer Science, May 2002, pp. 3–20. Imperial College, London (2002)

    Google Scholar 

  2. Alchourrón, C.E., Martino, A.A.: Logic without truth. Ratio Juris 3(1), 46–67 (1990) (Blackwell, Oxford)

    Article  Google Scholar 

  3. Anderson, T., Twining, W.: Analysis of Evidence: How to do Things with Facts. (With a Teacher’s Manual.) Weidenfeld & Nicolson, London (1991); Little Brown & Co., Boston (1991); Northwestern University Press (1998)

  4. Åqvist, L.: Good samaritans, contrary-to-duty imperatives, and epistemic obligations. Noûs 1, 361–379 (1967)

    Article  Google Scholar 

  5. Åqvist, L.: Deontic logic. In: Gabbay, D., Guenthner, G. (eds.) Handbook of Philosophical Logic, vol. 2: Extensions of Classical Logica. Synthese Library, Studies in Epistemology, vol. 165, pp. 605–714. Reidel, Dordrecht (1984)

    Google Scholar 

  6. Åqvist, L.: Deontic Logic. In: Gabbay, D., Guenthner G. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 8. Kluwer, Dordrecht (2002)

    Google Scholar 

  7. Åqvist, L., Mullock, P.: Causing Harm: A Logico-Legal Study. Walter de Gruyter, Berlin (1989)

    Google Scholar 

  8. Bakshi, S.R., Sharma, S.K. (eds.): Aurangzeb: The Great Moghul (The Great Moghuls, 6). Deep & Deep, New Delhi (2000)

    Google Scholar 

  9. Bhave, Y.G.: From the Death of Shivaji to the Death of Aurangzeb: The Critical Years. Northern Book Centre, New Delhi (2000)

    Google Scholar 

  10. Carbonell, Jr., J.G. : POLITICS: automated ideological reasoning. Cogn. Sci. 2(1), 27–51 (1978)

    Article  Google Scholar 

  11. Carbonell, J.: Subjective understanding: computer models of belief systems. Ph.D. thesis, Computer Science Department, Yale University, Research Report 150 (1979)

  12. Carbonell, J.: POLITICS (Chap. 11); Micro POLITICS (Chap. 12). In: Schank, R.G., Riesbeck, C.K. (eds.) Inside Computer Understanding: Five Programs Plus Miniatures, pp. 259–307 and 308–317. Erlbaum, Hillsdale (1981)

  13. Carmo, J., Jones, A.: A new approach to contrary-to-duty obligations. In: Nute, D. (ed.) Defeasible Deontic Logic (Synthese Library, 263.) pp. 317–344. Kluwer, Dordrecht (1996)

    Google Scholar 

  14. Carmo, J., Jones, A.: Deontic logic and contrary-to-duties. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 8, pp. 265–343. Kluwer, Dordrecht (2002)

    Google Scholar 

  15. Carofiglio, V., de Rosis, F.: Ascribing and weighting beliefs in deceptive information exchanges. In: Bauer, M., Gmytrasiewicz, P.J., Vassileva, J. (eds.) User Modeling 2001. Springer Lecture Notes in Artificial Intelligence, vol, 2109, pp. 222–224. Springer, Berlin (2001)

    Google Scholar 

  16. Carofiglio, V., de Rosis, F.: Exploiting uncertainty and incomplete knowledge in deceptive argumentation. In: Computational Science, ICCS 2001. Lecture Notes in Computer Science, vol. 2073, pp. 1019–1028. Springer, Berlin (2001)

    Google Scholar 

  17. Carofiglio, V., de Rosis, F., Grassano, R.: An interactive system for generating arguments in deceptive communication. In: Esposito, F. (ed.) Proceedings of AI∗IA 2001: Advances in Artificial Intelligence. Springer Lecture Notes in Artificial Intelligence, vol. 2175, pp. 255–266. Springer, Berlin (2001)

    Google Scholar 

  18. Castelfranchi, C., Poggi, I.: Bugie, Finzioni e Sotterfugi. Carocci, Florence (1998)

    Google Scholar 

  19. Castelfranchi C., Tan, Y.: Trust and Deception in Virtual Societies. Kluwer, Dordrecht (2002)

    Google Scholar 

  20. Chandra, S.: Mughal Religious Policies, the Rajputs & the Deccan. Vikas, New Delhi (1993)

    Google Scholar 

  21. Chandra, S., Sinh, R., Sharma, G.D. (eds.): Marwar under Jaswant Singh (1658–1678) = Jodhpur hukumat ri Bahi. Meenakshi Prakashan, Meerut (1976) (Text in Rajasthani, introduction and summary in English, index in Hindi, and a bibliography)

  22. Chatterjee, K.: History as self-representation: the recasting of a political tradition in late eighteenth-century Eastern India. Modern Asian Studies 32(4), 913–948 (1998) (Cambridge University Press)

    Article  Google Scholar 

  23. Chellas, B.F.: Conditional obligation. In: Stenlund, S. (ed.) Logical Theory and Semantic Analysis, pp. 23–33. Reidel, Dordrecht (1974)

    Google Scholar 

  24. Chen, L., Bechkoum, K., Clapworthy, G.: An animated human-like interface agent for virtual environments. In: Proceedings of the Fourth International Conference on Computer Graphics and Artificial Intelligence, pp. 29–39, Limoges, 3–4 May 2000

  25. Chen, L., Bechkoum, K., Clapworthy, G.: Reconciling autonomy with narratives in the event calculus. In: AAAI’2001 Spring Symposium, Stanford University, Stanford, CAAAI, A., Technical Report SS-01-02, pp. 20–24 (2001)

  26. Chen, L., Bechkoum, K., Clapworthy, G.: A logical approach to high-level agent control. In: Proceedings of the Fifth International Conference on Autonomous Agents, pp. 1–8, Montreal, 28 May–1 June 2001

  27. Chen, L., Bechkoum, K., Clapworthy, G.: Equipping a lifelike animated agent with a mind. In: Proceedings of the Third International Workshop on Intelligent Virtual Agents, pp. 72–85, Madrid, September 2001

  28. Chisholm, R.M.: Contrary-to-duty imperatives and deontic logic. Analysis 24, 33–36 (1963)

    Article  Google Scholar 

  29. Darbari, N.: Northern India under Aurangzeb: Social and Economic Condition. Pragati Prakashan, Meerut (1982)

    Google Scholar 

  30. de Cataldo Neuburger, L., Gulotta, G.: Trattato della menzogna e dell’inganno. Giuffrè, Milan (1996)

    Google Scholar 

  31. de Rosis, F., Castelfranchi, C., Carofliglio, V.: On various sources of uncertainty in modeling suspicion and how to treat them. In: Proceedings of the Workshop on Deception, Fraud and Trust in Agent Societies, at the Autonomous Agents 2000 Conference, pp. 61–72, Barcelona, May 2000

  32. Domike, S., Mateas, M., Vanouse, P.: The recombinant history apparatus presents Terminal Time, Ch. 9. In: Mateas, M., Sengers, P. (eds.) Narrative Intelligence, pp. 155–188. John Benjamins, Amsterdam (2003)

    Google Scholar 

  33. Dyer, M.G.: In-Depth Understanding: A Computer Model of Integrated Processing of Narrative Comprehension. MIT, Cambridge, Mass. (1983) (On the BORIS project.)

    Google Scholar 

  34. Eastmond, A.: Royal Imagery in Medieval Georgia. The Pennsylvania State University Press, University Park (1998)

    Google Scholar 

  35. Eaton, R.M.: Temple desecration and Indo-Muslim states. Journal of Islamic Studies 11(3), 283–319 (2000) (Oxford)

    Article  Google Scholar 

  36. Elhag, A.A.O., Breuker, J.A.P.J., Brouwer, B.W.: On the formal analysis of normative conflicts. In: van den Herik, H.J., Moens, M.-F., Bing, J., van Buggenhout, B., Zeleznikow, J., Grutters, C. (eds.) Legal Knowledge Based Systems (i.e., Proceedings of) Jurix 1999: The Twelfth Conference, pp. 35–46. Gerard Noodt Instituut, Nijmegen (1999)

  37. Eraly, A.: The Mughal Throne: The Saga of India’s Great Emperors. Weidenfeld & Nicolson, London, 2003; Phoenix (of Orion Books), London, 2004, pbk. = 2nd edn. of: Emperors of the Peacock Throne: The Saga of the Great Mughals. Penguin Books India, New Delhi (1997,2000)

  38. Faruki, Z.: Aurangzeb & his Times. IAD Oriental Series. Idarah-i Adabiyat-i Delli, Delhi (1972) (First published by D.B. Taraporevala Sons & Co., Bombay, 1935)

  39. Fillmore, C.J.: The case for case. In: Bach, E., Harms, R.T. (eds.) Universals in Linguistic Theory, pp. 1–88. Holt, Rinehart and Winston, New York (1968)

    Google Scholar 

  40. Forrester, J.W.: Gentle murder, or the adverbial Samaritan. Journal of Philosophy 81, 193–197 (1984)

    Article  MathSciNet  Google Scholar 

  41. Gan, H.: Understanding a story with causal relationships. In: Raś, Z.W., Zemankova, M. (eds.) Methodologies for Intelligent Systems: [Proceedings of the] 8th International Symposium, ISMIS ’94. Charlotte, North Carolina, October 1994. Lecture Notes in Artificial Intelligence, vol. 869. pp. 265–274. Springer, Berlin

  42. Governatori, G, Rotolo, A.: A Gentzen system for reasoning with contrary-to-duty obligations: A preliminary study. In: Jones, A.J.I., Horty, J. (ed.) ΔEON’02: Sixth International Workshop on Deontic Logic in Computer Science, May 2002, pp. 97–116. Imperial College, London (2002)

    Google Scholar 

  43. Grasso, F.: Would I lie to you? Fairness and deception in rhetorical dialogues. In: Falcone, R., Korba, L. (eds.) Working Notes of the AAMAS 2002 Workshop on “Deception, Fraud and Trust in Agent Societies”, Bologna, Italy, 15 July 2002. http://www.csc.liv.ac.uk/~floriana/pub.html (2002)

  44. Hage, J.: Contrary to duty obligations: a study in legal ontology. Chapter 8 and information systems. In: Verheij, B., Lodder, A.R., Loui, R.P., Muntjewerff, A. (eds.) Legal Knowledge and Information Systems. JURIX 2001: The Fourteenth Annual International Conference (University of Amsterdam, Dec. 13–14, 2001), (Frontiers in Artificial Intelligence and Applications, 70). Ohmsha, Tokyo (2001)

  45. Hallissey, R.C.: The Rajput Rebellion Against Aurangzeb: A Study of the Mughal Empire in Seventeenth-Century India. University of Missouri Press, Columbia (1977)

    Google Scholar 

  46. Holyoak, K.J., Cheng, P.W.: Pragmatic reasoning from multiple points of view: a response. Rejoinder. Thinking and Reasoning 1(4), 373–389 (1995)

    Article  Google Scholar 

  47. Horty, J.F.: Deontic logic as founded on nonmonotonic logic. In: Meyer, J.-J., Wieringa, R. (eds.) Deontic Logic in Computer Science. Baltzer, Basel, i.e., Ann. Math. Artif. Intell. 9, 69–91 (1993)

  48. Horty, J.: Moral dilemmas and nonmonotonic logic. Journal of Philosophical Logic 23, 35–65 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  49. Horty, J.: Reasoning with moral conflicts. Noûs 37, 557–605 (2003)

    MathSciNet  Google Scholar 

  50. Hovy, E.: Generating natural language under pragmatic constraints. Journal of Pragmatics 11(6), 689–719 (1987)

    Article  Google Scholar 

  51. Hovy, E.H.: Generating Natural Language Under Pragmatic Constraints. Lawrence Erlbaum, Hillsdale (1988)

    Google Scholar 

  52. Hovy, E.H.: Automated discourse generation using discourse structure relations. Artif. Intell. 63(1–2), 341–385 (1993)

    Article  Google Scholar 

  53. Husain, S.M.A.: Structure of Politics Under Aurangzeb, 1658–1707. Kanishka, New Delhi (2002)

    Google Scholar 

  54. Jameson, A.: Impression monitoring in evaluation-oriented dialog: the role of the listeners assumed expectations and values in the generation of informative statements. In: Proceedings of the Eighth International Joint Conference on Artificial Intelligence (IJCAI’83), vol. 2, pp. 616–620, Karlsruhe, 8–12 August 1983

  55. Kaddari, M.Z.: The Aramaic Megillat Antiochus. [Paper in 2 parts, in Hebrew.] Bar-Ilan: Annual of Bar-Ilan University Studies in Judaica and the Humanities, 1 (1963), 81–105; 2 178–214, (1964)

  56. Kumar, R., (ed.): India Under Aurangzeb, vol. 7 In: Survey of Medieval India (15 vols.) Anmol, New Delhi (1999)

  57. Lebel, J.: The evolution of the Serbian state and the struggle of Serbian Jewry for equal rights. In: Rozen, M. (ed.) The Last Ottoman Century and Beyond: The Jews in Turkey and the Balkans, 1808–1945, vol. 2. (Publications of the Goldstein-Goren Diaspora Research Center, 148), pp. 45–65. Tel Aviv University, Tel Aviv (2002) (vol. 1, of 2005, is fully authored by Rozen herself.)

  58. Manucci, N.: The General History of the Mogol Empire: From it’s Foundation by Tamerlane, to the Late Emperor Orangzeb, extracted from the memoirs of Manouchi, M., a Venetian, and chief physician to Orangzeb for above forty years, by F.F. Catrou. Printed for Jonah Bowyer, London (1709) (An English translation from Catrou’s French reworking of the Portuguese original.)

  59. Martino, A.A., Nissan, E. (eds.): Formal approaches to legal evidence, special issue. Artif. Intell. and Law 9(2/3), 85–224 (2001)

    Article  Google Scholar 

  60. Nagar, M.S.: The Genealogical Survey: Royal House of Marwar and Other States. Maharaja Man Singh Pustak Prakashan, Jodhpur (2004)

    Google Scholar 

  61. Nissan, E.: Meanings, expression, and prototypes. Pragmatics and Cognition 3(2), 317–364 (1995)

    Google Scholar 

  62. Nissan, E.: A formalism for competing claims of identification: the “Smemorato di Collegno” amnesia case. Informatics and Computing 20(6), 625–656 (2001)

    MATH  MathSciNet  Google Scholar 

  63. Nissan, E.: (2002a) The COLUMBUS Model. Part I and part II. International Journal of Computing Anticipatory Systems 12, 105–120, 121–136 (2002)

    Google Scholar 

  64. Nissan, E.: A formalism for misapprehended identities: taking a leaf out of Pirandello. In: Stock, O., Strapparava, C., Nijholt, A. (eds.) Proceedings of the Twentieth Twente Workshop on Language Technology (TWLT20), Trento, Italy, April 15–16, 2002, pp. 113–123. University of Twente, Twente (2002)

  65. Nissan, E.: Identification and doing without it, I: a situational classification of misapplied personal identity, with a formalism for a case of multiple usurped identity in Marivaux. Cybernetics and Systems 34(4–5), 317–358 (2003)

    Article  MATH  Google Scholar 

  66. Nissan, E.: Identification and Doing without it, II: visual evidence for pinpointing identity. How Alexander was found out: purposeful action, enlisting support, assumed identity, and recognition. A goal-driven formal analysis. Cybern. Syst. 34(4–5), 359–380 (2003)

    Article  MATH  Google Scholar 

  67. Nissan, E.: Identification and doing without it, III: authoritative opinions, purposeful action, relabelled goods, and forensic examinations. The case of the stuffed birds: its narrative dynamics set in formulae. Cybern. Syst. 34(6–7), 467–500 (2003)

    Article  MATH  Google Scholar 

  68. Nissan, E.: Identification and doing without it, IV: a formal mathematical analysis for the feveroles case, of mixup of kinds and ensuing litigation; and a formalism for the “Cardiff Giant” double hoax. Cybern. Syst. 34(6–7), 501–530 (2003)

    Article  MATH  Google Scholar 

  69. Nissan, E.: Facets of abductive reasoning. [Review essay on: Magnani, L., Abduction, Reason, and Science: Processes of Discovery and Explanation (Kluwer / Plenum, New York, 2001); Josephson, J.R., Josephson, S.G. (eds.), Abductive Inference: Computation, Philosophy, Technology (Cambridge University Press, Cambridge, England, 1994); Bunt, H., Black, W. (eds.), Abduction, Belief and Context in Dialogue: Studies in Computational Pragmatics (Benjamins, Amsterdam, 2000).] Cybern. Syst. 34(4/5), 381–399 (2003)

  70. Nissan, E.: Goals, arguments, and deception: a formal representation from the AURANGZEB Project. I: an episode from the succession war. Journal of Intelligent and Fuzzy Systems (2007) 18(3), 281–305 (2007a)

    Google Scholar 

  71. Nissan, E.: Goals, arguments, and deception: a formal representation from the AURANGZEB Project. II: a formalism for the capture of Murad. Journal of Intelligent and Fuzzy Systems 18(3), 307–327 (2007)

    Google Scholar 

  72. Nissan, E.: Tools for representing and processing narratives. In: Quigley, M. (ed.) Encyclopedia of Information Ethics and Security, pp. 638–644. IGI Global (formerly Idea Group), Hershey, Pennsylvania (2007)

    Google Scholar 

  73. Nissan, E.: Argumentation and computing. In: Quigley, M., (ed.) Encyclopedia of Information Ethics and Security, pp. 30–35. IGI Global (formerly Idea Group), Hershey, PA (2007)

    Google Scholar 

  74. Nissan, E.: Argumentation with Wigmore charts and computing. In: Quigley, M. (ed.) Encyclopedia of Information Ethics and Security, pp. 36–41. IGI Global, Hershey, PA (2007)

    Google Scholar 

  75. Nissan, E.: Artificial intelligence tools for handling legal evidence. In: Quigley, M. (ed.) Encyclopedia of Information Ethics and Security, pp. 42–48. IGI Global, Hershey, PA (2007)

    Google Scholar 

  76. Nissan, E.: Nested beliefs, goals, duties, and agents reasoning about their own or each other’s body in the TIMUR model: a formalism for the narrative of Tamerlane and the three painters. Journal of Intelligent and Robotic Systems 52(3/4), 515–582 (2008) (+ this paper’s contents on 340–341)

    Article  Google Scholar 

  77. Nissan, E.: From embodied agents reasoning about the body, to virtual models of the human body: a quick overview. J. Intell. Robot. Syst. 52(3/4), 489–513 (2008) (+ contents of this paper on p. 340)

    Article  Google Scholar 

  78. Nissan, E.: Medieval (and later) compulsory signs of group identity disclosure. Part I: the general pattern at the core of the social dynamics of the Jewish badge, set in episodic formulae and in systems & control block schemata. Journal of Sociocybernetics 6(1), 11–29 (2008)

    Google Scholar 

  79. Nissan, E.: Medieval (and later) compulsory signs of group identity disclosure. Part II: the intervention of Joseph Cazès in Teheran in 1898, set in episodic formulae. Journal of Sociocybernetics (to appear)

  80. Nissan, E.: Select topics in legal evidence and assistance by artificial intelligence techniques. Cybernetics and Systems 39(4), 333–394 (2008)

    Article  Google Scholar 

  81. Nissan, E.: Argument structure models and visualization. In: Pagani, M. (ed.) Encyclopedia of Multimedia Technology and Networking, 2nd edn., vol. 1 (of 3), pp. 75–82. IGI Global, Hershey, Pennsylvania (2008)

  82. Nissan, E.: Legal evidence, police intelligence, crime analysis or detection, forensic testing, and argumentation: an overview of computer tools or techniques. Journal of Law and Information Technology 17(1), 1–82 (2009). doi:10.1093/ijlit/ean009 (2008)

    Google Scholar 

  83. Nissan, E.: Eude and Eglon, Eleazar the Maccabee, and two early modern Indian narratives: factors explaining the convergence of phylogenetically unconnected tales. Journal of Indo-Judaic Studies 10 (in press, Miami, Florida and Saskatoon, Saskatchewan, Canada)

  84. Nissan, E.: On chance, causality, agency, volition, and communication: the case of the subversive parrot of Sfakion. In: Negrotti, M. (ed.) Yearbook of the Artificial, vol. 6 (2009, to appear)

  85. Nissan, E., Martino, A.A. (eds.): Software, formal models, and artificial intelligence for legal evidence. Computing and Informatics 20(6), 509–656 (2001) (Special issue)

  86. Nissan, E., Martino, A.A. (eds.): Building blocks for an artificial intelligence framework in the field of legal evidence. Cybernetics and Systems 34(4/5), 233–411, 34(6/7), 413–583 (2003) (Special issue)

  87. Nissan, E., Martino, A.A. (eds.): The construction of judicial proof: a challenge for artificial intelligence modelling. Appl. Artif. Intell. 18(3/4), 183–393 (2004) (Special issue)

    Article  Google Scholar 

  88. Nissan, E., Hall, D., Lobina, E., de la Motte, R.: A formalism for a case study in the watertime project: the city water system in Grenoble, from privatization to remunicipalization. Appl. Artif. Intell. 18(3/4), 305–366 (2004)

    Article  Google Scholar 

  89. Nissan, E., Simhon, D, Zigdon, N.: Resource evaluation and counterplanning with multiple layer rulesets, in the BASKETBALL expert system. In: Tenenbaum, G., Raz-Liebermann, T., Artzi, T. (eds.) Proceedings of the International Conference on Computer Applications in Sport and Physical Education, Netanya, Israel, 2–6 January 1992 pp. 60–80. Wingate Institute for Physical Education and Sport, and the Zinman College of Physical Education (of Wingate Institute), Netanya (1992)

  90. Parent, X.: Remedial interchange, contrary-to-duty obligation and commutation. Journal of Applied Non-Classical Logics 13(3–4), 345–375 (2003)

    Article  Google Scholar 

  91. Prakken, H., Sergot, M.J.: Contrary-to-duty obligations. Studia Logica 57, 91–115 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  92. Prakken, H., Sergot, M.J.: Dyadic deontic logic and contrary-to-duty obligations. In: Nute, D.N. (ed.), Defeasible Deontic Logic: Essays in Nonmonotonic Normative Reasoning (Synthese Library). Kluwer, Dordrecht (1996)

    Google Scholar 

  93. Prakken, H, Sergot, M.J.: Dyadic deontic logic and contrary-to-duty obligations. In: Nute, D.N. (ed.) Defeasible Deontic Logic: Essays in Nonmonotonic Normative Reasoning (Synthese Library, 263), pp. 223–262. Kluwer, Dordrecht (1997)

    Google Scholar 

  94. Raskin, V.: Semantics of lying. In: Crespo, R., Dotson-Smith, B., Schultink, H. (eds.) Aspects of Language: Studies in Honour of Mario Alinei, Vol. 2: Theoretical and Applied Semantics, pp. 443–469. Rodopi, Amsterdam (1987)

  95. Raskin, V.: Semantics of Lying. Kluwer, Dordrecht (1993)

    Google Scholar 

  96. Raskin, J.-F., Tan, Y.-H., van der Torre, L.W.N.: Modeling deontic states in Petri nets. Discussion Paper 111. Erasmus University Research Institute for Decision and Information Systems (EURIDIS), Rotterdam (1996)

  97. Rathore, L.S.: Veer Durgadas Rathore: An Epic (in English). The Thar Bliss, Jodhpur (1987)

    Google Scholar 

  98. Safrai, Z.: The Scroll of Antiochos and the Ccroll of Fasts. Appendix to Ch. 4. In: Safrai, S., Safrai, Z., Schwartz, J., Tomson, P.J. (eds.) The Literature of the Sages, Second Part: Midrash and Targum, Liturgy, Poetry, Mysticism, Contracts, Inscriptions, Ancient Science and the Languages of Rabbinic Literature (Compendia Rerum Iudaicarum ad Novum Testamentum, Section Two: The Literature of the Jewish People in the Period of the Second Temple and the Talmud, 3a.), pp. 238–241. Royal Van Gorcum, Assen, Netherlands and Augsburg Fortress, Minneapolis (2006)

  99. Sarkar, J.: Studies in Aurangzib’s Reign: Being Studies in Mughal India, First Series, 3rd rev. edn. Sangam, London (1933) (repr. 1989)

  100. Sarkar, J.: A Short History of Aurangzib, pp. 1618–1707. Orient Longman, New Delhi (1962, 1979) (Abridged from a larger work in 5 vols.)

  101. Schank, R.G., Riesbeck, C.K. (eds.): Inside Computer Understanding: Five Programs Plus Miniatures. Erlbaum, Hillsdale (1981)

    Google Scholar 

  102. Schum, D.A.: Evidence marshaling for imaginative fact investigation. In: Martino, A.A., Nissan, E. (eds.) Formal Approaches to Legal Evidence. Artif. Intell. and Law 9(2/3), 165–188 (2001) (Special issue)

  103. Sergot, M.: Modelling unreliable and untrustworthy agent behaviour. In: Dunin, B., Keplicz, Jankowski, A., Skowron, A., Szczuka, M. (eds.) International Workshop on Monitoring, Security, and Rescue Technique in Multiagent Systems, pp. 161–177, Plock, Poland, 7–9 June 2004. Springer, Berlin (2005)

    Chapter  Google Scholar 

  104. Sinh, R.: Durga Das Rathor (in English; National Biography series). National Book Trust, New Delhi (1975) (Also: Panchsheel Prakashan, Jaipur, 1999)

  105. Sweetser, E.: The definition of lie: an examination of the folk theories underlying a semantic prototype. In: Holland, D., Quinn, N. (eds.) Cultural Models in Language and Thought, pp. 43–66. University of Chicago Press, Chicago (1987)

    Google Scholar 

  106. Taylor, J.: A multi-agent planner for modelling dialogue. Ph.D. Thesis, School of Cognitive and Computing Sciences, University of Edinburgh, Edinburgh, Scotland (1994)

  107. Taylor, J.A.: Using hierarchical autoepistemic logic to model beliefs in dialogue. In: Koza, J.R. (ed.), Artificial Life at Stanford 1994. Stanford Bookstore, Stanford, California (1994). Also: Technical Report HCRC/RP-60, Human Communication Research Centre, University of Edinburgh, Edinburgh, Scotland (1994)

  108. Tomberlin, J.E.: (1981) Contrary-to-duty imperatives and conditional obligation. Noûs 16, 357–375

    Article  MathSciNet  Google Scholar 

  109. Tomberlin, J.: Contrary-to-duty imperatives and Castañeda’s system of deontic logic. In: Tomberlin, J. (ed.) Agent, Language, and the Structure of the World, pp. 231–249. Hackett, Indianapolis, Indiana (1983)

    Google Scholar 

  110. Toulmin, S.E.: The Uses of Argument. Cambridge University Press, Cambridge, England (1958) (reprints: 1974, 1999)

    Google Scholar 

  111. Touretzky, D.S.: The Mathematics of Inheritance Systems. (Research Notes in Artificial Intelligence series.) Pitman, London, and Morgan Kaufmann, Los Altos, California (1986)

  112. Trombley, F.: Review of Eastmond (1998). Al-Masāq 16(1), 177–178 (2004). (This English-language journal was at the time published by Carfax in Abingdon, Oxfordshire, for the Society for the Medieval Mediterranean, and is now published by Routledge in London, Taylor & Francis having absorbed both Carfax and Routledge)

  113. Ursu, M.F., Zimmer, R.: On the notion of compliance in critiquing intelligent design assistants: representing duty and contrary-to-duty statements. In: Proceedings of the Sixth International Conference on Information Visualisation; Symposium on Computer Aided Design, pp. 644–649, London, 10–12 July 2002. IEEE Computer Society, Los Alamitos (2002)

  114. van der Torre, L.W.N., Tan, Y.-H.: Contrary-to-duty reasoning with preference-based dyadic obligations. Ann. Math. Artif. Intell. 27(1–4), 49–78 (1999)

    Article  MATH  Google Scholar 

  115. Vrij, A.: Detecting Lies and Deceit: The Psychology of Lying and Implications for Professional Practice. (Wiley Series on the Psychology of Crime, Policing and Law.) Wiley, Chichester (2000)

    Google Scholar 

  116. Wigmore, J.H.: The Science of Judicial Proof as Given by Logic, Psychology, and General Experience, and Illustrated Judicial Trials, 3rd edn. Little, Brown, Boston (1937) (Previously: The Principles of Judicial Proof; or, the Process of Proof as Given by Logic, Psychology, and General Experience, and Illustrated Judicial Trials, 2nd edn. Boston, 1931, 1934; The Principles of Judicial Proof: As Given by Logic (etc.), 1st edn. Boston, 1913)

  117. Wilensky, R.: Planning and Understanding: A Computational Approach to Human Reasoning. Addison-Wesley, Reading (1983)

    Google Scholar 

  118. Winston, P.H.: Learning new principles from precedents and exercises. Artif. Intell. 19(3), (1982)

  119. Winston, P.H.: Learning rules from experience. Chapter 12 in his Artificial Intelligence, 2nd edn., pp. 409–434. Addison-Wesley, Reading (1984)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Goldsmiths’ College, University of London, 25–27 St. James Street, New Cross, London, SE14 6NW, England, UK

    Ephraim Nissan

Authors
  1. Ephraim Nissan
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ephraim Nissan.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Nissan, E. Epistemic formulae, argument structures, and a narrative on identity and deception: a formal representation from the AJIT subproject within AURANGZEB. Ann Math Artif Intell 54, 293–362 (2008). https://doi.org/10.1007/s10472-008-9103-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10472-008-9103-8

Keywords

Mathematics Subject Classifications (2000)

Search

Navigation