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 24 for “"Reasoning system"”.
-
Reasoning system for real time reactive systems
Real time reactive systems are complex systems that react with their environment through stimulus response behaviour. TROMLAB development environment is a formal system being developed at Concordia University. It is the basis of the real time reactive system that will be described in this thesis. …
-
A common-sense reasoning system for mechanical engineering
This thesis describes the Mechnet system, which was created to test an implementation of analogy-based reasoning about mechanical engineering, focusing on tools and machines that would be found in a shop. Mechnet uses common-sense data about how these things are used and what they are made of, and …
-
A formal characterization of a domain independent abductive reasoning system
… in utilizing abduction is automated diagnostic reasoning. This thesis provides a formal specification and methods of computation for a domain independent propositional abductive reasoning system. On the competence level, specifications are defined for domain independent abductive reasoning in …
-
Geometric-based reasoning system for project planning utilizing AI and CAD technologies
… techniques have played an important role is system analysis over the last three decades. They provide construction planners with mathematical models to simulate the construction process as an aid in planning and control of complex projects. Although these techniques have been widely used by …
-
A natural interaction reasoning system for electronic circuit analysis in an educational setting
This thesis presents a sketch-based interaction system that can be used to illustrate the process of reasoning about an electrical circuit in an educational setting. Recognition of hand-drawn shapes is accomplished in a two stage process where strokes are first processed into primitives like lines …
-
Scalable Reasoning for Knowledge Bases Subject to Changes
<p>ScienceWeb is a semantic web system that collects information about a research community and allows users to ask qualitative and quantitative questions related to that information using a reasoning engine. The more complete the knowledge base is, the more helpful answers the system will provide. …
-
Connections Between Infants' Object-Representation and Physical-Reasoning Systems: Priming Effects in Violation -of -Expectation and Manual-Search Tasks
… a variable in infants' object-representation system, we may prime infants to attend to a variable in 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 …
-
Resolution of linear entity and path geometries expressed via partially-geospatial natural language
… upon the work done for the GeoCoder spatial reasoning system, by addressing several of its limitations and extending its functionality.
-
Geospatial phrase grounding and disambiguation
GeoCoder is a spatial reasoning system that converts natural language inputs into a set of precise spatial coordinates to display on a map. GeoCoder's spatial knowledge is represented in a set of ontologies. GeoCoder parses input phrases and adds location reference individuals to its ontology …
-
An Integrated Machine Learning Approach to Optimize the Estimation of Preterm Birth
… Forward Back Propagation ANN, and Case Based Reasoning System (CBRS).This work also introduces a 5by2 cross validation method, assesses two methods of attribute selection, and considers data prevalence (15% and 8.1%) in training and testing networks. Two databases were assessed from two …
-
Story-enabled hypothetical reasoning
… Using the Genesis story understanding system as a substrate, I develop a story-enabled hypothetical reasoning system that models several high-level human abilities, including judging actions in terms of moral alternatives, contextualizing stories by considering what could have otherwise …
-
Physics-, social-, and capability- based reasoning for robotic manipulation
… This thesis outlines the development of a reasoning architecture that uses physics-, social-, and agent capability-based knowledge to generate manipulation strategies that a dexterous robot can implement in the physical world. The reasoning system learns object affordances through a …
-
Complexity modelling for case knowledge maintenance in case-based reasoning.
Case-based reasoning solves new problems by re-using the solutions of previously solved similar problems and is popular because many of the knowledge engineering demands of conventional knowledge-based systems are removed. The content of the case knowledge container is critical to the performance …
-
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 …
-
A knowledge acquisition tool to assist case authoring from texts.
Case-Based Reasoning (CBR) is a technique in Artificial Intelligence where a new problem is solved by making use of the solution to a similar past problem situation. People naturally solve problems in this way, without even thinking about it. For example, an occupational therapist (OT) that …
-
Verification of full functional correctness for imperative linked data structures
… the context of the Jahob program verification system. Our proof language allows us to embed proof commands directly within the program, making it possible to reason about the behavior of the program in its original context. It also allows us to effectively leverage Jahob's integrated reasoning …
-
Performance of an AGI-aspiring system & narrow-AI approaches : a systematic comparison
… a version of the AGI-aspiring Non-Axiomatic Reasoning System, measures up against traditional narrow-AI implementations on these metrics. Few, if any, tools allow such a direct comparison of AGI-aspiring and more traditional narrow-AI systems, an exception being the Simulator for Autonomy & …
-
Using wireless sensors and networks program for chemical particle propagation mapping and chemical source localization
… of chemical particle mapping. Last, the reasoning system is implemented aiming to detect the chemical source in the considered region where the chemical particle propagation mapping has been finished. This control scheme dynamically analyzes the data from the sensors and guide us to find …
-
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 …
-
Autonomy through real-time learning and OpenNARS for Applications
… do so key advantages over others. While most AI systems do not need to have this ability but can be trained before deployment, it allows agents to adapt, at runtime, to changing and generally unknown circumstances, and then to exploit their environment for their own purposes. To reach this goal, …
Page 1 of 2