A theory of abstraction

F Giunchiglia, T Walsh - Artificial intelligence, 1992 - Elsevier
Informally, abstraction can be described as the process of map** a representation of a
problem onto a new representation. The aim of this paper is to propose the beginnings of a …

[書籍][B] Abstraction in Artificial Intelligence

L Saitta, JD Zucker, L Saitta, JD Zucker - 2013 - Springer
One of the field in which models of abstraction have been proposed is Artificial Intelligence
(AI). This chapter has two parts: one presents an overview of the formal models, either …

Hierarchical model-based diagnosis

I Mozetič - International Journal of Man-Machine Studies, 1991 - Elsevier
Model-based reasoning about a system requires an explicit representation of the system's
components and their connections. Diagnosing such a system consists of locating those …

A grounded theory of abstraction in artificial intelligence

JD Zucker - … Transactions of the Royal Society of London …, 2003 - royalsocietypublishing.org
In artificial intelligence, abstraction is commonly used to account for the use of various levels
of details in a given representation language or the ability to change from one level to …

Building and refining abstract planning cases by change of representation language

R Bergmann, W Wilke - Journal of artificial intelligence research, 1995 - jair.org
Abstraction is one of the most promising approaches to improve the performance of problem
solvers. In several domains abstraction by drop** sentences of a domain description--as …

Theories of abstraction

F Giunchiglia, A Villafiorita, T Walsh - AI communications, 1997 - dl.acm.org
Theories of abstraction | AI Communications ACM Digital Library home ACM home Google, Inc.
(search) Advanced Search Browse About Sign in Register Advanced Search Journals …

On the interaction between plan recognition and intelligent interfaces

BA Goodman, DJ Litman - User Modeling and User-Adapted Interaction, 1992 - Springer
Plan recognition is an active research area in automatic reasoning, as well as a promising
approach to engineering interfaces that can exploit models of user's plans and goals. Much …

[HTML][HTML] Evaluating quality of ontology-driven conceptual models abstractions

E Romanenko, D Calvanese, G Guizzardi - Data & Knowledge Engineering, 2024 - Elsevier
The complexity of an (ontology-driven) conceptual model highly correlates with the
complexity of the domain and software for which it is designed. With that in mind, an …

A model of abstraction in visual perception

L Saitta, JD Zucker - Applied Artificial Intelligence, 2001 - Taylor & Francis
In artificial intelligence, abstraction has been mainly studied as a map** between
languages in relation to problem-solving, with the aim of reducing the complexity of the task …

Abstract theorem proving

F Giunchiglia, T Walsh - Proceedings of the 11th international joint …, 1989 - dl.acm.org
Informally, abstraction can be described as the process of map** a representation of a
problem into a new representation. The aim of the paper is to propose a theory of …