Gundlagen der Künstlichen Intelligenz an der TU München

Karteikarten und Zusammenfassungen für Gundlagen der Künstlichen Intelligenz an der TU München

Arrow Arrow

Komplett kostenfrei

studysmarter schule studium
d

4.5 /5

studysmarter schule studium
d

4.8 /5

studysmarter schule studium
d

4.5 /5

studysmarter schule studium
d

4.8 /5

Lerne jetzt mit Karteikarten und Zusammenfassungen für den Kurs Gundlagen der Künstlichen Intelligenz an der TU München.

Beispielhafte Karteikarten für Gundlagen der Künstlichen Intelligenz an der TU München auf StudySmarter:

What is the performance of Inference by enumeration?

Beispielhafte Karteikarten für Gundlagen der Künstlichen Intelligenz an der TU München auf StudySmarter:

Arc consistency of a variable 

Beispielhafte Karteikarten für Gundlagen der Künstlichen Intelligenz an der TU München auf StudySmarter:

Define synatx


Das war nur eine Vorschau der Karteikarten auf StudySmarter.
Flascard Icon Flascard Icon

Über 50 Mio Karteikarten von Schülern erstellt

Flascard Icon Flascard Icon

Erstelle eigene Karteikarten in Rekordzeit

Flascard Icon Flascard Icon

Kostenlose Karteikarten zu STARK Inhalten

Kostenlos anmelden

Beispielhafte Karteikarten für Gundlagen der Künstlichen Intelligenz an der TU München auf StudySmarter:

Initialization of the Arc consistency algorithm

Beispielhafte Karteikarten für Gundlagen der Künstlichen Intelligenz an der TU München auf StudySmarter:

What simplifies a problem drastically?

Beispielhafte Karteikarten für Gundlagen der Künstlichen Intelligenz an der TU München auf StudySmarter:

How can one retrieve a nearly tree-structured CSP? (2 options)

Beispielhafte Karteikarten für Gundlagen der Künstlichen Intelligenz an der TU München auf StudySmarter:

Assume (A,B) was added to the the arc consistency queue. Which variable was just assigned a value and why?

Das war nur eine Vorschau der Karteikarten auf StudySmarter.
Flascard Icon Flascard Icon

Über 50 Mio Karteikarten von Schülern erstellt

Flascard Icon Flascard Icon

Erstelle eigene Karteikarten in Rekordzeit

Flascard Icon Flascard Icon

Kostenlose Karteikarten zu STARK Inhalten

Kostenlos anmelden

Beispielhafte Karteikarten für Gundlagen der Künstlichen Intelligenz an der TU München auf StudySmarter:

Define semantics

Beispielhafte Karteikarten für Gundlagen der Künstlichen Intelligenz an der TU München auf StudySmarter:

Define model 

Beispielhafte Karteikarten für Gundlagen der Künstlichen Intelligenz an der TU München auf StudySmarter:

Define Satisfaction

Beispielhafte Karteikarten für Gundlagen der Künstlichen Intelligenz an der TU München auf StudySmarter:

Define entailment

Das war nur eine Vorschau der Karteikarten auf StudySmarter.
Flascard Icon Flascard Icon

Über 50 Mio Karteikarten von Schülern erstellt

Flascard Icon Flascard Icon

Erstelle eigene Karteikarten in Rekordzeit

Flascard Icon Flascard Icon

Kostenlose Karteikarten zu STARK Inhalten

Kostenlos anmelden

Beispielhafte Karteikarten für Gundlagen der Künstlichen Intelligenz an der TU München auf StudySmarter:

What is inference (Schlussfolgerung)? When can it be applied?

Kommilitonen im Kurs Gundlagen der Künstlichen Intelligenz an der TU München. erstellen und teilen Zusammenfassungen, Karteikarten, Lernpläne und andere Lernmaterialien mit der intelligenten StudySmarter Lernapp. Jetzt mitmachen!

Jetzt mitmachen!

Flashcard Flashcard

Beispielhafte Karteikarten für Gundlagen der Künstlichen Intelligenz an der TU München auf StudySmarter:

Gundlagen der Künstlichen Intelligenz

What is the performance of Inference by enumeration?

                                               

If KB and α contain n symbols, there are 2n models. Thus, the time complexity of enumeration is O(2n).

                   

The space complexity is only O(n) because the enumeration is depth-first.

                   

Later we show algorithms that are more efficient on average. However, propositional entailment is co-NP-complete, so every known inference algorithm is exponential in the size of the input.

                                       

Gundlagen der Künstlichen Intelligenz

Arc consistency of a variable 

                                                                       

Variable Xi is arc-consistent with variable Xj , if for every value in the domain Di there exists a value in Dj satisfying the binary constraint of the arc (Xi,Xj).

                       

Example: X is arc-consistent with Y for the constraint Y = X 2 if DX = {0,1,2,3} and DY = {0,1,2,3,4,5,6,7,8,9}, but Y is not arc-consistent with X (direction of the arc matters).

                                                           

Gundlagen der Künstlichen Intelligenz

Define synatx


                                                                       

Specifies how correct sentences are formed, e.g., x + y = 4 is well-formed, while x4y+ = is not.

                                                           

Gundlagen der Künstlichen Intelligenz

Initialization of the Arc consistency algorithm

                                               

  • after each assignment: after assigning variable Xi , add the arcs(Xj , Xi ) to queue, where Xj are all unassigned neighbors of Xi . 
  • as pre-processing: add all arcs of the CSP to queue.

                                       

Gundlagen der Künstlichen Intelligenz

What simplifies a problem drastically?

Identification of independent subproblems

-> can be solved in linear time

Gundlagen der Künstlichen Intelligenz

How can one retrieve a nearly tree-structured CSP? (2 options)

1. Conditioning

2. Tree decomposition

Gundlagen der Künstlichen Intelligenz

Assume (A,B) was added to the the arc consistency queue. Which variable was just assigned a value and why?

Variable B, because A all domain values of A have to be arc consistent with the domain values of b. The other way

Gundlagen der Künstlichen Intelligenz

Define semantics

                                                                       

The semantics defines the meaning of sentences, i.e., when a sentence is true. For instance, x + y = 4 is true for x = y = 2 and false for x = y = 1

                                                           

Gundlagen der Künstlichen Intelligenz

Define model 

                                                                       

Models are differently defined depending on the discipline. Here, models are instances which evaluate sentences to true or false. For instance, we have x men and y women playing a card game, then the sentence
x + y = 4 is true for the models x = 4, y = 0; x = 3, y = 1; and so on.

                                                           

Gundlagen der Künstlichen Intelligenz

Define Satisfaction

                                                                       

If a sentence α is true in model m, we say that m satisfies α. We use the notation M(α) to mean the set of all models of α.

                                                           

Gundlagen der Künstlichen Intelligenz

Define entailment

                                                         sentence a is a consequence of b

Entailment is the relationship between two sentences where the truth of one sentence requires the truth of the other sentence, which is written as

                       

α |= β
if α entails β. Formally, entailment is defined as

                       

α |= β if and only if M(α) ⊆ M(β). For instance, the sentence x = 0 entails xy = 0.

                                                           

Gundlagen der Künstlichen Intelligenz

What is inference (Schlussfolgerung)? When can it be applied?

Act or process of deriving logical conclusions from known premises.

                                                                     

1. After each assignment: see Inference() in backtracking algorithm. 

2. As pre-processing: before applying the backtracking algorithm.

                                                           

                                                           

Melde dich jetzt kostenfrei an um alle Karteikarten und Zusammenfassungen für Gundlagen der Künstlichen Intelligenz an der TU München zu sehen

Singup Image Singup Image
Wave

Andere Kurse aus deinem Studiengang

Für deinen Studiengang Gundlagen der Künstlichen Intelligenz an der TU München gibt es bereits viele Kurse auf StudySmarter, denen du beitreten kannst. Karteikarten, Zusammenfassungen und vieles mehr warten auf dich.

Zurück zur TU München Übersichtsseite

IT Wissen + NW-Technik

RVL 2: Die Menschheit retten? Packen wir's an!

Einführung in die Rechnerarchitektur

Frances 1

Grundlagen Betriebssysteme und Systemsoftware

Leadership

Künstliche Intelligenz an der

Universität zu Lübeck

Intelligenz an der

Universität Marburg

Künstliche Intelligenz in der Fahrzeugtechnik an der

TU München

Einführung in die Künstliche Intelligenz an der

Technische Hochschule Deggendorf

Grundlagen der künstlichen Intelligenz an der

TU München

Ähnliche Kurse an anderen Unis

Schau dir doch auch Gundlagen der Künstlichen Intelligenz an anderen Unis an

Zurück zur TU München Übersichtsseite

Was ist StudySmarter?

Was ist StudySmarter?

StudySmarter ist eine intelligente Lernapp für Studenten. Mit StudySmarter kannst du dir effizient und spielerisch Karteikarten, Zusammenfassungen, Mind-Maps, Lernpläne und mehr erstellen. Erstelle deine eigenen Karteikarten z.B. für Gundlagen der Künstlichen Intelligenz an der TU München oder greife auf tausende Lernmaterialien deiner Kommilitonen zu. Egal, ob an deiner Uni oder an anderen Universitäten. Hunderttausende Studierende bereiten sich mit StudySmarter effizient auf ihre Klausuren vor. Erhältlich auf Web, Android & iOS. Komplett kostenfrei. Keine Haken.

Awards

Bestes EdTech Startup in Deutschland

Awards
Awards

European Youth Award in Smart Learning

Awards
Awards

Bestes EdTech Startup in Europa

Awards
Awards

Bestes EdTech Startup in Deutschland

Awards
Awards

European Youth Award in Smart Learning

Awards
Awards

Bestes EdTech Startup in Europa

Awards
X

StudySmarter - Die Lernplattform für Studenten

StudySmarter

4.5 Stars 1100 Bewertungen
Jetzt entdecken
X

Gute Noten in der Uni? Kein Problem mit StudySmarter!

89% der StudySmarter Nutzer bekommen bessere Noten in der Uni.

50 Mio Karteikarten & Zusammenfassungen
Erstelle eigene Lerninhalte mit Smart Tools
Individueller Lernplan & Statistiken


Lerne mit über 1 Millionen Nutzern in der kostenlosen StudySmarter App.

Du bist schon registriert? Hier geht‘s zum Login