🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: pl.comp.objects
Article #14543

Re: Polaczenie Prologa i Javy

#14543
From: Piotr Dembiński
Date: Sun, 09 Apr 2006 18:39
57 lines
3805 bytes
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.

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.

> 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ą :)

> 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.

Co do użytego języka, to każdy język naturalny jest kontekstowy.
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'.

-- 
http://www.piotr.dembiński.prv.pl
Technical Details
Message-ID: <87psjqa90y.fsf@hector.domek>
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!mat.uni.torun.pl!news.man.torun.pl!newsfeed.pionier.net.pl!news.gazeta.pl!not-for-mail
References: <bd531$4432a297$53904bf9$2695@news.chello.pl> <e16hmu$c1m$1@inews.gazeta.pl> <87k6a0kyeh.fsf@hector.domek> <e18cl0$h1f$1@inews.gazeta.pl> <874q14kx3a.fsf@hector.domek> <e18efh$nbb$1@inews.gazeta.pl> <87k6a0jgqs.fsf@hector.domek> <e18ttd$beb$3@kujawiak.man.lodz.pl> <87r747j4vt.fsf@hector.domek> <e1908k$shl$1@inews.gazeta.pl> <87ek07j3re.fsf@hector.domek> <e190j3$gv$1@inews.gazeta.pl> <87y7yfhnk3.fsf@hector.domek> <e1942s$ean$1@inews.gazeta.pl> <87r747awgx.fsf@hector.domek> <e1b5o7$8c0$3@kujawiak.man.lodz.pl>

Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!mat.uni.torun.pl!news.man.torun.pl!newsfeed.pionier.net.pl!news.gazeta.pl!not-for-mail
From: Piotr Dembiński <pdemb@gazeta.pl>
Newsgroups: pl.comp.objects
Subject: Re: Polaczenie Prologa i Javy
Date: Sun, 09 Apr 2006 20:39:09 +0200
Organization: "Portal Gazeta.pl -> http://www.gazeta.pl"
Lines: 57
Message-ID: <87psjqa90y.fsf@hector.domek>
References: <bd531$4432a297$53904bf9$2695@news.chello.pl> <e16hmu$c1m$1@inews.gazeta.pl> <87k6a0kyeh.fsf@hector.domek> <e18cl0$h1f$1@inews.gazeta.pl> <874q14kx3a.fsf@hector.domek> <e18efh$nbb$1@inews.gazeta.pl> <87k6a0jgqs.fsf@hector.domek> <e18ttd$beb$3@kujawiak.man.lodz.pl> <87r747j4vt.fsf@hector.domek> <e1908k$shl$1@inews.gazeta.pl> <87ek07j3re.fsf@hector.domek> <e190j3$gv$1@inews.gazeta.pl> <87y7yfhnk3.fsf@hector.domek> <e1942s$ean$1@inews.gazeta.pl> <87r747awgx.fsf@hector.domek> <e1b5o7$8c0$3@kujawiak.man.lodz.pl>
NNTP-Posting-Host: diy111.neoplus.adsl.tpnet.pl
Mime-Version: 1.0
X-Trace: inews.gazeta.pl 1144607405 14704 83.23.232.111 (9 Apr 2006 18:30:05 GMT)
X-Complaints-To: usenet@agora.pl
NNTP-Posting-Date: Sun, 9 Apr 2006 18:30:05 +0000 (UTC)
Cancel-Lock: sha1:JpcdFz0h2xjt3ahyVZ3PtVOwSeQ=
X-User: pdemb
User-Agent: Gnus/5.1007 (Gnus v5.10.7) Emacs/21.4 (gnu/linux)
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit