Results 231 to 240 of about 24,289 (266)

A hybrid approach for knowledge representation and reasoning

Proceedings 1993 The First New Zealand International Two-Stream Conference on Artificial Neural Networks and Expert Systems, 2002
Symbolic knowledge-based systems as well as neural networks offer several advantages, but suffer from several disadvantages if they are used as isolated systems. In consideration of this fact the main idea is to propose an architecture which is capable of handling both paradigms in one system. In the suggested approach neural networks are treated as an
openaire   +1 more source

New Rules for Hybrid Spatial Reasoning

2005
In this article, we investigate the problem of checking consistency in a hybrid formalism, which combines two essential formalisms in qualitative spatial reasoning: topological formalism and cardinal direction formalism. Instead of using conventional composition tables, we investigate the interactions between topological and cardinal directional ...
Wenhui Li 0002, Haibin Sun
openaire   +1 more source

On Modelling and Reasoning About Hybrid Systems

1992
Abstract This paper concerns the development of formal approaches for specification, simulation and validation of real-time reactive systems. Most previous approaches to this problem have focussed on discrete systems wherein the behavior of the system is described as a sequence of discrete events or state changes; they do not provide a satisfactory
R. C. Sekar 0001, Yow-Jian Lin, Sanjai Narain   +2 more
openaire   +1 more source

Hybrid Reasoning with Non-monotonic Rules

2010
This is an introduction to integrating logic programs with first order theories. The main motivation are the needs of Semantic Web to combine reasoning based on rule systems with that based on Description Logics (DL). We focus on approaches which are able to re-use existing reasoners (for DL and for rule systems).
openaire   +1 more source

An Architecture for Hybrid Creative Reasoning

2001
Creativity is one of the most remarkable characteristics of the human mind. It is thus natural that artificial intelligence research groups have been working towards the study and proposal of adequate computational models to creativity. Artificial creative systems are potentially effective in a wide range of artistic, architectural and engineering ...
Amilcar Cardoso, Ernesto Costa, Penousal Machado, Francisco C. Pereira, Paulo Gomes   +4 more
openaire   +1 more source

A Hybrid Logic for Reasoning about Knowledge and Topology

Journal of Logic, Language and Information, 2007
The paper adopts and extends the system TOPOLOGIC, introduced by Moss and Parikh in 1992, and presents a hybrid language for subset spaces containing nominals. The extension consists in introducing two kinds of nominals and the global modality in order to model satisfaction operators.
openaire   +1 more source

Qualitative Reasoning about Space with Hybrid Logic

2013
This article describes the way to employ hybrid logic ℋ(@,↓) in the analysis of qualitative spatial information. Moreover, it shows how the complexity of model checking algorithm is derived using the Kripke structure of qualitative spatial information and the query, which is presented as a formula of hybrid logic.
Stanislovas Norgela, Julius Andrikonis, Arunas Stockus   +2 more
openaire   +1 more source

Hybrid logic for possibilistic reasoning

Proceedings Joint 9th IFSA World Congress and 20th NAFIPS International Conference (Cat. No. 01TH8569), 2002
Hybrid logic is an extension of modal logic with nominals for referring to the possible worlds. A nominal is an atomic formula which is true at exactly one point in any model. By using hybrid logic, the labelled deduction mechanism can be internalized to the object language, so the proof methods for the logic can be developed without resort to meta ...
openaire   +1 more source

Cognitive Hybrid Reasoning Intelligent Agent System

2005
This paper presents a novel approach for implementing reasoning and learning systems based on Intelligent Agents. It is particularly suited for agent systems working in complex and cooperative dynamic environments. This approach was developed to overcome limitations confronted while researching the use of agents in such environments. A brief background
Christos Sioutis, Nikhil Ichalkaranje
openaire   +1 more source

The Reasons for Limited Success of Hybrid Lectures

2022 45th Jubilee International Convention on Information, Communication and Electronic Technology (MIPRO), 2022
Marjan Krasna, Tomaz Bratina
openaire   +1 more source