Results 51 to 60 of about 271,070 (187)
POLITICS: Automated ideological reasoning [PDF]
Cognitive Science, 1978 POLITICS is a system of computer programs which simulates humans in comprehending and responding to world events from a given political or ideological perspective. The primary theoretical motivations were: (1) the implemention of a functional system which applies the knowledge structures of Schank and Abelson (1977) to the domain of simulating ...
openaire +1 more source
Using ConceptNet to Teach Common Sense to an Automated Theorem Prover [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 The CoRg system is a system to solve commonsense reasoning problems. The core of the CoRg system is the automated theorem prover Hyper that is fed with large amounts of background knowledge.
Claudia Schon +2 more
doaj +1 more source
A restoration method using dual generate adversarial networks for Chinese ancient characters
Visual Informatics, 2022 Ancient books that record the history of different periods are precious for human civilization. But the protection of them is facing serious problems such as aging.
Benpeng Su +4 more
doaj +1 more source
Toward Formal Models and Languages for Verifiable Multi-Robot Systems
Frontiers in Robotics and AI, 2018 Incorrect operation of a multi-robot system (MRS) may not only lead to unsatisfactory results, but it can also cause economic losses and jeopardize safety.
Rocco De Nicola +2 more
doaj +1 more source
Intelligenza Artificiale, 2006 Automated reasoning and knowledge representation are intertwined, as reasoning engines need to take into account representation formalisms and vice versa. The chapter entitled "Automated Reasoning" surveys both. It covers classical and non-classical logics, illustrating relevant trade-offs between expressivity and decidability.
M. BONACINA, MARTELLI, Alberto
openaire +2 more sources
, 2015 In this paper, we propose a single-agent modal logic framework for reasoning about goal-direct "knowing how" based on ideas from linguistics, philosophy, modal logic and automated planning.
Wang, Yanjing
core +1 more source
Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset)
Data in Brief, 2019 The authors universal (meta-)logical reasoning approach is demonstrated and assessed with a prominent riddle in epistemic reasoning: the Wise Men Puzzle.
Christoph Benzmüller
doaj +1 more source
Validating specifications of dynamic systems using automated reasoning techniques [PDF]
, 1995 In this paper, we propose a new approach to validating formal specifications of observable behavior of discrete dynamic systems. By observable behavior we mean system behavior as observed by users or other systems in the environment of the system ...
Feenstra, Remco, Wieringa, Roel
core +1 more source
Automated Verification of Neural Networks: Advances, Challenges and Perspectives
, 2018 Neural networks are one of the most investigated and widely used techniques in Machine Learning. In spite of their success, they still find limited application in safety- and security-related contexts, wherein assurance about networks' performances must ...
Leofante, Francesco +3 more
core
Action Selection for Interaction Management: Opportunities and Lessons for Automated Planning [PDF]
, 2016 The central problem in automated planning---action selection---is also a primary topic in the dialogue systems research community, however, the nature of research in that community is significantly different from that of planning, with a focus on end ...
Foster, Mary Ellen +1 more
core