Paweł Niezbecki w news:ce8arp$s2s$1@mamut1.aster.pl...
/.../


Wchodzisz w rolę z trójkąta dramatycznego.
Czy rozumiesz jaka to jest rola?


> > ps. przy okazji /.../ co znaczy zwrot "instancjacja twoich poglądów"


> Skarżyli ci się czy się "domyślasz"? A sam rozumiesz czy nie rozumiesz?
> (Mogę ci wytłumaczyć jakby co.)


Nikt mi się nie skarżył. Słowo jest wystarczająco egzotyczne, by uznać je
za magiczne zaklęcie. Moim zdaniem oczywiście. Domyślam się, że masz inne...
Skoro się zgłaszasz na tlumacza - przybliż łaskawie jak je rozumiec
w kontekście wypowiedzi skierowanej do Marka K.
Sądzę, że nie tylko ja skorzystam (o ile to tak można nazwać).

> Liczysz sie z tym ze instancjacja Twoich pogladow moze
> doprowadzic nie do 'zbawienia' dla tych ktorzy maja Twoje
> 'zbawienie' w dupie za przeproszeniem, ale _byc moze_
> z tragedia dla powiedzmy ~ogolu?


Dla ułatwienia przywołam to, co znalazłem w sieci - pochodzi to z wykładu
na temat sztucznej inteligencji:
http://www.mimuw.edu.pl/~awojna/SID/wyklady/sid13.pd
f.
---
Instancjacja uniwersalna (UI)
Każda instancjacja uniwersalnie kwantyfikowanego zdania jest logiczną
konsekwencją reguły
? v alfa
Subst({v/g}, alfa) dla dowolnej zmiennej v i termu ustalonego g

Instancjacja egzystencjalna (EI)
Dla każdego zdania alfa, zmiennej v, i symbolu stałego który nie występuje
nigdzie w bazie wiedzy:
? v alfa
Subst({v/k}, alfa)

Instancjacja: wlasności
Instancjacja uniwersalna może być stosowana kilkakrotnie, żeby dodać
nowe zdania; nowa KB jest logicznie równoważna poprzedniej
Instancjacja egzystencjalna może być zastosowana raz, żeby
zamienić zdania z kwantyfikatorami egzystencjalnymi;
nowa KB nie jest równoważna poprzedniej, ale jest spełnialna wtw
kiedy poprzednia KB jest spełnialna
---


> P.

> PS: Żenująca zagrywka. W taki sposób masz zamiar "pokonywać"
> cbneta w dyskusji?

Żenująca? Imputujesz mi chwyt poniżej pasa?
A gdzie Ty się dopatrzyłeś chwytu w części "ps. przy okazji..."?
Proszę grzecznie o wyjaśnienie słowa, którego nie znam.
Poza tym, gdzie tu widzisz dyskusję?
Dyskutowałeś kiedyś z cbnetem?


All