Üdv mindenkinek!
Azt szeretném kérdezni, tud-e valaki olyan próbálkozásról, hogy törvényeket matematikai szabályok szerint próbáltak megalkotni, illetve alkalmazni?
Én informatikus vagyok, a joghoz nem sok közöm van, de érdekelne, hogy vajon mennyire lenne működőképes egy ilyen jogszabály-rendszer.
"törvényeket matematikai szabályok szerint próbáltak megalkotni, illetve alkalmazni."
Én matematikus vagyok, de törvényeket mat. szabály szerint nem lehet alkalmazni.
Ez most komoly, vagy csak unatkozik?
Nem, ez tényleg komoly. Érdekelne, hogy volt-e már ilyen próbálkozás. Ha pedig nem lehet, akkor miért nem lehet?
Fogalmam sincs, mire gondol. Ebben a témakörben két dolgot tudok említeni. Az egyik, hogy állítólag egyes USA egyetemek jogi karai szívesen várnak másoddiplomára matematikusokat, mert állítólag könnyebben értik a tananyagot(?) A másik, hogy a Fermat sejtést egy matematikus oldotta meg. A jog nem egy mechanikus dolog, nem lehet a merev és absztrakt matemetikai szabályokat alkalmazni,mert a jog (a jogszabályszöveg) az egy nyelvi szubsztrátum. Legfeljebb ha az 'és' 'vagy' 'kizáró értelmű vagy' helyes használatára gondolunk, legalábbis más nem jut eszembe. Személyes tapasztalataim szerint a (csupán)matematikusok jogértelmezései kevésbé sikeresek, de ez csupán két eset.
Sunshine after the rain.
Ha a jogalkotásra nem is, de a jogalkalmazásra létezett ilyen javaslat.
Elméletben megalkották az úgynevezett ítélkezőgép koncepcióját, amely a betáplált jogszabályok és tényállás alapján mondta volna ki a verdiktet.
Bármilyen meglepő első hallásra, de a matematika és a jog között valóban igen nagy hasonlóság van. Mindenekelőtt az, hogy egy konkrét feladatnak csak egy helyes megoldása van. (Vitát megelőzendő ezúttal azt is "egyetlen megoldásnak" tekintem, hogy egy egyenletnek végtelen sok gyöke van. Hiszen ebben az esetben az a válasz, hogy "huszonnyolc" nem teljes, nem helyes.)
Még egy dolog. A jogelméletben (főleg az úgynevezett jogdogmatikában) van egy olyan kérdés, hogy alkothatunk-e "ítélkezőgépet"? Ez olyasmi, hogy a tényállást, bizonyítékokat, szakértői véleményeket egy számítógépbe táplálom (plusz a bírói gyakorlatot stb.), az az input alapján kilök egy outputot, az volna az ítélet. A válasz az, hogy mivel a gép számos emberi körülményt nem tud figyelembe venni, ezért megalkotása lehetetlenség.
Sunshine after the rain.
KBS, egy srófra jár az agyunk:-)
Sunshine after the rain.
Ne adj' Isten,itt vagy még:-)?
Sunshine after the rain.
MOndhatni: permanens. :))
Köszönöm a gyors hozzászólásokat.
"Elméletben megalkották az úgynevezett ítélkezőgép koncepcióját, amely a betáplált jogszabályok és tényállás alapján mondta volna ki a verdiktet." (KBS)
Erről hol találhatok valami leírást? :)
"A válasz az, hogy mivel a gép számos emberi körülményt nem tud figyelembe venni, ezért megalkotása lehetetlenség."
Én úgy tudom, hogy a jogalkalmazók elvileg csak jogi alapon mérlegelhetnek. Azaz a jogszolgáltatás nem egyenlő az igazságszolgáltatással.
Ha pedig olyan matematikai jogrendszer megalkotása lenne a cél, ahol a "körülmények" nem számítanak... Vagy valamilyen szinten lehetne adaptív a "gép".
Egyébként a nyelvtani szerkezeteket is már (jól) lehet "értelmezni" számítógéppel is.
Nem tudsz ítélkezőgépet létrehozni.
Talán, ha lesz olyan mesterséges intelligencia, ami képességeiben ÉS tudásában eléri egy átlagosan képzett bíró szintjét, kaphatsz jó eredményt.
Ami egyébként valóban megalkotható, az egy olyan általános, adatbázisalapú válaszcsoport, mint pl. tartozik - fizetési meghagyás - per - végrehajtás folyamat végigvitele.
Kicsit olyan lenne amit akarnál, mint sakkprogramot írni anélkül, hogy a lépések következményét előre látnád, pusztán a korábbi játszmák adatbázisára építve. A korai kis eltérések lavinahatása használhatatlanná teszi az elképzelést. (márpedig minden eset végtelen számú tényezőt tartalmaz, tehát az eltérés biztos. A bíró el tudja választani a lényeges tényezőt a lényegtelentől, de ehhez emberi lénye, tapasztalata, intelligenciája kell)
Egyébként a jog és a matematika (számítógépprogramozás) rendkívül közel áll elméleti szinten egymáshoz, használnak a jogban változókat, ciklusokat, függvényeket, eljárásokat, ugrást a végrehajtásban, külső állomány végrehajtását, logikai műveleteket (AND, OR, XOR) sorolhatnám.
_Wasp_
póker és jogi problémák ingyenes
és felesleges megoldása
Lebnitznél találod meg először az itélkezőgépet, több száz éves elképzelés. (túlhaladott)
_Wasp_
póker és jogi problémák ingyenes
és felesleges megoldása
Meteo: nem sértésképp, de jól látszik, hogy nem vagy jogász. Ami nem baj, csak nehéz úgy érvelni a kérdéseidre, hogy gondok vannak a főszabály - kivétel - alkivétel - méltányosság elhelyezésével a jobiztonyság / igazságosság koordinátarendszerben.
Szerintem mielőtt ekkora témába belevágnád a fejszéd, javaslom olvass néhány könyvet a "mi a jog?" témában, ha gondolod, tudok szerzőket is ajánlani.
Egyébként, ha konkrét elképzelésed van egy (értelmes) projektről a témában, szívesen beszállok mint programozó vagy jogász :)
_Wasp_
póker és jogi problémák ingyenes
és felesleges megoldása
jogbiztonság / igazságosság (méltányosság)
_Wasp_
póker és jogi problémák ingyenes
és felesleges megoldása
Köszi Wasp, örülök az építő hozzáállasodnak. Sajna időm az mostanság nem sok van, van otthon egy jogi könyv, azt kezdtem el nemrég bújni de elég lassan haladok vele: valami vizsgán tuti nem lenne meg a kettes :)
Jelenleg csak érdekelne néhány a szakmához értő ember véleménye, hogy ilyet lehet-e?
Őszintén szólva konkrét elképzelésem az van, csak nem tudom mennyire értelmes: fel lehetne-e vajon építeni egy ország jogrendszerét a matematika segítségével? Egészen az alapoktól, az Alkotmánytól kezdve.
Első körben szerintem mégérné megpróbálni valami primítv modellt összehozni, megnézni mit lehet és mit nem.
megkaptad már a választ: a jogrend a matematika fogalmainak alkalmazásával épül fel. Ehhez kapcsolódik felépítményként a nyelv használata. Tehát nemcsak hogy lehetséges, de a jog az angolszász jogrendű országok kivételével szinte mindenhol így áll össze rendszerré.
_Wasp_
póker és jogi problémák ingyenes
és felesleges megoldása
Köszi, vettem. :)
Emberi körülményen elsősorban a méltányosságot értettem. Vagy azt, hogy hazudik-e a tanú, vagy sem? Ezáltal más súllyal veszik figyelembe a tanúvalloást, mint bizonyítékot. Honnan "látja" a gép, hogy ki hazudik? A másik, hogy a bizonyítékoknak nincs kötött értéke, ezzel sem tud mit kezdeni egy gép. Ha mérlegelésre lehetőséget ad a jogszabály, azt mikor és milyen mértékben alkalmazzuk? Felülmérlegelés is ide tartozik. Vagy ha pl. egy büntetőügyben van egy gyanúsított, és az "emberbíró" látja, hogy kicsit bolond, akkor elvégzik a szükséges szakértői vizsgálatot. De a "gépbíró" mit láthat mindebből? Szerintem kísérletnek nem rossz az elképzelés (bár szerintem pont az alkotmány a legnehezebb...), de OTKA pályázatot nem nyernél vele:-).
Egyébként nagyon nem mindegy, hogy mi az az első könyv, amit olvasol...
Sunshine after the rain.
Wasp, te végeztél informatikát is?
Sunshine after the rain.
Kandó SZGTI-re jártam
_Wasp_
póker és jogi problémák ingyenes
és felesleges megoldása
Legislator, nagyon igaz amit írtál. Tegnap belekezdtem egy kis modell építésébe, de kb. 5 perc után lejött, hogy az egyik legkényesebb pont a bizonyíték, bizonyítás...
Igazából lehet, hogy egy olyan gépet kellene kitalálni, ami bárkitől eldöntheti, hogy "igazat" állít-e vagy nem.
Wasp, grat. Meteo: Igen, ez a hazugság vizsgálat és kapcsolt részei nagy dilemma. De ha volna is egy ilyen gép, amely sosem hibázik, akkor sem lehetne minden boldogtalan tanút ilyesmiknek alávetni.
Sunshine after the rain.
hazugság vizsgálat=hazugságvizsgálat
Sunshine after the rain.
ha a bizonyítást bonyolultnak érzed, akkor nagyon csak a felszínt kapirgálod. (hiszen kiindulhatunk abból, hogy a bizonyítékot nem a bírónak kell beszereznie, és az ítélet "jóságát" elméleti síkon nem rontják a hamistanúk)
gondolkodj el az pl "elhatárolás" kérdésén.
alap-példánál maradva:
(olyan nincs hogy emberölés. merthogy akkor könnyen kiírná a gép, hogy "aká mást... trallalala"
ugyanis "megölni" absztrakt módon nem tudsz egy embert.)
Viszont lehet: szívbeteget halálra ijeszteni dobozkrampuszos szülinapi ajándékkal. HIV fertőzöttre rátüsszenteni. Figyelmetlenségből fordítva bekötni a villanykapcsolót. Lustaságból nem ellenőriztetni a leszedett gombát. Súlyos testi orrbavágás szándékával hanyattesős meghalasztást elérni. Voodoo átkot mondani valakire, akit aztán el is üt a villamos. Gyenge idegzetű kislányt internetes chat-en keresztül addig zrikálni, amíg fel nem köti magát. (életből vett példa)
Hogy lehetne programot írni ezekre az esetekre?
Pedig ugye az emberölés az egyik legegyszerűbb / legkevesebb tényállási elemet tartalmazó norma. Sokszorosan bonyolultabbakat is lehetne felhozni.
_Wasp_
póker és jogi problémák ingyenes
és felesleges megoldása
Ok, én már belátom, hogy nem lehet pusztán matematikávál mindent megítélni, eldönteni. De ebből nem következik az, hogy semmit sem lehet. :)
Bizony vannak olyan dolgok, amiket igen erősen meg lehetne fogni. Szerintem elsősorban azokat a dolgokat lehetne összekötni a matekkal, ahol valamit valami más szerint kell csinálni, azaz a szabáls szerinti cselekvés állítaná elő a 'bizonyítékot'.
Felhívjuk figyelmét, hogy hozzájárulása minden aldomainünkre érvényes. Hozzájárulását bármikor módosíthatja vagy visszavonhatja, ha rákattint a képernyője alján található „Hozzájárulási beállítások" gombra. Tiszteletben tartjuk döntéseit, és elkötelezettek vagyunk amellett, hogy átlátható és biztonságos böngészési élményt nyújtsunk Önnek.
| Süti | Időtartam | Leírás |
|---|---|---|
| COOKIE_SUPPORT | 1 year | Ezt a sütit a Liferay állítja be. Ez a süti annak ellenőrzésére szolgál, hogy a látogató böngészője támogatja-e a sütiket. |
| JSESSIONID | JSP-ben írt webhelyek használják. Általános célú platform-munkamenet sütik, amelyek a felhasználók állapotának az oldalletöltések közötti fenntartására szolgálnak. | |
| PHPSESSID | Ez a süti a PHP-alkalmazásokban található. A cookie a felhasználók egyedi munkamenet-azonosítójának tárolására és azonosítására szolgál a felhasználói munkamenet kezelése céljából a weboldalon. A munkamenet-süti a böngésző összes ablakának bezárásakor törlődik. | |
| SERVERID | Ez a süti arra szolgál, hogy a felhasználót egy adott szerverhez rendelje, így jobb és gyorsabb szerveridőt biztosít. Emlékszik arra, hogy melyik szerver szállította az utolsó oldalt a böngészőnek. Segít a terheléselosztásban is. | |
| viewed_cookie_policy | 1 year | The cookie is set by the GDPR Cookie Consent plugin and is used to store whether or not user has consented to the use of cookies. It does not store any personal data. |
| Süti | Időtartam | Leírás |
|---|---|---|
| Gdyn | 1 year 1 month | Ezt a sütit a Gemius szolgáltató állítja be. Ezt a sütit a MOSS és a fejlett webstatisztikák technikai munkamérésének végrehajtásához használják. |
| GUEST_LANGUAGE_ID | 1 year | Ez a süti a látogatók által preferált nyelvi azonosító tárolására szolgál. |
| Süti | Időtartam | Leírás |
|---|---|---|
| _ga | 2 years | Ezt a sütit a Google Analytics telepíti. A cookie-t a látogatói, munkamenet- és kampányadatok kiszámítására és a webhely használatának nyomon követésére használják a webhely analitikai jelentéséhez. A cookie-k névtelenül tárolják az információkat, és egy véletlenszerűen generált számot rendelnek hozzá az egyedi látogatók azonosításához. |
| _gat_UA-112481-1 | 1 minute | Ez a Google Analytics által beállított mintatípusú cookie, ahol a névben lévő mintaelem tartalmazza a fiók vagy a weboldal egyedi azonosító számát, amelyre vonatkozik. Ez a _gat cookie egy változata, amelyet a Google által rögzített adatok mennyiségének korlátozására használnak a nagy forgalmú webhelyeken. |
| _gid | 1 day | Ezt a sütit a Google Analytics telepíti. A süti arra szolgál, hogy információkat tároljon arról, hogy a látogatók hogyan használják a weboldalt, és segít a weboldal teljesítményéről szóló elemzési jelentés elkészítésében. Az összegyűjtött adatok között szerepel a látogatók száma, a forrás, ahonnan érkeztek, és a meglátogatott oldalak névtelen formában. |
| UID | 2 years | No description available. |
| Süti | Időtartam | Leírás |
|---|---|---|
| _goa3session | 2 days | Ezt a sütit a szolgáltató Adverticum állítja be. Ezt a sütit a hirdetések kiszolgálásának folyamatához és a hirdetők számára statisztikai adatok gyűjtéséhez használják. |
| fr | 3 months | A sütit a Facebook állítja be, hogy releváns hirdetéseket jelenítsen meg a felhasználóknak, valamint mérje és javítsa a hirdetéseket. A cookie a felhasználó viselkedését is nyomon követi az interneten keresztül azokon az oldalakon, amelyek Facebook pixellel vagy Facebook social pluginnal rendelkeznek. |
| Gtest | 1 year 1 month | Ezt a sütit a felhasználói viselkedés és a weboldalon végzett tevékenységek gyűjtésére használják a weboldal optimalizálása érdekében. Segít továbbá a Google Ads és a Google Analytics számára a látogatói információk marketing célú összeállításában. |
| i | 1 year | Nincs információ. |
| IDE | 1 year 24 days | A Google DoubleClick használja, és információkat tárol arról, hogy a felhasználó hogyan használja a weboldalt és minden más hirdetést a weboldal meglátogatása előtt. Ezt arra használják, hogy a felhasználóknak a felhasználói profilnak megfelelő, számukra releváns hirdetéseket jelenítsenek meg. |
| mc | 1 year 1 month | Ez a cookie a Quantserve-hez kapcsolódik, hogy anonim módon nyomon követhesse, hogy a felhasználó hogyan lép kapcsolatba a weboldallal. |
| test_cookie | 15 minutes | Ezt a sütit a doubleclick.net állítja be. A cookie célja annak megállapítása, hogy a felhasználó böngészője támogatja-e a cookie-kat. |
| VISITOR_INFO1_LIVE | 5 months 27 days | Ezt a sütit a Youtube állítja be. A weboldalon beágyazott YouTube-videók információinak nyomon követésére szolgál. |
| YSC | session | Ezt a sütit a Youtube állítja be, és a beágyazott videók megtekintésének nyomon követésére szolgál. |
| Süti | Időtartam | Leírás |
|---|---|---|
| _goa3test | 2 years | No description available. |
| _ia_uid | 5 months 27 days | No description |
| _ia_version | 5 months 27 days | No description |
| CONSENT | 16 years 6 months | No description |
| INX_CHECKER2 | 16 years 6 months | No description available. |
| legacy-psid | No description available. | |
| nxdigitolvasosession | No description | |
| psid | session | Nincs elérhető információ. |
| yt-remote-connected-devices | never | No description available. |
| yt-remote-device-id | never | No description available. |
