Deonttinen logiikka
Kokeneet kirjoittajat eivät ole vielä tarkistaneet sivun nykyistä versiota, ja se voi poiketa merkittävästi 16. syyskuuta 2015 tarkistetusta
versiosta . tarkastukset vaativat
34 muokkausta .
Deonttinen logiikka ( toisesta kreikasta δέον - velvollisuus ja logiikka ; normilogiikka , normatiivinen logiikka ) - modaalilogiikan osa .
Toimii käsitteillä: velvoite , lupa , normi .
"Sinun täytyy tehdä se" ("Sinun velvollisuutesi tehdä se") tai "Sinä pystyt tekemään sen"
Näitä käsitteitä yritettiin ottaa käyttöön jo kauan sitten ( Aristoteles , Leibniz , Mally , Jörgensen, Jörgen [1] , Alf Ross ), mutta vain Georg von Wrightilla oli merkittävä tulos teoksessa Deontic Logic, Mind, New Series, Vol. 60, ei. 237. (tammikuu, 1951), s. 1-15. [2]
2007 paperi deonttisen logiikan toteuttamisesta tehtävä- lähestymistavan avulla . Formaalinen kieli sähköisille sopimuksille [3] käyttäen µ-laskentaa ja A. Bieren mu-cke- toteutusta [4]
Kaikki hyödylliset normit on jonkun rikottava. Gerardo Schneiderin jaon mukaan :
velvollisuuksien vastaisia velvoitteita
velvollisuuden rikkominen
kieltojen vastaisesti
kieltojen rikkominen
Todellisessa maailmassa molemmat johtavat jonkinlaiseen seuraukseen.
Sovellus
- pidetään hyvänä kielenä ilmaista tietojärjestelmiä yleisesti [1]
- vertailla haluttua tilaa todelliseen
Esimerkkejä normilausekkeista
kun henkilö C lainaa kirjan K, hänen on palautettava se 2 viikon kuluessa
[(laina(H, R))]O(palautus(R, R)) ≤ 2 viikkoa
Normaali deonttinen logiikka
Tutkituin malli perustuu propositionaaliseen logiikkaan .
Lähestymistavat
pitäisi tehdä - ilmaukset kunnioittavat toimintojen nimiä
käyttäjän on syötettävä salasana
jonkun on suljettava ikkuna
pitäisi olla - lausekkeet ottavat huomioon halutun tuloksen
salasanan tulee olla yli 20 merkkiä pitkä
ikkuna on suljettava
pulssi ei saa olla yli 200 lyöntiä minuutissa
Haitat
- huomattava määrä paradokseja ja mysteereitä [5]
- mahdollisia ristiriitaisia tuloksia
Kritiikkiä ja sovelluksen vaikeudet
Epätäydellinen luettelo.
Jørgensenin dilemma Jørgen – normit eivät ole totta tai tarua
kuinka voimme sitten arvioida ristiriitaa ja määrittää loogiset seuraukset?
normeja, jotka riippuvat jostain
säännöt säännöistä
miten ilmaista toimia, kun velvoitetta ei noudateta tai kieltoa rikotaan?
monet
modaalilogiikan säännöt eivät sovellu deonttiseen logiikkaan
[ selventää ]
Lähteet
- ↑ 1 2 Arkistoitu kopio . Haettu 6. lokakuuta 2017. Arkistoitu alkuperäisestä 6. lokakuuta 2017. (määrätön)
- ↑ http://links.jstor.org/sici?sici=0026-4423(195101)2:60:237%3C1:DL%3E2.0.CO;2-C
- ↑ doi : 10.1007/978-3-540-72952-5_11
- ↑ A. Biere. mu-cke - tehokas mu-calculus-mallin tarkistus. Teoksessa O. Grumberg, toimittaja, International Conference on Computer-Aided Verification (CAV'97), numero 1254 julkaisussa Lecture Notes in Computer Science, sivut 468-471. Copyright © 1997 Springer-Verlag
- ↑ Deonttinen logiikka (Stanford Encyclopedia of Philosophy) . Haettu 6. lokakuuta 2017. Arkistoitu alkuperäisestä 29. huhtikuuta 2018. (määrätön)
Kirjallisuus
- Ivin A. A. Logiikka (oppikirja). - Moskova: Knowledge, 1998. - S. Luku 3. Ei-klassinen logiikka § 4. Arvioiden logiikka ja normien logiikka. — ISBN 5-07-002820-0 .
- Ivin A. A. Logiikka (oppikirja). - Moskova: Oniks Publishing House, Mir and Education Publishing House, 2008. - P. Luku 5. MODAL LOGIC § 4. Logic of Norms, s. 103. - ISBN 978-5-488-01800-6 , 978-5- 94666-487-5.
- Lisanyuk E. N. Deonttinen logiikka / Mikirtumov I. B., Migunov A. I., Fedorov B. I. (toim.). — Logiikka (oppikirja). - Moskova: Prospekt, 2011. - S. 377-424 (Osa II. Luku 3).
- Lisanyuk FI Ideoiden kehittäminen deonttisen logiikan normeista. — Novosibirskin valtionyliopiston tiedote. Sarjan filosofia. 8. osa (2010). Numero 1. S. 147-152., 2010.
Logiikka
- Lisanyuk E. N. Ernst Mally ja hänen "Deontika" // Uralin liittovaltion yliopiston tiedote. Ser. 3, yhteiskuntatieteet. - 2012. - Nro 4 (109) . - S. 31-44 .
Tietojenkäsittelytiede
- Mikov AI Tietoprosessit ja normatiiviset järjestelmät IT:ssä: Matemaattiset mallit. Suunnitteluongelmat. Uusia lähestymistapoja. - URSS. 2013. - 256 s. Pehmeä kansi. - ISBN 978-5-397-03452-4. (Luku 7 Sääntelyjärjestelmät)
Linkit
- Paul McNamara. Deonttinen logiikka // The Stanford Encyclopedia of Philosophy / Edward N. Zalta. - Metaphysics Research Lab, Stanfordin yliopisto, 2019.