Logika w prawie - Grupy dyskusyjne w eGospodarka.pl

Path: news-archive.icm.edu.pl!news.gazeta.pl!not-for-mail
From: "Maciej $pl$" <m...@w...pl>
Newsgroups: pl.soc.prawo
Subject: Logika w prawie
Date: Sat, 8 Oct 2005 23:00:50 +0200
Organization: "Portal Gazeta.pl -> http://www.gazeta.pl"
Lines: 17
Message-ID: <di9c1q$j44$1@inews.gazeta.pl>
NNTP-Posting-Host: alfa.azory.net.pl
X-Trace: inews.gazeta.pl 1128805242 19588 62.233.214.34 (8 Oct 2005 21:00:42 GMT)
X-Complaints-To: u...@a...pl
NNTP-Posting-Date: Sat, 8 Oct 2005 21:00:42 +0000 (UTC)
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2180
X-Priority: 3
X-RFC2646: Format=Flowed; Original
X-Newsreader: Microsoft Outlook Express 6.00.2900.2180
X-User: m.arkit
X-MSMail-Priority: Normal
Xref: news-archive.icm.edu.pl pl.soc.prawo:333383
[ ukryj nagłówki ]
Hej,
czy ktoś z Was spotkał sie z programem wspierającym
wnioskowanie w logice w celu ustalenia prawdy tudzież nieprawdy zeznającego
?

Głośne było użycie przez krakowską prokuraturę programu do wyszukiwania
powiązań w związku ze sprawą ks. ds. PKN Orlen - czegoś podobnego poszukuję.

I jeszcze kwestia, czy ktoś z grupowiczów byłby zainteresowany takim
oprogramowaniem - byłbym wówczas zainteresowany Waszymi oczekiwaniami co do
takiego oprogramowania.

pozdrawiam
Maciek