Mam takie zagadnienie abstrakcyjne.

Jest baza faktów. Ma ona budowę bardziej hierarchiczną niż typowe
tabelki. Obrazowo mogę ją mniej więcej przedstawić tak:

a) Są domy
b) W domach siedzą ludzie w róznych ilościach
c) Ludzie mają znajomych ludzi (relacje jeden-do-wielu)
d) Ludzie siedzą u siebie, u znajomych, na ulicy
e) Ludzie mają różne dobra
f) Ludzie czasem są rodzinami, mają przodków, dzieci itd
g) Ludzie współdzielą dobra w rodzinie i nie tylko
h) Dobra naleą do wielu kategorii
....
Można tak dużo pisać. Baza ba bardzo wiele ukrytych relacji
hierachicznych typu "dziadek sąsiada co ma telewizor pacujący z moją
matką ma na imię Heniek".

Potrzebuje przekopać taką bazę pod kontem zapytań w stylu:
"Ilu moich sąsiadów ma tostery?"
"Kim jest ten koleś co ma psa i pracuje z moją ciotką?"
"Kto był wczoraj na imprezie łysego w okularach?"
"Czy którykolwiek z informatyków ma dziewczynę?"
"Czy ta dziewczyna z domu obok pracowała z moim kolegą ze studiów?"

Bazę mam w postaci zywych struktur w pamięci i mogę je zserializować
praktycznie do dowolnej postaci. Pomyślałem: może prolog? W zasadzie
powinien móc mi tą bazę przekopać w sposób sprawniejszy niż SQL badź
jakieś rękodzieło. Zaznaczam że pomimo że w prologu trochę pisałem,
jestem technicznie zerem.

Pytanie: jaką literaturę mam przeczytać, aby rzucić światło na
rozwiązania tego typu problemów w Prologu? Wydaje mi się że wszelkie
ogólne ksiązki Prologowe jakoś niespecjalnie zajmują się tego typu
tematyką, przynajmniej w tych do których mam obecnie dostęp nie znajduje
odpowiedzi na pytanie jak taki temat ugryźć. Danych jest bardzo dużo,
relacje są skomplikowane i robienie tego bez wskazówek kogoś
doświadczonego raczej nie jest dobrym pomysłem.

Dlaczego Prolog? Nie wiem, to jeden z eksperymentów. I co ważne: to nie
jest problem akademicki: jeśli Prolog ułatwi mi życie to zostanie
zaembedowany w aplikacji. I nie, baza nie zawiera *takich* danych, ale
myślę że podobne, na tyle by róznice nie wpływały istotnie na sens
problemu. Na szczęscie dane są ścisłe, czyli nie interesuje mnie obraz
statystyczny tylko *fakty*.

Dlaczego nazywam to hierarchiczną bazą danych? Też nie jestem pewny tej
nazwy, wydaje mi się że dane są uporządkowane bardziej "kto jest czyim
wlascicielem" przy czym na róznych płaszczyznach. Byc może jestem w błędzie.

do góry

W dniu czwartek, 22 maja 2014 21:48:04 UTC+2 użytkownik Sebastian Biały napisał:
[...]
> Pytanie: jaką literaturę mam przeczytać, aby rzucić światło na
> rozwiązania tego typu problemów w Prologu?

Oczywiście, "Struktura i interpretacja programów komputerowych". Jest w niej
rozdział w całości poświęcony programowaniu w logice, wraz z przykładową
implementacją systemu do programowania w logice (tyle że odbiega od
klasycznej składni prologu). W wersji anglojęzycznej wisi tutaj:
http://mitpress.mit.edu/sicp/full-text/book/book-Z-H
-29.html#%_sec_4.4

Również możesz zajrzeć do rozdziałów 11-12 książki "Paradigms of Artificial
Intelligence Programming" Petera Norviga oraz do książki Mordechaia Ben-Ariego
"Logika matematyczna w informatyce".

do góry

On Thu, 22 May 2014 13:32:14 -0700 (PDT), g...@g...com
wrote:

>W dniu czwartek, 22 maja 2014 21:48:04 UTC+2 użytkownik Sebastian Biały napisał:
>[...]
>> Pytanie: jaką literaturę mam przeczytać, aby rzucić światło na
>> rozwiązania tego typu problemów w Prologu?
>
>Oczywiście, "Struktura i interpretacja programów komputerowych". Jest w niej
>rozdział w całości poświęcony programowaniu w logice,

Widac masz tylko te jedna ksiazke na polce?...

A.L.

do góry

On Thu, 22 May 2014 21:48:04 +0200, Sebastian Bia?y
<h...@p...onet.pl> wrote:

>Mam takie zagadnienie abstrakcyjne.

>Pytanie: jaką literaturę mam przeczytać, aby rzucić światło na
>rozwiązania tego typu problemów w Prologu? Wydaje mi się że wszelkie
>ogólne ksiązki Prologowe jakoś niespecjalnie zajmują się tego typu
>tematyką, przynajmniej w tych do których mam obecnie dostęp nie znajduje
>odpowiedzi na pytanie jak taki temat ugryźć. Danych jest bardzo dużo,
>relacje są skomplikowane i robienie tego bez wskazówek kogoś
>doświadczonego raczej nie jest dobrym pomysłem.

Nalezy przeczytac ksiazke "Graph Based Knowledge Representation:
Computational Foundations of Conceptual Graphs", Michel Chein i Marie
Laure Mugnier, Springer 2008

Jezyk tu jest malo wazny; wazna jest reprezenatcja wiedzy.

Jest jeszcze pare ksiazkek na ten temat, jezeli ci naprawde interesuje
to daj znac. Nei chce mi sie schodzic do piwnicy po proznicy.

