Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
KI - Künstliche Intelligenz
Published in: KI - Künstliche Intelligenz 1/2017

02-01-2017 | Survey

Many Facets of Reasoning Under Uncertainty, Inconsistency, Vagueness, and Preferences: A Brief Survey

Authors: Gabriele Kern-Isberner, Thomas Lukasiewicz

Published in: KI - Künstliche Intelligenz | Issue 1/2017

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

In this paper, we give an introduction to reasoning under uncertainty, inconsistency, vagueness, and preferences in artificial intelligence (AI), including some historic notes and a brief survey to previous approaches.
previous article Special Issue on Challenges for Reasoning under Uncertainty, Inconsistency, Vagueness, and Preferences
next article Polynomial Algorithms for Computing a Single Preferred Assertional-Based Repair

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

KI - Künstliche Intelligenz

The Scientific journal "KI – Künstliche Intelligenz" is the official journal of the division for artificial intelligence within the "Gesellschaft für Informatik e.V." (GI) – the German Informatics Society - with constributions from troughout the field of artificial intelligence.

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
Show more products
Literature
1.
Alchourrón C, Gärdenfors P, Makinson D (1985) On the logic of theory change: partial meet contraction and revision functions. J Symb Logic 50(2):510–530MathSciNetCrossRefMATH
2.
3.
Arenas M, Bertossi LE, Chomicki J (1999) Consistent query answers in inconsistent databases. In: Proc. of PODS, pp 68–79
4.
Baader F, Borgwardt S, Peñaloza R (2015) On the decidability status of fuzzy \({\cal{ALC}}\) with general concept inclusions. J Philos Logic 44(2):117–146
5.
Bell DA, Qi G, Liu W (2007) Approaches to inconsistency handling in description-logic based ontologies. In: OTM workshops, (2), pp 1303–1311
6.
7.
Bienvenu M (2011) First-order expressibility results for queries over inconsistent DL-Lite knowledge bases. In: Proc. of DL
8.
Bienvenu M (2012) On the complexity of consistent query answering in the presence of simple ontologies. In: Proc. of AAAI, pp 705–711
9.
Borgida A, Walsh TJ, Hirsh H (2005) Towards measuring similarity in description logics. In: Proc. of DL
10.
Brewka G, Ellmauthaler S, Gonçalves R, Knorr M, Leite J, Pührer J (2016) Inconsistency management in reactive multi-context systems. In: Proc. of JELIA, pp 529–535
11.
Chomicki J (2007) Consistent query answering: five easy pieces. In: Proc. of ICDT, pp 1–17
12.
da Costa PCG, Laskey KB (2006) PR-OWL: a framework for probabilistic ontologies. In: Proc. of FOIS, pp 237–249
13.
Dubois D, Prade H (1994) Can we enforce full compositionality in uncertainty calculi? In: Proc. of AAAI, pp 149–154
14.
Dubois D, Prade H (2001) Possibility theory, probability theory and multiple-valued logics: a clarification. Ann Math Artif Intell 32(1–4):35–66MathSciNetCrossRefMATH
15.
Dung P (1995) On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif Intell 77:321–357MathSciNetCrossRefMATH
16.
17.
Gärdenfors P (1988) Knowledge in flux: modeling the dynamics of epistemic states. MIT Press, CambridgeMATH
18.
Gärdenfors P (1992) Belief revision and nonmonotonic logic: two sides of the same coin? In: Proc. of ECAI, pp 768–773
19.
Gärdenfors P, Makinson D (1988) Revisions of knowledge systems using epistemic entrenchment. In: Proc. of TARK, pp 83–95
20.
Gebser M, Kaminski R, Kaufmann B, Schaub T (2013) Answer set solving in practice. Morgan and Claypool, San RafaelMATH
21.
22.
Haase P, Harmelen FV, Huang Z, Stuckenschmidt H, Sure Y (2005) A framework for handling inconsistency in changing ontologies. In: Proc. of ISWC, pp 353–367
23.
24.
Heinsohn J (1994) Probabilistic description logics. In: Proc. of UAI, pp 311–318
25.
Horrocks I, Sattler U, Tobies S (2000) Reasoning with individuals for the description logic \({\cal{SHIQ}}\). In: Proc. of CADE, pp 482–496
26.
Jaeger M (1994) Probabilistic reasoning in terminological logics. In: Proc. of KR, pp 305–316
27.
Jaynes E (1983) Papers on probability, statistics and statistical physics. D. Reidel Publishing Company, DordrechtMATH
28.
Jung JC, Lutz C (2012) Ontology-based access to probabilistic data with OWL QL. In: Proc. of ISWC, part I, pp 182–197
29.
Kern-Isberner G (2001) Conditionals in nonmonotonic reasoning and belief revision. In: LNAI 2087. Springer, Berlin
30.
Kern-Isberner G (2004) A thorough axiomatization of a principle of conditional preservation in belief revision. Ann Math Artif Intell 40(1/2):127–164MathSciNetCrossRefMATH
31.
Koller D, Levy A, Pfeffer A (1997) P-Classic: a tractable probabilistic description logic. In: Proc. of AAAI, pp 390–397
32.
33.
34.
Lembo D, Lenzerini M, Rosati R, Ruzzi M, Savo DF (2010) Inconsistency-tolerant semantics for description logics. In: Proc. of RR, pp 103–117
35.
Lembo D, Lenzerini M, Rosati R, Ruzzi M, Savo DF (2011) Query rewriting for inconsistent DL-Lite ontologies. In: Proc. of RR, pp 155–169
36.
Leone N, Eiter T, Faber W, Calimeri F, Dell’Armi T, Eiter T, Gottlob G, Ianni G, Ielpa G, Koch C, Perri S, Polleres A (2002) The DLV system. In: Proc. of JELIA, pp 537–540
37.
38.
Lukasiewicz T, Martinez MV, Simari GI (2012) Inconsistency handling in Datalog+/– ontologies. In: Proc. of ECAI, pp 558–563
39.
Lukasiewicz T, Straccia U (2008) Managing uncertainty and vagueness in description logics for the Semantic Web. J Web Semant 6(4):291–308CrossRef
40.
Lutz C, Schröder L (2010) Probabilistic description logics for subjective uncertainty. In: Proc. of KR, pp 393–403
41.
Maedche A, Staab S (2002) Measuring similarity between ontologies. In: Proc. of EKAW, pp 251–263
42.
Maier F, Ma Y, Hitzler P (2013) Paraconsistent OWL and related logics. Semant Web 4(4):395–427
43.
Makinson D (1989) General theory of cumulative inference. In: Proc. of NMR, pp 1–18
44.
45.
Moore R (1985) A formal theory of knowledge and action. In: Hobbs J, Moore R (eds) Formal theories of the commonsense world. Ablex Publishing Corporation, Norwood, pp 319–358
46.
Neves R, Bonnefon J, Raufaste E (2002) An empirical test of patterns for nonmonotonic inference. Ann Math Artif Intell 34(1–3):107–130MathSciNetCrossRefMATH
47.
Nguyen LA, Szalas A (2010) Three-valued paraconsistent reasoning for semantic web agents. In: Proc. of KES-AMSTA, pp 152–162
48.
Paris J (1994) The uncertain reasoner’s companion—a mathematical perspective. Cambridge University Press, Cambridge
49.
50.
51.
Rosati R (2011) On the complexity of dealing with inconsistency in description logic ontologies. In: Proc. of IJCAI, pp 1057–1062
52.
Spohn W (1988) Ordinal conditional functions: a dynamic theory of epistemic states. In: Harper W, Skyrms B (eds) Causation in decision, belief change, and statistics, II. Kluwer Academic Publishers, Dordrecht, pp 105–134
53.
Spohn W (2012) the laws of belief: ranking theory and its philosophical applications. Oxford University Press, Oxford
54.
55.
56.
Tresp C, Molitor R (1998) A description logic for vague knowledge. In: Proc. of ECAI, pp 361–365
57.
van der Torre LWN (1999) Defeasible goals. In: Proc. of ECSQARU, pp 274–385
58.
Yen J (1991) Generalizing term subsumption languages to fuzzy logic. In: Proc. of IJCAI, pp 472–477
59.
Metadata
Title
Many Facets of Reasoning Under Uncertainty, Inconsistency, Vagueness, and Preferences: A Brief Survey
Authors
Gabriele Kern-Isberner
Thomas Lukasiewicz
Publication date
02-01-2017
Publisher
Springer Berlin Heidelberg
Published in
KI - Künstliche Intelligenz / Issue 1/2017
Print ISSN: 0933-1875
Electronic ISSN: 1610-1987
DOI
https://doi.org/10.1007/s13218-016-0480-6

Other articles of this Issue 1/2017

KI - Künstliche Intelligenz 1/2017 Go to the issue

Technical Contribution

Reasoning about Imprecise Beliefs in Multi-Agent Systems with PDT Logic

Community

News

Technical Contribution

On the Compliance of Rationality Postulates for Inconsistency Measures: A More or Less Complete Picture

Technical Contribution

Polynomial Algorithms for Computing a Single Preferred Assertional-Based Repair

Editorial

Special Issue on Challenges for Reasoning under Uncertainty, Inconsistency, Vagueness, and Preferences

Research Project

The Tweety Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation

Premium Partner

    Image Credits