Abstract
Reasoning about mental states and processes is important in varioussubareas of the legal domain. A trial lawyer might need to reason andthe beliefs, reasoning and other mental states and processes of membersof a jury; a police officer might need to reason about the conjecturedbeliefs and reasoning of perpetrators; a judge may need to consider adefendant's mental states and processes for the purposes of sentencing;and so on. Further, the mental states in question may themselves beabout the mental states and processes of other people. Therefore, if AIsystems are to assist with reasoning tasks in law, they may need to beable to reason about mental states and processes. Such reasoning isriddled with uncertainty, and this is true in particular in the legaldomain. The article discusses how various different types ofuncertainty arise, and shows how they greatly complicate the task ofreasoning about mental states and processes. The article concentrates onthe special case of states of belief and processes of reasoning, andsketches an implemented, prototype computer program (ATT-Meta) thatcopes with the various types of uncertainty in reasoning about beliefsand reasoning. In particular, the article outlines the system'sfacilities for handling conflict between different lines of argument,especially when these lie within the reasoning of different people. Thesystem's approach is illustrated by application to a real-life muggingexample.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Allen, R. (2001). Artificial Intelligence and the Evidentiary Process: The Challenges of Formalism and Computation. Artificial Intelligence and Law 9: 99-114.
Asher, N. and Lascarides, A. (1994). Intentions and information in discourse. In Proceedings of the 32nd Annual Meeting of the Association for Computational Linguistics, 34-41. Association for Computational Linguistics.
Attardi, G. and Simi, M. (1994). Proofs in context. In Doyle, J., Sandewall, E., and Torasso, P. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference, 15-26. (Bonn, Germany, 24-27 May 1994). Morgan Kaufmann: San Mateo, CA.
Ballim, A. and Wilks, Y. (1991). Artificial Believers: The Ascription of Belief. Lawrence Erlbaum: Hillsdale, N.J.
Barnden, J. A. (1995). Simulative Reasoning, Common-sense Psychology and Artificial Intelligence. In Davies, M. and Stone, T. (eds.) Mental Simulation: Evaluations and Applications, 247-273. Blackwell: Oxford, U.K.
Barnden, J. A. (1997). Simulation and Uncertainty in Reasoning About Agents' Beliefs. Memoranda in Computer and Cognitive Science, No. MCCS-97-310, Computing Research Laboratory, New Mexico State University, Las Cruces, NM 88003, U.S.A.
Barnden, J. A. (1998a). An AI System for Metaphorical Reasoning About Mental States in Discourse. In Koenig, J-P. (ed.) Discourse and Cognition: Bridging the Gap, 167-188. CSLI: Stanford, CA.
Barnden, J. A. (1998b). Combining Uncertain Belief Reasoning and Uncertain Metaphor-based Reasoning. In Proceedings of the Twentieth Annual Meeting of the Cognitive Science Society, 114-119. Lawrence Erlbaum Associates: Mahwah, N.J.
Barnden, J. A., Helmreich, S., Iverson, E. and Stein, G.C. (1994). An Integrated Implementation of Simulative, Uncertain and Metaphorical Reasoning about Mental States. In Doyle, J., Sandewall, E., and Torasso, P. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference, 27-38. (Bonn, Germany, 24-27 May 1994). Morgan Kaufmann: San Mateo, CA.
Barnden, J. A., Helmreich, S., Iverson, E. and Stein, G. C. (1996). Artificial Intelligence and Metaphors of Mind: Within-vehicle Reasoning and Its Benefits. Metaphor and Symbolic Activity 11(2): 101-123.
Bratman, M. E. (1992). Planning and the Stability of Intention. Minds and Machines 2(1): 1-16.
Carruthers, P. and Smith, P. K. (eds.). (1996). Theories of Theories of Mind. Cambridge University Press: Cambridge, UK.
Chalupsky, H. (1993). Using Hypothetical Reasoning as a Method for Belief Ascription. Journal of Experimental and Theoretical Artificial Intelligence 5(2-3): 119-133.
Chalupsky, H. (1996). Belief Ascription by Way of Simulative Reasoning. Ph.D. Dissertation, Department of Computer Science, State University of New York at Buffalo.
Cravo, M. R. and Martins, J. P. (1993). SNePSwD: A Newcomer to the SNePS Family. Journal of Experimental and Theoretical Artificial Intelligence 5(2-3): 135-148.
Creary, L. G. (1979). Propositional Attitudes: Fregean Representation and Simulative Reasoning. Proceedings of the Sixth International Joint Conference on Artificial Intelligence (Tokyo), 176-181. Morgan Kaufmann: Los Altos, CA.
Davies, M and Stone, T. (eds.) (1995). Mental Simulation: Evaluations and Applications. Blackwell: Oxford, U.K.
Davis, E. (1990). Representations of Commonsense Knowledge. Morgan Kaufmann: San Mateo, CA.
Delgrande, J. P. and Schaub, T. H. (1994). A General Approach to Specificity in Default Reasoning. In Doyle, J., Sandewall, E., and Torasso, P. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference, 146-157. (Bonn, Germany, 24-27 May 1994). Morgan Kaufmann: San Mateo, CA.
Dinsmore, J. (1991). Partitioned Representations: A Study in Mental Representation, Language Processing and Linguistic Structure. Kluwer Academic Publishers: Dordrecht.
Dragoni, A. F. and Puliti, P. (1994). Mental States Recognition from Speech Acts through Abduction. In Proceedings of the 11th European Conference on Artificial Intelligence (ECAI-94), 183-187. John Wiley: Chichester, UK.
Findler, N. V. (ed.) (1979). Associative Networks: Representation and Use of Knowledge by Computers. Academic Press: New York.
Goldman, A. I. (1992). In Defense of the Simulation Theory. Mind and Language 7(1-2): 104-119.
Gordon, R. (1986). Folk Psychology as Simulation. Mind and Language 1: 158-171.
Haas, A. R. (1986). A Syntactic Theory of Belief and Action. Artificial Intelligence 28: 245-292.
Hage, J. (1995). Teleological Reasoning in Reason-based Logic. In Fifth International Conference on Artificial Intelligence and Law: Proceedings of the Conference, 11-20. Association for Computing Machinery: New York.
Harris, P. L. (1992). From Simulation to Folk Psychology: The Case for Development. Mind and Language 7(1-2): 120-144.
Hunter, A. (1994). Defeasible Reasoning with Structured Information. In Doyle, J., Sandewall, E., and Torasso, P. (eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference, 281-292. (Bonn, Germany, 24-27 May 1994). Morgan Kaufmann: San Mateo, CA.
Kaplan, A. N. and Schubert, L. K. (1997a). Simulative Inference in a ComputationalModel of Belief. In Bunt, H., Kievit, L., Muskens, R., and Verlinden, M. (eds.), IWCS II: Second International Workshop on Computational Semantics, Tilburg University, Netherlands, Jan. 8-10, 1997.
Kaplan, A. N. and Schubert, L. K. (1997b). Simulative Inference in a Computational Model of Belief. Tech. Rep. 636, Dept. of Computer Science, University of Rochester, Rochester, NY 14627-0226, October 1997.
Konolige, K. (1985). Belief and Incompleteness. In Formal Theories of the Commonsense World, 359-403. Ablex: Norwood, NJ.
Konolige, K. (1986). A Deduction Model of Belief. London: Pitman. Morgan Kaufmann: Los Altos, CA.
Konolige, K. (1988). On the Relation between Default and Autoepistemic Logic. Artificial Intelligence 35(3): 343-382.
Lehmann, F.W. (1992). Semantic Networks in Artificial Intelligence. Pergamon: New York. (Special issue of Computer and Mathematics with Applications 23(2-9).)
Loui, R. P. (1987). Defeat Among Arguments: A System of Defeasible Inference. Computational Intelligence 3: 100-106.
Loui, R. P., Norman, J., Olson, J., and Merrill, A. (1993). A Design for Reasoning with Policies, Precedents, and Rationales. In Fourth International Conference on Artificial Intelligence and Law: Proceedings of the Conference, 202-211. Association for Computing Machinery: New York.
McLaren, B. M. and Ashley, K. D. (1995). Context Sensitive Case Comparisons in Practical Ethics: Reasoning about Reasons. In Fifth International Conference on Artificial Intelligence and Law: Proceedings of the Conference, 316-325. Association for Computing Machinery: New York.
Moore, R. C. (1973). D-SCRIPT: A Computational Theory of Descriptions. In Advance Papers of the Third International Joint Conference On Artificial Intelligence, Stanford, CA, 223-229. Also in IEEE Transactions on Computers C-25(4) (1976): 366-373.
Nissan, E., Puni, G., and Kuflik, T. (1991). Finding Excuses with ALIBI: Alternative Plans that Are Deontically More Defensible. Computers and Artificial Intelligence 10(4): 297-325. Also in Lopes Alves, J. (ed.), Information Technology and Society: Theory, Uses, Impacts. Lisbon: Associação Portuguesa para o Desenvolvimento das Comunicações, and Sociedade Portuguesa de Filosofia, 484-510 (1992).
Parsons, S., Sierra, C. and Jennings, N. (1998). Multi-context Argumentative Agents. In Working Papers of the Fourth Symposium on Logical Formalizations of Commonsense Reasoning (COMMON SENSE '98), Queen Mary and Westfield College, London, 7-9 January 1998.
Pearl, J. (1986). Fusion, Propagation, and Structuring in Belief Networks. Artificial Intelligence 29(3): 241-288.
Perrault, C. R. (1990). An Application of Default Logic to Speech Act Theory. In Cohen, P. R., Morgan, J., and Pollack, M. E. (eds.) Intentions in Communication, 161-185. MIT Press: Cambridge, MA.
Poole, D. (1991). The Effect of Knowledge on Belief: Conditioning, Specificity and the Lottery Paradox in Default Reasoning. Artificial Intelligence 49: 281-307.
Rich, E. and Knight, K. (1991). Artificial intelligence. 2nd edition. McGraw-Hill: New York.
Russell, S. and Norvig, P. (1995). Artificial intelligence: A Modern Approach. Prentice-Hall: Englewood Cliffs, N.J.
Schum, D. (2001). Evidence Marshaling for Imaginative Fact Investigation. Artificial Intelligence and Law 9: 165-188.
Yen, J., Neches, R., and MacGregor, R. (1991). CLASP: Integrating Term Subsumption Systems and Production Systems. IEEE Trans. on Knowledge and Data Engineering 3(1): 25-32.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Barnden, J.A. Uncertain reasoning about agents' beliefs and reasoning. Artificial Intelligence and Law 9, 115–152 (2001). https://doi.org/10.1023/A:1017993913369
Issue Date:
DOI: https://doi.org/10.1023/A:1017993913369