Prolog to oczywiscie dober narzedzie, ale jak pisalem wyzej, sam jezyk
sparwy nei zalatwi. W podrecznikach do Prologu gotowego rozwiazania
nei znajdziesz.

A.L.

do góry

On 2014-05-22, A.L <a...@a...com> wrote:
> On Thu, 22 May 2014 21:48:04 +0200, Sebastian Bia?y
><h...@p...onet.pl> wrote:
>
>>Mam takie zagadnienie abstrakcyjne.
>
>>Pytanie: jaką literaturę mam przeczytać, aby rzucić światło na
>>rozwiązania tego typu problemów w Prologu? Wydaje mi się że wszelkie
>>ogólne ksiązki Prologowe jakoś niespecjalnie zajmują się tego typu
>>tematyką, przynajmniej w tych do których mam obecnie dostęp nie znajduje
>>odpowiedzi na pytanie jak taki temat ugryźć. Danych jest bardzo dużo,
>>relacje są skomplikowane i robienie tego bez wskazówek kogoś
>>doświadczonego raczej nie jest dobrym pomysłem.
>
> Nalezy przeczytac ksiazke "Graph Based Knowledge Representation:
> Computational Foundations of Conceptual Graphs", Michel Chein i Marie
> Laure Mugnier, Springer 2008
>
> Jezyk tu jest malo wazny; wazna jest reprezenatcja wiedzy.
>
> Jest jeszcze pare ksiazkek na ten temat, jezeli ci naprawde interesuje
> to daj znac. Nei chce mi sie schodzic do piwnicy po proznicy.

Ja chętnie poznam tytuły. Akurat myślę o takiej konstrukcji, więc ten
temat mi jakby z nieba spadł.

--
Secunia non olet.
Stanislaw Klekot

do góry

On Thu, 22 May 2014 22:20:43 +0000 (UTC), "Stachu 'Dozzie' K."
<d...@g...eat.some.screws.spammer.invalid> wrote:

>
>Ja chętnie poznam tytuły. Akurat myślę o takiej konstrukcji, więc ten
>temat mi jakby z nieba spadł.


OK, jutro (piatek) napisze

A.L.

do góry

On 2014-05-23 00:01, A.L. wrote:
> Nalezy przeczytac ksiazke "Graph Based Knowledge Representation:
> Computational Foundations of Conceptual Graphs", Michel Chein i Marie
> Laure Mugnier, Springer 2008

Porozglądam się za nia, dziękuję.

> Jezyk tu jest malo wazny; wazna jest reprezenatcja wiedzy.

Owszem, jedyne co chce od Prolog to byc może kompresje zapisu i
czytelność. Większość rozwiązań problemów mniejszej skali była bardzo
zwarta i czytelna. To jest dla mnie spory plus bo kod trzeba będzie
rozwijać.

> Jest jeszcze pare ksiazkek na ten temat, jezeli ci naprawde interesuje
> to daj znac. Nei chce mi sie schodzic do piwnicy po proznicy.

Na razie jeszcze nie wiem czego szukam. Chcę na razie się porozglądać
jakimi narzędziami można to zrobić sprawnie.

> Prolog to oczywiscie dober narzedzie, ale jak pisalem wyzej, sam jezyk
> sparwy nei zalatwi.

Prolog to jeden z kilku planowanych eksperymentów. Przyznaje, że mam
wobec niego najwieksze oczekiwania.

do góry

Użytkownik "Sebastian Biały" <h...@p...onet.pl> napisał w wiadomości
news:lln6sl$mqi$1@node2.news.atman.pl...
> On 2014-05-23 00:01, A.L. wrote:
>> Nalezy przeczytac ksiazke "Graph Based Knowledge Representation:
>> Computational Foundations of Conceptual Graphs", Michel Chein i Marie
>> Laure Mugnier, Springer 2008
>
> Porozglądam się za nia, dziękuję.

a google pokazuje np. :
acadmedia.wku.edu/Zhuhadar/eBooks/1848002858-GraphBa
se.pdf

do góry

W dniu czwartek, 22 maja 2014 23:55:32 UTC+2 użytkownik A. L. napisał:
> On Thu, 22 May 2014 13:32:14 -0700 (PDT), g...@g...com
>
> >W dniu czwartek, 22 maja 2014 21:48:04 UTC+2 u�ytkownik Sebastian Bia�y
napisaďż˝:
>
> >Oczywi�cie, "Struktura i interpretacja program�w komputerowych". Jest w niej
> >rozdzia� w ca�o�ci po�wi�cony programowaniu w logice,
>
> Widac masz tylko te jedna ksiazke na polce?...

Powtarzam o niej do znudzenia, bo zdarza mi sie spotykac ignorantow,
ktorzy twierdza, ze jest przestarzala.

do góry

On Fri, 23 May 2014 16:54:28 -0700 (PDT), g...@g...com
wrote:

>W dniu czwartek, 22 maja 2014 23:55:32 UTC+2 użytkownik A. L. napisał:
>> On Thu, 22 May 2014 13:32:14 -0700 (PDT), g...@g...com
>>
>> >W dniu czwartek, 22 maja 2014 21:48:04 UTC+2 u�ytkownik Sebastian Bia�y
napisaďż˝:
>>
>> >Oczywi�cie, "Struktura i interpretacja program�w komputerowych". Jest w niej
>> >rozdzia� w ca�o�ci po�wi�cony programowaniu w logice,
>>
>> Widac masz tylko te jedna ksiazke na polce?...
>
>Powtarzam o niej do znudzenia, bo zdarza mi sie spotykac ignorantow,
>ktorzy twierdza, ze jest przestarzala.

Ja twierdze. Acha, no i goscie z MIT. No i ten, tego, tam... no jak
mu.. Sussman...

A.L.

do góry