Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 21 for “"Reasoning systems"”.
-
A Classification Approach for Automated Reasoning Systems--A Case Study in Graph Theory
<p>Reasoning systems which create classifications of structured objects face the problem of how object descriptions can be used to reflect their components as well as relations among these components. Current reasoning systems on graph theory do not adequately provide models to discover complex …
-
Connections Between Infants' Object-Representation and Physical-Reasoning Systems: Priming Effects in Violation -of -Expectation and Manual-Search Tasks
… an event category; once included in the physical-reasoning system, the information about the variable will be interpreted by infants' core knowledge, allowing them to detect persistence violations involving the variable and guiding them to act appropriately in an event.
-
Neural Diagrammatic Reasoning
… to measure human fluid intelligence. Mechanised reasoning systems typically encode diagrams into symbolic representations that can be easily processed with rule-based expert systems. This relies on human experts to define the framework of diagram-to-symbol mapping and the set of rules to reason …
-
The local geometry of multiattribute tradeoff preferences
Existing preference reasoning systems have been successful in simple domains. Broader success requires more natural and more expressive preference representations. This thesis develops a representation of logical preferences that combines numerical tradeoff ratios between partial outcome …
-
Verification of full functional correctness for imperative linked data structures
… us to effectively leverage Jahob's integrated reasoning system. Unlike conventional program verification systems that rely on a single monolithic prover, Jahob includes interfaces to a diverse collection of specialized automated reasoning systems-automated theorem provers, decision procedures, …
-
Practical artificial commonsense
… translate into spectacular failures when these systems encounter situations that their engineers never conceived. These failures stand in stark contrast to the average person who, while lacking the speed and accuracy of such machines, can draw on commonsense intuitions to effortlessly improvise …
-
Explanation for defeasible entailment
… part of tools for knowledge representation and reasoning systems. Knowledge representation and reasoning systems allow users to capture information about the world and reason about it. They are useful in understanding entailments which allow users to derive implicit knowledge that can be made …
-
Computing moral hypotheticals
… we humans do. And I lay the groundwork for moral reasoning systems that are as nuanced, imaginative, and articulate as we humans are.
-
Base selection in analogical planning
… most severe limitations in current analogical reasoning systems, because of the complexity of the task and the ill-defined nature of the problem. This research addresses the complexity issue by designing a parallel base selection algorithm and verifying the efficiency of the design through …
-
Generalized conflict learning for hybrid discrete/linear optimization
… have formed the core of practical, model-based reasoning systems for the last three decades. In many of these applications there is a series of discrete constraint optimization problems and a conflict-directed search algorithm, which uses conflicts in the forward search step to focus search away …
-
Information extraction to facilitate translation of natural language legislation
… are more accessible to existing automated reasoning systems. Even though these laws are expressed in natural language, for this very specific domain, only a handful of sentence structures are actually used to convey logic. This structure can be exploited so that the program can …
-
Reasoning about quantities in natural language
"Quantitative reasoning involves understanding the use of quantities and numeric relations in text, and reasoning with respect to them. It forms an essential part of everyday interaction. However, little work from the Natural Language Processing community has focused on quantitative reasoning. In …
-
AI Enhanced Reasoning: Augmenting Human Critical Thinking with AI Systems
… complex and information-saturated world. As AI systems become more entwined with our daily lives and institutions, there is a growing need to design and deploy AI systems that augment human reasoning, foster critical thinking, and promote well-informed decision-making. This thesis investigates …
-
Visualisation and manipulation tools for Modal logic
… students find concepts such as Modal proofs and systems difficult to learn, whilst possible worlds and Modes are fairly straightforward. Areas such as reference, belief and accessibility relations fall between these extremes.<br></br><br></br>Two roles for representations in reasoning are …
-
Towards an Intelligent Built Environment: Digital Building Logbooks and AI Systems for Managing and Reasoning over BIM Data
… Logbooks (DBLs) for data management and AI systems for intelligent reasoning on building information. The first part introduces a DBL, a modular and interoperable architecture ensuring data traceability, integrity, and accessibility over time. Developed within the Horizon Europe CHRONICLE …
-
Security and privacy in 5G
The current advancements of communication systems and their applications have changed our lives and will influence them further in the future. Next generation 5G networks will represent a salient technological breakthrough that combines old and new technologies and involves, among all, new models …
-
Interactions between normative systems and software cognitive agents. A formalization in temporal modal defeasible logic and its implementation
Sustainable computer systems require some flexibility to adapt to environmental unpredictable changes. A solution lies in autonomous software agents which can adapt autonomously to their environments. Though autonomy allows agents to decide which behavior to adopt, a disadvantage is a lack of …
-
Justifications for KLM-style defeasible reasoning
… a field known as knowledge representation and reasoning, wherein research is conducted into how best to represent knowledge and reason about said knowledge in order to create more knowledge. Many systems which use formal logic were initially highly constrained as the algorithms which they …
-
Representing and reasoning about concrete domains with inference fusion.
… domains). Current DL-based inferential systems adopt a tableau-based algorithm to enable automated reasoning, which, to some extent, can be considered as a constraint system that relies on concept constructors for specifying restrictions on the defining concepts. Such facts present a …
-
Automated Reasoning via a Multi-sorted Fragment of Computable Set Theory with Applications to Semantic Web
… extend the power of knowledge representation and reasoning systems is the main task of my research work started by observing the lack of some desirable characteristics concerning the expressiveness of semantic web languages and their integration with some features of rule-based languages, arisen …
Page 1 of 2