Podcast
Questions and Answers
𝛼 ⊨ 𝛽 ⇔ 𝑀(𝛽) ⊆ 𝑀(𝛼)
𝛼 ⊨ 𝛽 ⇔ 𝑀(𝛽) ⊆ 𝑀(𝛼)
False (B)
Angenommen, wir verwenden die Modellprüfung als Inferenzalgorithmus, um zu entscheiden, ob eine Implikation in einer Situation mit 9 propositionalen Symbolen gilt. Wie viele Modelle werden bei der Modellprüfung ausgewertet?
Assume that we use model checking as an inference algorithm for deciding whether some entailment holds in a setting with 9 propositional symbols. How many models will model checking assess?
Angenommen, wir verwenden die Modellprüfung als Inferenzalgorithmus, um zu entscheiden, ob eine Implikation in einer Situation mit 9 propositionalen Symbolen gilt. Wie viele Modelle werden bei der Modellprüfung ausgewertet?
Assume that we use model checking as an inference algorithm for deciding whether some entailment holds in a setting with 9 propositional symbols. How many models will model checking assess?
512
Aus einem gegebenen Satz kann ein vollständiger Inferenzalgorithmus jeden implizierten Satz ableiten.
Given a sentence, a complete inference algorithm can derive any entailed sentence.
Aus einem gegebenen Satz kann ein vollständiger Inferenzalgorithmus jeden implizierten Satz ableiten.
Given a sentence, a complete inference algorithm can derive any entailed sentence.
True (A)
Wenn 𝛼⊨𝛽 und 𝛽⊨𝛼, dann 𝑀(𝛼)=𝑀(𝛽).
Wenn 𝛼⊨𝛽 und 𝛽⊨𝛼, dann 𝑀(𝛼)=𝑀(𝛽).
Ein Inferenzalgorithmus ist gültig, wenn er alle möglichen Sätze ableitet.
An inference algorithm is sound if it derives all possible sentences.
Ein Inferenzalgorithmus ist gültig, wenn er alle möglichen Sätze ableitet.
An inference algorithm is sound if it derives all possible sentences.
Wählen Sie alle korrekten Inferenzregeln aus.
Select all correct inference rules.
Wählen Sie alle korrekten Inferenzregeln aus.
Select all correct inference rules.
Vervollständigen Sie den Pseudocode für einen generischen wissensbasierten Agenten.
Complete the pseudo code for a generic knowledge based agent.
def KB_agent(percept):
global kb # knowledge base
global t # counter
Vervollständigen Sie den Pseudocode für einen generischen wissensbasierten Agenten.
Complete the pseudo code for a generic knowledge based agent.
def KB_agent(percept): global kb # knowledge base global t # counter
Betrachten Sie eine Wissensbasis, die nur den Satz 𝐵2,1⇔(𝑃1,1∨𝑃2,2∨𝑃3,1) enthält. Erfüllt das Modell 𝑚={𝐵2,1=false,𝑃1,1=false,𝑃2,2=true,𝑃3,1=false} die Wissensbasis?
Consider a knowledge base containing only the sentence 𝐵2,1⇔(𝑃1,1∨𝑃2,2∨𝑃3,1). Does the model 𝑚={𝐵2,1=false,𝑃1,1=false,𝑃2,2=true,𝑃3,1=false} satisfy the knowledge base?
Betrachten Sie eine Wissensbasis, die nur den Satz 𝐵2,1⇔(𝑃1,1∨𝑃2,2∨𝑃3,1) enthält. Erfüllt das Modell 𝑚={𝐵2,1=false,𝑃1,1=false,𝑃2,2=true,𝑃3,1=false} die Wissensbasis?
Consider a knowledge base containing only the sentence 𝐵2,1⇔(𝑃1,1∨𝑃2,2∨𝑃3,1). Does the model 𝑚={𝐵2,1=false,𝑃1,1=false,𝑃2,2=true,𝑃3,1=false} satisfy the knowledge base?
Beim Beweisen von Theoremen werden Inferenzregeln auf gegebene Sätze angewendet, um einen gewünschten Satz zu beweisen (wenn möglich).
Theorem proving applies rules of inference to given sentences to prove a desired sentence (if possible).
Beim Beweisen von Theoremen werden Inferenzregeln auf gegebene Sätze angewendet, um einen gewünschten Satz zu beweisen (wenn möglich).
Theorem proving applies rules of inference to given sentences to prove a desired sentence (if possible).
Flashcards
Capital of France (example flashcard)
Capital of France (example flashcard)
Paris
