Knjiga apstrakata - Mathematical Institute of the Serbian Academy of ...

More documents

Recommendations

Info

On Archimedean inference ruleAleksandar PerovićFaculty of transportation and traffic engineeringUniversity of Belgrade,pera@sf.bg.ac.rsThe Archimedean inference rule is an infinitary inference rule designed to overcome the compactness issue in non restrictedreal valued probability logics. The key reason behind incompleteness lies in possibility to construct finitely satisfiabletheories that express something like “the probability of α is infinitely close but different from s”, where s is some rationalnumber from the real unit interval [0, 1]. Since 〈R, 〉 omits the type of the infinitely small element, any such theory isunsatisfiable - hence we get both incompleteness and non-compactness.Intuitively, the Archimedean rule works as follows: if probability of α is infinitely close to a, than it must be equal to a.The exact formulation will be presented at the talk. I will also discuss the application of Archimedean-like inference rulesin real valued formalization of other types of many valued logics such as possibility and fuzzy logic.32
Primena Bajesovih mreža u medicinskoj dijagnosticiSvičević MarinaBajesove mreže su reprezentacije zavisnosti izmedju promenljivih, koje daju detaljniju specifikaciju zajedničke raspodeleverovatnoća i koriste Bajesovo pravilo zaključivanja. Bajesovo učenje je vezano za algoritme učenja koji koriste verovatnoćui statistiku kao model.Pri dijagnostikovanju neke bolesti potrebno je doneti ispravnu odluku. Glavna prednost verovatnosnog razmišljanja nadlogičkim je dozvola donošenja racionalnih odluka čak i kada ne postoji dovoljno informacija da se dokaže da će bilo kojaakcija biti izvršena. U izlaganju biće prikazani i najpovoljniji alati za izgradnju sistema koji bi pomogao lekarima pridijagnostikovanju bolesti i njihova konkretna primena.33
Page 1: Verovatnosne logike i njihove prime
Page 5: Program konferencije:Dan 1 - 29. 9.
Page 9 and 10: SadržajA Branching-time Probabilis
Page 11 and 12: A Branching-time Probabilistic Logi
Page 13 and 14: A first-order probabilistic logic w
Page 15 and 16: An optimised index structure for st
Page 17 and 18: Artificial Neural Networksfor Decis
Page 19 and 20: Bayesian probability theory is the
Page 21 and 22: Constructive Anti-ideals Theory of
Page 23 and 24: Table 1: Experimental results on sm
Page 25 and 26: Formal Verification of Key Properti
Page 27 and 28: The natural question here is how to
Page 29 and 30: Message Passing Algorithmsover the
Page 31: Monadic Calculus and ConstituentsSa
Page 35 and 36: Pseudo-Random Number Generator Usin
Page 37 and 38: For a two-person mixture, the easie
Page 39: Sistem za podršku u kliničkom odl

Knjiga apstrakata - Mathematical Institute of the Serbian Academy of ...

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?