293017407

Rachunku zdań kontra logika predykatów pierwszego rzędu

Rachunek zdań:

Ograniczona ontologia - zakłada, że świat składa się tylko z faktów.

Logika predykatów pierwszego rzędu

Może wyrażać fakty o wszystkich obiektach w mikroświecie. Pozwala na reprezentowanie ogólnych reguł rządzących rzeczywistością.

Nie potrafi reprezentować kategorii, czasu czy zdarzeń (niekoniecznie).

Dowolność reprezentacji faktów.

Uniwersalna: może wyrazić wszystko, co da się zaprogramować.

Logika predykatów

Logika predykatów reprezentuje fakty o obiektach, tj. rzeczach o indywidualnej tożsamości i własnościach, które odróżniają je od innych obiektów.

Pomiędzy obiektami zachowywane są różne relacje. Wśród relacji wyróżnia się funkcje (relacje z jedną wartością dla danego wejścia).

Przykłady faktów:

Pola sąsiadujące z wumpusem cuchną: obiekty: wumpus, pole własność: cuchnie relacja: sąsiedni

Zły król Jan rządził Anglią w 1200. obiekty: Jan, Anglia, 1200 własność: zly, król

relacja: rządził (lub król jako relacja pomiędzy krajem i człowiekiem)