U3

Question 1

Co to percepty?

Answer 1

Dane o środowisku otrzymywane za pomocą receptorów agenta.

Question 2

Co to Termy?

Answer 2

W języku logiki reprezentują one obiekty i mogą one być:

• stałymi (oznaczają konkretny obiekt) - wielkie litery
• zmiennymi (mogą przybierać wartości różnych obiektów) - małe
• funkcjami (wyznaczają obiekt na podstawie wartości argumentów)

Question 3

Co to predykaty?

Answer 3

Reprezentują relacje na zbiorze termów. Możemy je traktować jako funkcje mające wartość prawdy lub fałszu, które przypisują prawdę każdej n-ce termów spełniających relacje, a fałsz każdej n-ce nie spełniającej.

Question 4

Co to formuła atomowa?

Answer 4

Zapis predykatu z zestawem termów.

Question 5

Wartościowanie formuły logicznej - definicja

Answer 5

Formuły logiczne możemy jedynie wartościować, tzn. wyznaczać ich wartość logiczną (prawda lub fałsz).
Gdy formuła zawiera zmienną to często nie da się wyznaczyć jej wartości logicznej.

Question 6

Co to konceptualizacja?

Answer 6

Wybór zestawu symboli którymi zamierzamy opisać obiekty i relacje pewnego świata. Od przyjętej konceptualizacji może zależeć łatwość a nawet możliwość wyrażenia różnych faktów o dziedzinie problemowej.

Question 7

W jaki sposob możemy tworzyć formuły złozone jezyka predykatow

Answer 7

Formuły złożone języka predykatów pierwszego rzędu można konstruować za pomocą spójników logicznych takich jak: ¬,∧,∨, ⇒,⇔.

Question 8

Co nazywamy literałem?

Answer 8

Szczególny przypadek formuły który jest formułą atomową lub negacją formuły atomowej.

Question 9

Wyjaśnij pojęcia aksjomat świata

Answer 9

Fakty ogólnie słuszne w danej dziedzinie problemowej.

Question 10

Co to fakty incydentalne?

Answer 10

Fakty opisujące stan konkretnej instancji problemu.

Question 11

Co to kwantyfikatory?

Answer 11

Kwantyfikatory (∀, ∃) wiążą zmienne w formułach. Za ich pomocą można również budować formuły złożone.
Zdaniem nazywamy formułę bez wolnych zmiennych.

Question 12

Co to interpretacja w kontekście semantyki

Answer 12

Przypisanie syntaktycznym elementów języka predykatów (termom i predykatom) obiektów z jakiejś konkretnej dziedziny (świata).

Question 13

Co nazywamy modelem?

Answer 13

Interpretację przypisującą danej formule wartość logiczną prawdy nazywamy interpretacją spełniającą lub modelem tej formuły.

Question 14

Co to formula spelnialna

Answer 14

Formułę nazywamy spełnialną jeśli istnieje interpretacja spełniająca, czyli przypisująca jej wartość prawdy logicznej (jeśli istnieje model tej formuły).

Question 15

Co to formuła Niespełnialna

Answer 15

Formuła jest niespełnialna jeśli nie istnieje żadna spełniająca ją interpretacja (model).

Question 16

Co to tautologia

Answer 16

Jeśli formuła ma wartość prawdy dla każdej możliwej interpretacji nazywamy ją tautologią lub formułą prawdziwą. Przykładem tautologii może być formuła: P∨¬P