{"id":139,"date":"2018-10-16T06:48:56","date_gmt":"2018-10-16T04:48:56","guid":{"rendered":"http:\/\/calculemus.org\/fi4\/?page_id=139"},"modified":"2018-11-14T20:29:45","modified_gmt":"2018-11-14T19:29:45","slug":"katarzyniak","status":"publish","type":"page","link":"https:\/\/calculemus.org\/fi4\/katarzyniak\/","title":{"rendered":"Rados\u0142aw Katarzyniak (UJ)
Kilka uwag o zastosowaniu logik epistemicznych do reprezentowania stan\u00f3w wiedzy w systemach autonomicznych<\/i>"},"content":{"rendered":"

Wielu autor\u00f3w nadal podejmuje pr\u00f3b\u0119 efektywnego zastosowania „klasycznych” logik modalnych (epistemicznych) do opisu (reprezentacji) stan\u00f3w wiedzy w systemach agentowych (autonomicznych). Semantyki przyjmowane w tych logikach dla poszczeg\u00f3lnych klas formu\u0142 modalnych posiadaj\u0105 jednak pewn\u0105 cech\u0119 szczeg\u00f3ln\u0105, kt\u00f3ra czyni niekt\u00f3re z tych logik narz\u0119dziem co najmniej ma\u0142o przydatnym w informatyce technicznej, zw\u0142aszcza na etapie modelowania i projektowania technicznej implementacji systemu autonomicznego.
\nMianowicie, cech\u0105 t\u0105 jest ufundowanie semantyk formu\u0142 modalnych na klasycznych tabelach funktor\u00f3w logicznych, z odwo\u0142aniem do kt\u00f3rych mamy pr\u0119dzej czy p\u00f3\u017aniej do czynienia w wielu powszechnie stosowanych wersjach semantyk logik modalnych.<\/p>\n

Problem ograniczonej stosowalno\u015bci logik modalnych w teorii i praktyce system\u00f3w autonomicznych ma swoje \u017ar\u00f3d\u0142o w do\u015b\u0107 cz\u0119stym uto\u017csamianiu sp\u00f3jnika zdaniotw\u00f3rczego z funktorem logicznym. Cz\u0119\u015bci\u0105 rozwi\u0105zania problemu okazuje si\u0119 m.in. odej\u015bcie od zastosowania semantyki ufundowanej na klasycznych funktorach logicznych w modelach stan\u00f3w wiedzy systemu autonomicznego na rzecz zastosowania oryginalnej semantyki kognitywnej – koresponduj\u0105cej wyra\u017anie z pragmatyk\u0105 generowania lingwistycznych reprezentacji stan\u00f3w wiedzy przez autonomiczny podmiot. Tak skonstruowane narz\u0119dzie formalne okazuje si\u0119 o wiele bardziej przydatne do analitycznej weryfikacji wielu praktycznie interesuj\u0105cych cech sztucznych system\u00f3w autonomicznych, zw\u0142aszcza tych, kt\u00f3re powi\u0105zane s\u0105 z semantyczn\u0105 interakcj\u0105 tych system\u00f3w z innymi podmiotami wiedzy w j\u0119zyku (semi)naturalnym.<\/p>\n","protected":false},"excerpt":{"rendered":"

Wielu autor\u00f3w nadal podejmuje pr\u00f3b\u0119 efektywnego zastosowania „klasycznych” logik modalnych (epistemicznych) do opisu (reprezentacji) stan\u00f3w wiedzy w systemach agentowych (autonomicznych). Semantyki przyjmowane w tych logikach dla poszczeg\u00f3lnych klas formu\u0142 modalnych posiadaj\u0105 jednak pewn\u0105 cech\u0119 szczeg\u00f3ln\u0105, kt\u00f3ra czyni niekt\u00f3re z tych … Czytaj dalej →<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"onecolumn-page.php","meta":[],"_links":{"self":[{"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/pages\/139"}],"collection":[{"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/comments?post=139"}],"version-history":[{"count":2,"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/pages\/139\/revisions"}],"predecessor-version":[{"id":193,"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/pages\/139\/revisions\/193"}],"wp:attachment":[{"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/media?parent=139"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}