-
Data: 2012-09-10 13:22:58
Temat: Re: Prolog - nawracanie - jak jest implementowane
Od: n...@m...invalid szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]W dniu 10.09.2012 r. 1:38, A.L. pisze:
> On Sun, 09 Sep 2012 23:59:58 +0200, n...@m...invalid wrote:
>
>> W dniu 8.09.2012 r. 21:41, Sebastian Biały pisze:
>>> Nadszedł ten moment kiedy czas na Prolog...
>>>
>>> Ze względow praktycznych nie mogę tego zrobić za pomocą języka wprost.
>>> Konkretnie nie mogę mojej bazy wiedzy skonwertować do postaci prologowej
>>> bo zajmie to za duzo czasu (a i parsowanie potrwa wieki). Wolałbym zeby
>>> móc operować na moich strukturach danych bezposrednio.
>>>
>>> Przypuszczam że jak poszukam czegoś w rodzaju "embedded prolog" to będe
>>> mogł zrobić abstrakcję na dane i niczego nie konwertować.
>>>
>>> Jednak zanim to zrobie nurtuje mnie mały problem: nawracanie.
>>>
>>> Jak czytam dowolną ksiązkę o Prologu i autor dochodzi do problemu
>>> nawracania to ani słowem nie wspomina że to powoduje coś na kształt
>>> ekplozji kobinatorycznej. Konkretnie pewne dane są wyszukiwane w sposób
>>> naiwny, czymś w rodzaju brute-force wielokronie przeczesując tą samą
>>> przestrzeń faktów. Cieżko mi uwierzyć że tak wyglądają implementacje
>>> Prologa jak opisywany jest algorytm.
>>>
>>> Głupi pomysł: zrobmy wyszukiwanie w mojej bazie typu Prolog-like. Język
>>> i składnie pomińmy, chodzi o koncepcje zmiennych, ukonkretniania,
>>> nawracania itp. Gdzie mogę poczytać o *algorytmach* rozwiązywania
>>> zapytań w Prologu? Nie wierzę, że jest aż tak prymitywny jak opisywane w
>>> książkach metody brute-force.
>>>
>>> Oczywiście wiem co wypluwa google na hasło "prolog solver" ale może ktoś
>>> zna jakiś ciekawy tekst, może być "popularnonaukowy" opisujacy co i jak
>>> w sposób mozliwe ogólny pozwalający zorientowac się w temacie.
>> Poczytaj o propagacjach i dystrybucjach w Oz. Także por. search
>> strategies Mozart/Oz:
>> <http://www.mozart-oz.org/documentation/tutorial/nod
e12.html#chapter.lp>, p.
>> 12.7
>> --HTH
>
> A ty pzreczytales? Bo to akurat ma malo wspolnego z oryginalnym
> pytaniem...
Mało tego, że tylko pobieżnie -- wysłałem, nim zorientowałem się, że
wątek się rozwinął i dał lepsze odpowiedzi. Canceluję.
Następne wpisy z tego wątku
- 10.09.12 15:45 A.L.
Najnowsze wątki z tej grupy
- Nowa ustawa o ochronie praw autorskich - opis problemu i szkic ustawy
- Alg. kompresji LZW
- Popr. 14. Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- Arch. Prog. Nieuprzywilejowanych w pełnej wer. na nowej s. WWW energokod.pl
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
Najnowsze wątki
- 2025-03-16 Nowa ustawa o ochronie praw autorskich - opis problemu i szkic ustawy
- 2025-03-16 Nowa ustawa o ochronie praw autorskich - opis problemu i szkic ustawy
- 2025-03-16 Najlepszy akumulator 12V
- 2025-03-16 Co powinno spotkać "adwokatów dwóch" uczestniczących w przesłuchaniu świadka do którego nie dopuszczono adwokata świadka?
- 2025-03-16 Przednich p-mgielnych nie wolno bez mgły
- 2025-03-16 Co w KANADZIE wolno komercyjnie (na razie się nie czepili?)
- 2025-03-16 silnik-chwilówka
- 2025-03-16 Prokurator Wrzosek "Bezstronna" nie przyczynia się do śmierci (dowodnie) - oświadcza bodnatura [Dwie Kacze Wieże]
- 2025-03-15 kraje nieprzyjazne samochodom
- 2025-03-15 parking Auchan
- 2025-03-15 Art. 19.1 ustawy o ochronie praw autorskich
- 2025-03-15 przegląd za mną
- 2025-03-15 Na co komu okna
- 2025-03-15 Mój elektryk
- 2025-03-15 Fejk muzyczny czy nie fejk