SEM6

Kapitel 6

0.0 (0)

Set of flashcards Details

Flashcards	11
Language	Deutsch
Category	Computer Science
Level	University
Created / Updated	18.12.2014 / 15.02.2015
Weblink	https://card2brain.ch/box/sem6
Embed	<iframe src="https://card2brain.ch/box/sem6/embed" width="780" height="150" scrolling="no" frameborder="0"></iframe>

Card list

woraus besteht das nicht-logische Inventar?

Keyboard commands:

= turn,

= for-/backward,

= scroll

Konstanten, Prädikate (einstellig)

(freie, verfügbare Symbole)

woraus besteht das logische Inventar?

Keyboard commands:

= turn,

= for-/backward,

= scroll

Junktoren: Negation, und, oder, Implikation

Quantoren

Variablen: x,y,z

(Hilfssymbole sind Klammern, Kommata)

was sind Terme?

Keyboard commands:

= turn,

= for-/backward,

= scroll

bestehen aus konstanten u. variablen (unklare Def. auf Folie)

was sind Formeln?

Keyboard commands:

= turn,

= for-/backward,

= scroll

alle möglichen Ausdrücke, die man mit dem Inventar erzeugen kann (meine eigene Def.)

was is eine interpretation einer prädikatenlogischen formel?

Keyboard commands:

= turn,

= for-/backward,

= scroll

eine Abbildung der frei verfügbaren Symbole auf passende Entitäten. Sie determiniert eindeutig den Wert einer Formel.

was sind logische Eigenschaften und Relationen? Nenne zusätzlich 3 Beispiele.

Keyboard commands:

= turn,

= for-/backward,

= scroll

- sie gelten in allen interpretationen (unabhängig von der interpretation)

- können durch Beweisverfahren (zB Resolution) hergestellt werden

- Tautologie (immer wahr)

- Kontradiktion (immer falsch)

- Folgerung ( A |= B) : immer wenn A wahr ist, ist auch B wahr

ist die prädikatenlogik semi-entscheidbar?

Keyboard commands:

= turn,

= for-/backward,

= scroll

ja, denn es gibt aufgaben, die man nicht in endlicher zeit lösen kann

nenne eigenschaften der bedeutung eines ausdrucks.

was is der typ eines ausdrucks?

was sind regeln?

Keyboard commands:

= turn,

= for-/backward,

= scroll

- beinhaltet einen eigentliche, inhaltlichen Beitrag

- weist (wohldef.) lücken auf, die der kontext spezifiziert

- beitrag u. lücken werden zu prädikatenlog. fragmenten zusammengesetzt.

typ eines ausdrucks: determiniert, welche lücken vom kontext zu füllen sind

regeln: determinieren, wie die lücken gefüllt werden

wie werden formeln und terme in PROLOG dargestellt?

wie werden variablen in PROLOG dargestellt?

wie werden junktoren in prolog dargestellt?

wie werden quantoren in prolog dargestellt?

wie werden konstanten und relationen in prolog dargestellt?

Keyboard commands:

= turn,

= for-/backward,

= scroll

- durch PROLOG-Terme

- durch PROLOG-Variablen

- &, v, ->, ~ für "und", "oder", "=>", Negation

- forall (X, F) heißt "für alle x gilt F", exists (X, F) heißt "es existiert ein X sodass F gilt"

- constant(laura), relation(junge, 1)

woraus ergibt sich die bedeutung eines komplexen ausdrucks?

Keyboard commands:

= turn,

= for-/backward,

= scroll

- aus der bedeutung der bestandteile und

- aus den (syntaktischen) beziehungen zwischen ihnen

was is die relevanz der syntax?

- träger von bedeutung sind syntaktische einheiten: Konstituenten

- syntaktische wohlgeformtheit ist ausgangspunkt der semantischen analyse (aber pragmatik kommt oft auch ohne syntax klar)

1 / 11

Card list

Study

SEM6

Create or copy sets of flashcards

Create or copy sets of flashcards

Log in to see all the cards.

SWITCHaai

Office 365

Edulog

Apple ID

Google