Results 11 to 20 of about 45,694 (311)
, 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
Special issue on logics and artificial intelligence [PDF]
Logic Journal of the IGPL, 2020 AbstractThere is a significant range of ongoing challenges in artificial intelligence (AI) dealing with reasoning, planning, learning, perception and cognition, among others. In this scenario, many-valued logics emerge as one of the topics in many of the solutions to some of those AI problems.
Zoe Falomir +3 more
openaire +2 more sources
CONTRIBUTIONS OF SOME SCIENTISTS TO THE DEVELOPMENT OF ARTIFICIAL INTELLIGENCE IN AZERBAIJAN [PDF]
Problems of Information SocietyArtificial intelligence, which has recently permeated various spheres of society, is one of the key areas of computer science. It is a synthetic and multidisciplinary field that integrates numerous areas of knowledge. Numerous scientific disciplines
Gulnar Pashayeva, Ayten Nabiyeva
doaj +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
Artificial Visual Intelligence: Perceptual Commonsense for Human-Centred Cognitive Technologies
, 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
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