Relational Probabilistic Conditionals and Their Instantiations under Maximum Entropy Semantics for First-Order Knowledge Bases

Autor: Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner

Publikováno v: Entropy, Vol 17, Iss 2, Pp 852-865 (2015)

For conditional probabilistic knowledge bases with conditionals based on propositional logic, the principle of maximum entropy (ME) is well-established, determining a unique model inductively completing the explicitly given knowledge. On the other ha

Externí odkaz: https://doaj.org/article/a8cde13f27da4aa682d566300410197d

An Interactive Modelling Environment for Designing Warehouse Layouts Based on ASP

Autor: Andre Thevapalan, Marco Wilhelm, Gabriele Kern-Isberner, Pascal Kaiser, Moritz Roidl

Publikováno v: The International FLAIRS Conference Proceedings. 36

In this paper, we apply answer set programming (ASP) to the task of planning warehouse layouts within the logistical domain. Warehouse layout planners have to take into account a vast number of aspects to come up with feasible layouts, especially the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::c09cc5814507d83a67462a4a975b4de7
https://doi.org/10.32473/flairs.36.133239

Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks

Autor: Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm

Publikováno v: Artificial Intelligence, 317:103876. Elsevier Science
Artificial Intelligence, 317:103876. ELSEVIER SCIENCE BV
Heyninck, J, Kern-Isberner, G, Rienstra, T, Skiba, K & Thimm, M 2023, ' Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks ', Artificial Intelligence, vol. 317, 103876 . https://doi.org/10.1016/j.artint.2023.103876

For propositional beliefs, there are well-established connections between belief revision, defeasible conditionals, and nonmonotonic inference. In argumentative contexts, such connections have not yet been investigated. On the one hand, the exact rel

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::854d070e9af7b3daeaf2a7f8148f1018
https://doi.org/10.1016/j.artint.2023.103876

On establishing robust consistency in answer set programs

Autor: ANDRE THEVAPALAN, GABRIELE KERN-ISBERNER

Answer set programs used in real-world applications often require that the program is usable with different input data. This, however, can often lead to contradictory statements and consequently to an inconsistent program. Causes for potential contra

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::963d88de46f7edbe94eae74688c43d6c
http://hdl.handle.net/2003/41350

Integrating Cognitive Principles From ACT-R Into Probabilistic Conditional Reasoning by Taking the Example of Maximum Entropy Reasoning

Autor: Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle

Publikováno v: The International FLAIRS Conference Proceedings. 35

Many modern artificial intelligence (AI) systems like human-interacting smart devices or expert systems adapt to specific users' information processes but the underlying AI methods commonly lack a theory of mind. Thus, there is a need to better under

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::f588f12220dc8d11b3cf299ef5e52b5d
https://doi.org/10.32473/flairs.v35i.130674