Podcast
Questions and Answers
𝛼 ⊨ 𝛽 ⇔ 𝑀(𝛽) ⊆ 𝑀(𝛼)
𝛼 ⊨ 𝛽 ⇔ 𝑀(𝛽) ⊆ 𝑀(𝛼)
False
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
Wenn 𝛼⊨𝛽 und 𝛽⊨𝛼, dann 𝑀(𝛼)=𝑀(𝛽).
Wenn 𝛼⊨𝛽 und 𝛽⊨𝛼, dann 𝑀(𝛼)=𝑀(𝛽).
Signup and view all the answers
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.
Signup and view all the answers
Wählen Sie alle korrekten Inferenzregeln aus.
Select all correct inference rules.
Wählen Sie alle korrekten Inferenzregeln aus.
Select all correct inference rules.
Signup and view all the answers
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
Signup and view all the answers
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?
Signup and view all the answers
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).
Signup and view all the answers
