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 14 of 14 for “"Knowledge Representation and Reasoning"”.
-
Explanation for defeasible entailment
… facilities are an essential 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 …
-
Towards formalisation of situation-specific computationsin pervasive computing environments
We have categorised the characteristics and the content of pervasive computing environments (PCEs), and demonstrated why a non-dynamic approach to knowledge conceptualisation in PCEs does not fulfil the expectations we may have from them. Consequently, we have proposed a formalised computational …
-
Automated Reasoning via a Multi-sorted Fragment of Computable Set Theory with Applications to Semantic Web
… data enables software agents to manipulate and query information on behalf of human agents. To achieve such goal, machines are provided with appropriate languages and tools. Investigating new technologies which can extend the power of knowledge representation and reasoning systems is the …
-
Reasoning on the response of logical signaling networks with answer set programming
… transduction networks are crucial for the understanding of the cellular response to external and internal perturbations. Importantly, in order to cope with the complexity of these networks, mathematical and computational modeling is required. We propose a computational modeling framework in order …
-
Learning-Based Situational Awareness, Decision Making, And Flexibility Aggregation for Power Distribution Systems with Uncertainty
… energy resources in both the generation and demand-side brings environmental benefits and technical challenges to electric power distribution systems. Specifically, due to the inherently intermittent nature of renewable energy resources and the invisible behaviors of customers in …
-
Interactive logical analysis of planning domains
… about previously unencountered planning domains, and leverage this ability to construct “general-purpose'' solution plans for the domain.</p> <p>The long term vision of this research is to automate this ability, constructing a system that utilizes reasoning to automatically verify claims about a …
-
FORMALIZATION AND IMPLEMENTATION OF GENERALIZED CONSTRAINT LANGUAGE FOR REALIZATION OF COMPUTING WITH WORDS
… to represent the meaning of imprecise words and phrases in natural language and introduces advanced techniques to perform reasoning on imprecise knowledge. Despite its fundamental role, the definition of GCL has remained informal since its introduction by Zadeh and, to our knowledge, no …
-
Semantic deontic modeling and text classification for supporting automated environmental compliance checking in construction
… norms (regulatory norms, contractual norms, and advisory practices). Manual compliance checking has been time-intensive, resource-consuming, and error-prone. Automated compliance checking (ACC) is thus a more efficient approach to compliance assessment. However, automated compliance checking …
-
Justifications for KLM-style defeasible reasoning
… was first suggested by McCarthy in the 1950s, and this has led to extensive research into 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 …
-
A complete reified temporal logic and its applications
Temporal representation and reasoning plays a fundamental and increasingly important role in some areas of Computer Science and Artificial Intelligence. A natural approach to represent and reason about time-dependent knowledge is to associate them with instantaneous time points and/or durative time …
-
Logic, Learning, and Explanation: Theoretical and Applied Perspectives on Machine Reasoning
… explores the interface between logic and machine learning, focusing on both theoretical foundations and applications to interpretability. It is structured around three main themes: the logical expressivity of Graph Neural Networks (GNNs), interpretability methods for GNNs, and the use …
-
Proof theory and algorithms for answer set programming
… ASP faces a growing range of applications, demanding for high-performance tools able to solve complex problems. ASP integrates ideas from a variety of neighboring fields. In particular, automated techniques to search for answer sets are inspired by Boolean Satisfiability (SAT) solving …
-
Evolving and Proactive Risk Modelling in Underground Working Environments
… are critical to global resource extraction and urban development, yet they are inherently hazardous due to their dynamic and unpredictable nature. Rapid changes, including methane accumulation and environmental fluctuations, threaten worker safety, operational continuity, and infrastructure …
-
Interpretable Knowledge Transfer in Communicative Neural-based Swarm-Guidance Agents
… It enhances a system's performance, reliability and trustworthiness. Transparency in human-autonomy teaming is a key success factor in the communication between humans and autonomous agents. This thesis focuses on the problem of knowledge transfer between two neural network (NN) agents in a …