Skip to main content
Log in

Local Logics, Non-Monotonicity and Defeasible Argumentation

  • Published:
Journal of Logic, Language and Information Aims and scope Submit manuscript

Abstract

In this paper we present an embedding of abstract argumentation systems into the framework of Barwise and Seligman’s logic of information flow. We show that, taking P.M. Dung’s characterization of argument systems, a local logic over states of a deliberation may be constructed. In this structure, the key feature of non-monotonicity of commonsense reasoning obtains as the transition from one local logic to another, due to a change in certain background conditions. Each of Dung’s extensions of argument systems leads to a corresponding ordering of background conditions. The relations among extensions becomes a relation among partial orderings of background conditions. This introduces a conceptual innovation in Barwise and Seligman’s representation of commonsense reasoning.

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

Access this article

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

References

  • Barwise, J., 1999, “State spaces, local logics and non-monotonicity,” in Logic, Language and Computation, Vol. 2, L. Moss, J. Ginzburg, and M. de Rijke, eds., Stanford: CSLI Publications.

    Google Scholar 

  • Barwise, J. and Seligman, J., 1997, Information Flow: The Logic of Distributed Systems, Cambridge, MA: Cambridge University Press.

    Google Scholar 

  • Dung, P.M., 1995, “On the acceptability of arguments and its fundamental role in non-monotonic reasoning, logic programming, and n-person games,” Artificial Intelligence 77, 321–357.

    Google Scholar 

  • McCarthy, J., 1980, “Circumscription – A form of non-monotonic reasoning,” Artificial Intelligence 13, 27–39.

    Google Scholar 

  • McCarthy, J. and Hayes, P., 1969, “Some philosophical problems from the standpoint of artificial intelligence,” in Machine Intelligence 4, B. Meltzer and D. Mitchie, eds., Edimburg University Press.

  • McDermmot, J. and Doyle, J., 1980, “Non-monotonic Logic I,” Artificial Intelligence 13, 41–72.

    Google Scholar 

  • Lin, F. and Shoham, Y., 1989, “Argument systems: a uniform basis for nonmonotonic reasoning,” pp. 245–255 in Proceedings of the 1st International Conference on Knowledge Representation and Reasoning, San Mateo, CA: Morgan Kaufmann Publishers.

    Google Scholar 

  • Loui, R., 1987, “Defeat among arguments: a system of defeasible inference,” Computational Intelligence 3, 100–106.

    Google Scholar 

  • Loui, R., 1998, “Process and policy: resource-bounded non-demonstrative reasoning,” Computational Intelligence 14, 1–38.

    Google Scholar 

  • Pollock, J., 1987, “Defeasible reasoning,” Cognitive Science 11, 481–518.

    Google Scholar 

  • Poole, D., 1988, “A logical framework for default reasoning,” Artificial Intelligence 36, 27–47.

    Google Scholar 

  • Reiter, R., 1980, “A logic for default reasoning,” Artificial Intelligence 13, 81–132.

    Google Scholar 

  • Simari, G. and R. Loui, 1992 “A mathematical treatment of defeasible reasoning and its implementation,” Artificial Intelligence 53, 125–157.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Gustavo A. Bodanza.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bodanza, G.A., Tohmé, F.A. Local Logics, Non-Monotonicity and Defeasible Argumentation. J Logic Lang Inf 14, 1–12 (2005). https://doi.org/10.1007/s10849-005-4510-2

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10849-005-4510-2

Keywords

Navigation