Odborná skupina pro logiku, pravděpodobnost a usuzování
studium teoretických základů logiky a pravděpodobnosti a jejich aplikace
Vedoucí: RNDr. Zuzana Haniková, Ph.D. (Ústav informatiky Akademie věd České republiky)
Odborná skupina pro logiku, pravděpodobnost a usuzování se zabývá studiem jak teoretických základů logiky a pravděpodobnosti, tak jejich aplikacemi především v informatice, umělé inteligenci, dobývání znalostí z databází, ekonomii a pro modelování sociálního chování a lidské interakce.
Skupina pořádá pravidelný Seminář Aplikované matematické logiky.
(Spolu-) pořádáné akce
Skupina se v nedávné době podílela na organizaci následujících akcí:
- Conference of the European Society for Fuzzy Logic and Technology, 2019
- Workshop on Admissibile Rules and Unification, 2019
- Pražské setkání logiků 2019
- Pražské setkání logiků 2018
- Beauty of Logic 2018
- Topology, Algebra and Categories in Logic 2017
- Summer School at Topology, Algebra and Categories in Logic 2017
Aktuální zajímavé výsledky členů skupiny
- . Multi-agent path inding on real robots. AI Communications, 2019.
- . An Experimental Study of Influence of Modeling and Solving Techniques on Performance of a Tabled Logic Programming Planner. Fundamenta Informaticae2016.
- . A minimalistic many-valued theory of types. Journal of Logic and Computation, 2017.
- . An abstract approach to consequence relations. The Review of Symbolic Logic, 2019.
- . A Henkin-style proof of completeness for first-order algebraizable logics. Journal of Symbolic Logic, 2015.
- Optical analysis of coatings including diffractive pigments using a high-resolution gonioreflectometer. Journal of Coatings Technology and Research, 2018.
- . Evaluating Physical and Rendered Material Appearance. The Visual Computer 2018.
- Selection and correction of weighted rules based on Lukasiewicz's fuzzy logic with evaluated syntax. Kybernetika, 2017.
- . On properties of a new decomposable entropy of Dempster-Shafer belief functions. International Journal of Approximate Reasoning, 2020
- . A new definition of entropy of belief functions in the Dempster–Shafer theory. International Journal of Approximate Reasoning, 2018.
- . Adapting ontologies to best-practice artifacts using transformation patterns: Method, implementation and use cases. Journal of Web Semantics, 2016.
- . Categorization Power of Ontologies with Respect to Focus Classes. EKAW, 2016.