Sztuczna inteligencja symboliczna
Definition
Sztuczna inteligencja symboliczna, często nazywana GOFAI (Good Old-Fashioned AI), polega …
Logic
Terms tagged with Logic
Statystyczne uczenie relacyjne
Definition
Statystyczne uczenie relacyjne (SRL) łączy teorię prawdopodobieństwa ze strukturami …
Logika STIT
Definition
STIT to skrót od ‘See To It That’ (Upewnij się, że…). Jest to gałąź …
Model rozumowania
Definition
W przeciwieństwie do standardowych modeli generacyjnych skupiających się na płynności, …
Rozwiązywanie problemów
Definition
W sztucznej inteligencji rozwiązywanie problemów odnosi się do systematycznego podejścia …
System rekomendacyjny oparty na wiedzy
Definition
W przeciwieństwie do filtrowania kolaboratywnego, które opiera się na przeszłych …
Kompilacja wiedzy
Definition
Kompilacja wiedzy odnosi się do technik sztucznej inteligencji, które konwertują bazę …
Prawdopodobieństwo Indukcyjne
Definition
Prawdopodobieństwo indukcyjne kwantyfikuje, jak prawdopodobne jest prawdziwe stwierdzenie …
Twierdzenie o separacji Gabbaya
Definition
Twierdzenie o separacji Gabbaya to fundamentalna koncepcja w logice matematycznej, …
GOLOG
Definition
GOLOG to język programowania oparty na logice, używany głównie w sztucznej inteligencji …
Epistemiczna logika modalna
Definition
Epistemiczna logika modalna rozszerza klasyczną logikę o operatory oznaczające, co wie …
Dynamyczna logika epistemiczna
Definition
Dynamiczna logika epistemiczna (DEL) rozszerza logikę modalną o modelowanie ewolucji …
Kalculus atrybucyjny
Definition
Kalculus atrybucyjny to gałąź logiki modalnej skupiająca się na wnioskowaniu o stanach …
Ramy argumentacyjne
Definition
Ramy argumentacyjne dostarczają matematycznej podstawy do reprezentowania argumentów, …
Logika agencji
Definition
Rozszerza ona tradycyjną logikę o aspekt agencji, pozwalając systemom reprezentować …
Reasoning
Definition
W sztucznej inteligencji reasoning obejmuje algorytmy symulujące dedukcję logiczną, …
Planowanie
Definition
Planowanie w sztucznej inteligencji obejmuje określenie sekwencji działań, które …
wielokrokowy
Definition
Metody wielokrokowe polegają na rozkładaniu złożonych zapytań lub zadań na mniejsze, …
pierwszego rzędu
Definition
W sztucznej inteligencji i matematyce termin “pierwszego rzędu” opisuje …
Unlike
Definition
W zapytaniach do baz danych i logice termin ‘Unlike’ odnosi się zazwyczaj do …
Zadany / Dane
Definition
W kontekście sztucznej inteligencji i informatyki termin ‘given’ …
Decyzja
Definition
Proces podejmowania decyzji w AI polega na wyborze optymalnego działania z zestawu …