Skip to main content

Link with Existing Approaches

  • Chapter
  • First Online:
A General Framework for Reasoning On Inconsistency

Part of the book series: SpringerBriefs in Computer Science ((BRIEFSCOMPUTER))

  • 535 Accesses

Abstract

Many important works in inconsistency management have been developed in AI literature in the last three decades. In this chapter we revisit some of the most influential works in this area and analyze how our general framework relates to them, showing in some cases how the proposals correspond to special cases of our framework by defining adequate weakening mechanisms and preference relations.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 29.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 39.95
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    An AS is finite iff each argument is attacked by a finite number of arguments. It is infinite otherwise.

References

  • Amgoud L (2012) Stable semantics in logic-based argumentation. In: International conference on scalable uncertainty management (SUM), Marburg, pp 58–71

    Google Scholar 

  • Amgoud L, Besnard P (2010) A formal analysis of logic-based argumentation systems. In: International conference on scalable uncertainty management (SUM), Toulouse, pp 42–55

    Google Scholar 

  • Amgoud L, Cayrol C (2002) Inferring from inconsistency in preference-based argumentation frameworks. J Autom Reason 29(2):125–169

    Article  MathSciNet  MATH  Google Scholar 

  • Baroni P, Caminada M, Giacomin M (2011) An introduction to argumentation semantics. Knowl Eng Rev 26(4):365–410

    Article  Google Scholar 

  • Benferhat S, Cayrol C, Dubois D, Lang J, Prade H (1993) Inconsistency management and prioritized syntax-based entailment. In: International joint conference on artificial intelligence (IJCAI), Chambéry, pp 640–647

    Google Scholar 

  • Brewka G (1989) Preferred subtheories: an extended logical framework for default reasoning. In: International joint conference on artificial intelligence (IJCAI), Detroit, pp 1043–1048

    Google Scholar 

  • Cayrol C, Lagasquie-Schiex M (1995) Non-monotonic syntax-based entailment: a classification of consequence relations. In: Symbolic and quantitative approaches to reasoning and uncertainty (ECSQARU), Fribourg, pp 107–114

    Google Scholar 

  • Dung PM (1995) On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif Intell 77:321–357

    Article  MathSciNet  MATH  Google Scholar 

  • Hunter A (1998) Paraconsistent logics. In: Besnard P, Gabbay DM, Hunter A, Smets P (eds) Handbook of defeasible reasoning and uncertainty management systems, volume 2: reasoning with actual and potential contradictions, Kluwer, Dordrecht, pp 11–36

    Chapter  Google Scholar 

  • Nico R (1992) A logic for reasoning with inconsistent knowledge. Artif Intell 57(1):69–103

    Article  MathSciNet  MATH  Google Scholar 

  • Poole D (1988) A logical framework for default reasoning. Artif Intell 36(1):27–47

    Article  MathSciNet  MATH  Google Scholar 

  • Rescher N, Manor R (1970) On inference from inconsistent premises. Theory Decis 1:179–219

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

Copyright information

© 2013 The Author(s)

About this chapter

Cite this chapter

Martinez, M.V., Molinaro, C., Subrahmanian, V.S., Amgoud, L. (2013). Link with Existing Approaches. In: A General Framework for Reasoning On Inconsistency. SpringerBriefs in Computer Science. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-6750-2_5

Download citation

  • DOI: https://doi.org/10.1007/978-1-4614-6750-2_5

  • Published:

  • Publisher Name: Springer, New York, NY

  • Print ISBN: 978-1-4614-6749-6

  • Online ISBN: 978-1-4614-6750-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics