🚀 go-pugleaf

Dnia Sun, 09 Apr 2006 20:39:09 +0200, Piotr Dembiński skrobie:
> Sektor van Skijlen <ethouris@guess.if.gmail.com.is.valid.or.invalid>
> writes:

> > Dnia Sun, 09 Apr 2006 12:12:46 +0200, Piotr Dembiński skrobie:
> >> "Adam Karpierz" <karpierz@NOOOOSPAAAAMpython.pl> writes:
> >
> >> > ""Piotr Dembiński"" <pdemb@gazeta.pl> wrote:
> >> >
> >> >> Ale sama definicja uprawnień powinna być IMO w normalnym,
> >> >> formalnym języku bezkontekstowym, takim jak właśnie Prolog 
> >> >> albo Lisp, a nie w języku formalnym jedynie przypominającym 
> >> >> język naturalny.
> >> >
> >> > Po jaka cho.. ? A jaka roznica czy kontekstowy czy bez ?
> >
> >> Heh, przykładowo w języku kontekstowym fraza 'Jack can read files
> >> in /usr' w tekście napisanym przez Jane oznacza Jacka, którego Jane
> >> zna, ew. tego, którego Jane ma na myśli ;)
> >
> > Przykład bez sensu. 

> Dlaczego?  Dla zwykłego, siadającego przed klawiaturą użytkownika
> (rzeczonej Jane), napisanie, że jej kolega o imieniu Jack może
> odczytać pliki znajdujące się w katalogu /usr jest chyba jak
> najbardziej naturalne.

Wiesz, ja nigdy w życiu nie powiedziałbym adminowi np. "Daj Rafałowi prawa do
odczytu do katalogu /usr". Gdybym o takim gościu mówił do kumpla, dla którego
Rafał to nasz wspólny znajomy, to i tak ryzykuję, że kumpel dodatkowo zapyta,
o jakiego Rafała chodziło.

Nie, to nie jest naturalne, a przynajmniej nie oczekiwałbym od żadnego
programu komputerowego, żeby rozumiał taką kontekstowość, skoro nie do końca
rozumieją ją nawet ludzie.

> Taki użytkownik nie będzie posługiwać się numerem identyfikacyjnym
> Jacka, ani nie będzie zaprzątać sobie głowy tym, że istnieje cała masa
> innych 'Jacków' w systemie.

A u nas jak chcesz znaleźć konkretną osobę i być pewnym, że chodzi ci właśnie
o nią, to musisz złapać imię i nazwisko, a najlepiej to jeszcze wyszukać w
bazie danych po identyfikatorze zdjęcie pracownika, żeby się upewnić
(przykładowo jest u nas dwóch gości o tym samym imieniu i nazwisku).

> > Zdanie jest niekompletne, niezależnie od języka, w jakim zostało
> > napisane. 

> Ależ to zdanie jest jak najbardziej kompletnym i poprawnym zdaniem
> języka angielskiego.  Pominąwszy to, że nie jest zakończone kropką :)

Zdanie jest niekompletne w sensie precyzji informacji. Nie jest niekompletne w
sensie gramatycznym. Dokładnie tak samo jak

.i la djek. kakne le nu cu tcidu le datnyvei fi ly. /usr ly.

I też zdanie jest kompletne, pod warunkiem, że wiemy kto to jest "la djek." i
na jakim systemie plików znajduje się /usr.

> > Gdyby było jednak napisane np. 'User ajs452 can read files
> > in /usr' wtedy byłoby bezkontekstowo.
> > No chyba że jeszcze stwierdzimy, że:
> >  - /usr może się znajdować na różnych maszynach/systemach plików
> >  - pojęcie pliku może się różnić w obu kontekstach
> >  - pojęcie czytania pliku może się różnić w obu kontekstach

> Tzn. chodzi o znaczenie słów 'read' i 'files' w kontekście nadawania
> uprawnień użytkownikowi ajs452 dla katalogu /usr?  

> Ja pytałem o inny kontekst: kontekst zawierający informację o tym, kto
> napisał polecenie i co ono dla tej osoby znaczy.

No to w takim razie ty sam nie rozumiesz, o czym piszesz.

Dla takiej osoby zarówno Jack może być Jackiem Strawberry o identyfikatorze
ajs452, jak też mówiąc /usr można mieć na myśli lokalny system plików na
komputerze floss.wmorde.net, przy czym oczywiście w tej firmie jest więcej
pracowników o imieniu Jack i więcej systemów plików z katalogiem /usr.

> Co do użytego języka, to każdy język naturalny jest kontekstowy.

Bzdura. Kontekstowość nie zależy od użytego języka, tylko od sprecyzowania
warunków, na jakich opiera się treść. To treść jest kontekstowa, a nie język.

> Pamiętam skecz z pewnej amerykańskiej komedii, w której jedna osoba
> tłumaczyła drugiej, że 'pliki znajdują się w komputerze'.  Osoba,
> która odebrała informację zrozumiała to jako 'te papierowe pliki
> dokumentów znajdują się w środku obudowy komputera'.

To niczego nie dowodzi. Najwyżej tego, że język angielski jest jednym z
wyjątkowo nieprecyzyjnych, amerykański zwłaszcza - ale o tym to i Lojbaniści
mówiąc całkiem wprost.


-- 
//  _    ___         Michal "Sektor" Malecki <sektor(whirl)kis.p.lodz.pl>
\\ L_ |/ `|  /^\ ,()                         <ethourhs(O)gmail.com>
// \_ |\  \/ \_/ /\ C++ bez cholesterolu: http://www.intercon.pl/~sektor/cbx
"I am allergic to Java because programming in Java reminds me casting spells"