Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations [PDF]
, 2021 © 2019 International Joint Conferences on Artificial Intelligence. All rights reserved. Temporal logics are useful for providing concise descriptions of system behavior, and have been successfully used as a language for goal definitions in task planning.
Shah, Ankit Jayesh +4 more
core +1 more source
Entropy-based Logic Explanations of Neural Networks [PDF]
, 2022 Explainable artificial intelligence has rapidly emerged since lawmakers have started requiring interpretable models for safety-critical domains.
Lió, Pietro +11 more
core +5 more sources
The Conditions of Artificial General Intelligence: Logic, Autonomy, Resilience, Integrity, Morality, Emotion, Embodiment, and Embeddedness [PDF]
, 2022 There are different difficulties in defining a fundamental concept; it often happens that some conditions are too strong or just surplus, and others are too weak or just lacking. There is no clearly agreed conception of intelligence, let alone artificial
Maruyama, Yoshihiro
core +1 more source
Artificial Visual Intelligence: Perceptual Commonsense for Human-Centred Cognitive Technologies [PDF]
, 2023 We address computational cognitive vision and perception at the interface of language, logic, cognition, and artificial intelligence. The chapter presents general methods for the processing and semantic interpretation of dynamic visuospatial imagery with
Suchan, Jakob +3 more
core +1 more source
High Risk Artificial Intelligence Systems and Legal Doctrine of Essential Facilities: in Search for a Dynamic Model [PDF]
Interdisciplinary Description of Complex SystemsThe Regulation of the European Parliament and of the Council on laying down harmonised rules on Artificial Intelligence and amending certain Union Legislative Acts (Artificial Intelligence Act) targets high risk artificial intelligence systems as one of ...
Dominik Vuletić
doaj +1 more source
New Developments in Chinese Studies of Contemporary Inductive Logic
Asian Studies, 2022 Contemporary Chinese studies in inductive logic have long revolved around the unfolding of a philosophical investigation into Hume’s problem. Led by research in probabilistic logic, the principal content of contemporary Chinese logic consists of ...
Xiaoming Ren
doaj +1 more source
Satisfiability in Strategy Logic can be Easier than Model Checking [PDF]
, 2019 In the design of complex systems, model-checking and satisfiability arise as two prominent decision problems. While model-checking requires the designed system to be provided in advance, satisfiability allows to check if such a system even exists.
Benerecetti, Massimo +5 more
core +1 more source
Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases [PDF]
Logical Methods in Computer ScienceThe necessity to manage inconsistency in Description Logics Knowledge Bases (KBs) has come to the fore with the increasing importance gained by the Semantic Web, where information comes from different sources that constantly change their content and may ...
Riccardo Zese +2 more
doaj +1 more source
Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling [PDF]
Logical Methods in Computer ScienceThe Job-shop Scheduling Problem (JSP) is a well-known and challenging combinatorial optimization problem in which tasks sharing a machine are to be arranged in a sequence such that encompassing jobs can be completed as early as possible.
Mohammed M. S. El-Kholany +2 more
doaj +1 more source
Inference diagnostic state of the technical object in logic k-valuable [PDF]
Biuletyn Wojskowej Akademii Technicznej, 2017 The article presents the problem of describing the theoretical basis for inference (decision-making) in the multi-valued logic. A significant part of the article concerns the descrip-tion of the basis for the development of the logic k-value, where k = 2,
Stanisław Duer
doaj +1 more source