Contextual Reasoning in Concept Spaces
نویسندگان
چکیده
This paper presents ongoing work on a modular theory for contextual reasoning and the formalization of context. We introduce a two-tiered knowledge representation formalism that grounds an agent's pre-symbolic understanding of the world in a state space, and go on to develop a notion of concept spaces as its logical abstraction. After discussing some advantages of this model, we show how it accounts quite naturally for certain high-level forms of context-dependent inference.
منابع مشابه
On-the-Fly Situation Composition within Smart Spaces
Advances in pervasive computing systems have made smart computing spaces a reality. These smart spaces are sources of large amount of data required for context aware pervasive applications to function autonomously. In this paper we present a situation aware reasoning system that composes situations at runtime based on available information from the smart spaces. Our proposed system R-CS uses si...
متن کاملتأملی در مفهوم و ارزش خلاقیت: ارزش خلاقانۀ معماری مبتنیبر الگو (مقایسۀ چارچوب ارزشی سنتی، معاصر و اسلامی)
Creativity is a concept that is counted nowadays as a person’s most valuable characteristics. It is highly important in the literature of architectural education and the profession. Its normative place in architectural design makes it an essential subject of study. The “meaning” of this concept is put into question in this paper due to its source of normative value. The resear...
متن کاملDeLP based Semantic Location Lattice for Intelligent Robotic Navigation
Location models require a well-defined representation of spatial connectivity and hierarchical relationship between different spatial concepts; and are fundamental for location navigation, location based services and contextual query responses. Current location models rely on a priori knowledge of surrounding environment and mostly the semantics of relationships are over-looked. In this paper w...
متن کاملSocial Logic of Kitchen Space in Vernacular Architecture (Case Study: Qeshm Housing) – Examination and Analysis
Culture and social relations play a significant role in the formation of the structure of vernacular housing of any region, especially in the Islamic countries where privacy has a considerable effect on the vernacular culture, and consequently, on the house’s structure. Among the house spaces, the kitchen is more affected than other spaces by such issues so that its relations pattern with other...
متن کاملFormal Concept Analysis and Resolution in Algebraic Domains — Preliminary Report
We relate two formerly independent areas: Formal concept analysis and logic of domains. We will establish a correspondene between contextual attribute logic on formal contexts resp. concept lattices and a clausal logic on coherent algebraic cpos. We show how to identify the notion of formal concept in the domain theoretic setting. In particular, we show that a special instance of the resolution...
متن کامل