Download or read book Modelling Spatial Knowledge on a Linguistic Basis written by Ewald Lang and published by Springer. This book was released on 1991 with total page 156 pages. Available in PDF, EPUB and Kindle. Book excerpt: "On the basis of a semantic analysis of dimension terms, this book develops a theory about knowledge of spatial objects, which is significant for cognitive linguistics and artificial intelligence. This new approach to knowledge structure evolves in a three-step process: - adoption of the linguistic theory with its elements, principles and representational levels, - implementation of the latter in a Prolog prototype, and - integration of the prototype into a large natural language understanding system. The study documents interdisciplinary research at work: the model of spatial knowledge is the fruit of the cooperative efforts of linguists, computational linguists, and knowledge engineers, undertaken in that logical and chronological order. The book offers a two-level approach to semantic interpretation and proves that it works by means of a precise computer implementation, which in turn is applied to support a task-independent knowledge representation system. Each of these stages is described in detail, and the links are made explicit, thus retracing the evolution from theory to practice."--PUBLISHER'S WEBSITE.

Download or read book Spatial Semiotics and Spatial Mental Models written by Martin Thiering and published by Walter de Gruyter GmbH & Co KG. This book was released on 2014-12-12 with total page 249 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents novel data from endangered languages and cultures that are ever so often still not focused on. It combines different disciplines to capture the intricacies of spatial orientation and navigation. Also, the interplay between culture through language and practices presents new insights in the importance of combining cognitive semantics with cognitive anthropology.

Download or read book Representation and Processing of Spatial Expressions written by Patrick Olivier and published by Psychology Press. This book was released on 1998-01-01 with total page 336 pages. Available in PDF, EPUB and Kindle. Book excerpt: Coping with spatial expressions in a plausible manner is a crucial problem in a number of research fields, specifically cognitive science, artificial intelligence, psychology, and linguistics. This volume contains a set of theoretical analyses as well as accounts of applications which deal with the problems of representing and processing spatial expressions. These include dialogue understanding using mental images; interfaces to CAD and multi-media systems, such as natural language querying of photographic databases; speech-driven design and assembly; machine translation systems; spatial queries for Geographic Information Systems; and systems which generate spatial descriptions on the basis of maps, cognitive maps, or other spatial representations, such as intelligent vehicle navigation systems. Though there have been many different approaches to the representation and processing of spatial expressions, most existing computational characterizations have so far been restricted to particularly narrow problem domains, usually specific spatial contexts determined by overall system goals. To date, artificial intelligence research in this field has rarely taken advantage of language and spatial cognition studies carried out by the cognitive science community. One of the fundamental aims of this book is to bring together research from both disciplines in the belief that artificial intelligence has much to gain from an appreciation of cognitive theories.

Download or read book Algebraic System Specification and Development written by Michel Bidoit and published by Springer Science & Business Media. This book was released on 1991-06-26 with total page 116 pages. Available in PDF, EPUB and Kindle. Book excerpt: Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europe shortly afterwards. Since then the algebraic approach has come to play a central role in research on formal specification and development, as its range of applications was extended to the specification of complete software systems, to the formal description of the program development process, and to the uniform definition of syntax and semantics of programming languages. Today this approach extends beyond just software to the development of integrated hardware and software systems. These flourishing activities in the area of algebraic specifications have led to an abundance of approaches, theories and concepts, which have universal algebra, category theory and logic as a common mathematical basis. This volume is an annotated bibliography which provides an up-to-date overview of past and present work on algebraic specification. No attempt is made to provide a coherent introduction to the topic for beginners; the intention is rather to provide a guide to the current literature for researchers in algebraic specification and neighboring fields. Some indications of how the different approaches are related are included, together with some ideas concerning possible future directions.

Download or read book Image Databases written by Vittorio Castelli and published by John Wiley & Sons. This book was released on 2004-04-07 with total page 609 pages. Available in PDF, EPUB and Kindle. Book excerpt: The explosive growth of multimedia data transmission has generated a critical need for efficient, high-capacity image databases, as well as powerful search engines to retrieve image data from them. This book brings together contributions by an international all-star team of innovators in the field who share their insights into all key aspects of image database and search engine construction. Readers get in-depth discussions of the entire range of crucial image database architecture, indexing and retrieval, transmission, display, and user interface issues. And, using examples from an array of disciplines, the authors present cutting-edge applications in medical imagery, multimedia communications, earth science, remote sensing, and other major application areas.

Download or read book Knowledge Based and Intelligent Information and Engineering Systems Part IV written by Andreas König and published by Springer. This book was released on 2011-09-15 with total page 492 pages. Available in PDF, EPUB and Kindle. Book excerpt: The four-volume set LNAI 6881-LNAI 6884 constitutes the refereed proceedings of the 15th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, KES 2011, held in Kaiserslautern, Germany, in September 2011. Part 4: The total of 244 high-quality papers presented were carefully reviewed and selected from numerous submissions. The 46 papers of Part 4 are organized in topical sections on human activity support in knowledge society, knowledge-based interface systems, model-based computing for innovative engineering, document analysis and knowledge science, immunity-based systems, natural language visualisation advances in theory and application of hybrid intelligent systems.

Download or read book Uncertainty in Knowledge Bases written by Bernadette Bouchon-Meunier and published by Springer Science & Business Media. This book was released on 1991-09-11 with total page 630 pages. Available in PDF, EPUB and Kindle. Book excerpt: One out of every two men over eigthy suffers from carcinoma of the prostate.It is discovered incidentally in many patients with an alleged benign prostatic hyperplasia. In treating patients, the authors make clear that primary radical prostatectomy is preferred over transurethral resection due to the lower complication rate.

Download or read book Cognitive Semantics written by Jens S. Allwood and published by John Benjamins Publishing. This book was released on 1999 with total page 215 pages. Available in PDF, EPUB and Kindle. Book excerpt: Toward the end of the 20th century, there is both a dissatisfaction with existing formal semantic theories and a wish to preserve insights from other semantic traditions. Cognitive semantics, the latest of the major trends which have dominated the century, attempts to do this by focusing on meaning as a cognitive phenomenon. This book provides different perspectives on meaning as a cognitive phenomenon. Jens Allwood presents an approach where meaning is analyzed in terms of context sensitive cognitive operations. Peter Gärdenfors examines the relationship between cognitive semantics and standard formal extensional and intensional semantics. Peter Harder discusses the relation between functionalism and cognitive semantics. Sören Sjöström and +ke Viberg extend a cognitive semantic approach to new empirical domains like vision and physical contact. Elisabeth Engberg Pedersen extends the use of cognitive semantics even further in order to analyze deaf sign language and, finally, Kenneth Holmqvist and Jordan Zlatev discuss two different possibilities of implementing a cognitive semantic approach using computer programs. The variety of perspectives on cognitive semantics make this book suitable as course material.

Download or read book In the World of Signs written by and published by BRILL. This book was released on 2022-04-25 with total page 496 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book covers almost the whole range of semiotics: the conceptions of meaning, the appearance of meaning units in semiosis, the dichotomy analyticity/syntheticity, the formal condition of good translation, the metaphorical change in fine arts, the figurativeness in modern literary theories, the metaphor in computer translation, the conditionals with egocentric predicates, the evolution of the notion of cause, the temporal relation in conditionals, the structure of passive voice, the semantics of to think, the reasoning and rationality, the non-formalized reasoning, the operation of acceptance, the principle of non-contradiction, the relation semiotics/logic/philosophy, the interdisciplinarity and exactness, the notion of imprecision, the interpretation of some semiotic notions (i.a. semantic field of terms) in terms of mathematics, the description of categorial grammars in terms of model theory, the human knowledge as moral problem, the conceptualization of the development of knowledge by means of the notion of meme, the cultural relations between some European countries, the typology of scientists, the semiotic studies of some Spanish, Irish, Czech, Polish and Norwegian works of literature, the semiotic aspects of music, television and the whole sphere of artifacts, the history of semiotics (Plato, Gonsung Long, Descartes, Fu Yen, Peirce, Brwal, Lotman, Langer).

Download or read book Computational Geometry Methods Algorithms and Applications written by Hanspeter Bieri and published by Springer Science & Business Media. This book was released on 1991-11-13 with total page 340 pages. Available in PDF, EPUB and Kindle. Book excerpt: Radiocarbon After Four Decades: An Interdisciplinary Perspective commemorates the 40th anniversary of radiocarbon dating. The volume presents discussions of every aspect of this dating technique, as well as chronicles of its development and views of future advancements and applications. All of the 64 authors played major roles in establishment, development or application of this revolutionary scientific tool. The 35 chapters provide a solid foundation in the essential topics of radiocarbon dating: Historical Perspectives; The Natural Carbon Cycle; Instrumentation and Sample Preparation; Hydrology; Old World Archaeology; New World Archaeology; Earth Sciences; and Biomedical Applications.

Download or read book Spatial Data Mining written by Deren Li and published by Springer. This book was released on 2016-03-23 with total page 329 pages. Available in PDF, EPUB and Kindle. Book excerpt: · This book is an updated version of a well-received book previously published in Chinese by Science Press of China (the first edition in 2006 and the second in 2013). It offers a systematic and practical overview of spatial data mining, which combines computer science and geo-spatial information science, allowing each field to profit from the knowledge and techniques of the other. To address the spatiotemporal specialties of spatial data, the authors introduce the key concepts and algorithms of the data field, cloud model, mining view, and Deren Li methods. The data field method captures the interactions between spatial objects by diffusing the data contribution from a universe of samples to a universe of population, thereby bridging the gap between the data model and the recognition model. The cloud model is a qualitative method that utilizes quantitative numerical characters to bridge the gap between pure data and linguistic concepts. The mining view method discriminates the different requirements by using scale, hierarchy, and granularity in order to uncover the anisotropy of spatial data mining. The Deren Li method performs data preprocessing to prepare it for further knowledge discovery by selecting a weight for iteration in order to clean the observed spatial data as much as possible. In addition to the essential algorithms and techniques, the book provides application examples of spatial data mining in geographic information science and remote sensing. The practical projects include spatiotemporal video data mining for protecting public security, serial image mining on nighttime lights for assessing the severity of the Syrian Crisis, and the applications in the government project ‘the Belt and Road Initiatives’.

Download or read book Instantiation Theory written by James G. Williams and published by Springer Science & Business Media. This book was released on 1991-08-07 with total page 148 pages. Available in PDF, EPUB and Kindle. Book excerpt: Instantiation Theory presents a new, general unification algorithm that is of immediate use in building theorem provers and logic programming systems. Instantiation theory is the study of instantiation in an abstract context that is applicable to most commonly studied logical formalisms. The volume begins with a survey of general approaches to the study of instantiation, as found in tree systems, order-sorted algebras, algebraic theories, composita, and instantiation systems. A classification of instantiation systems is given, based on properties of substitutions, degree of type strictness, and well-foundedness of terms. Equational theories and the use of typed variables are studied in terms of quotient homomorphisms and embeddings, respectively. Every instantiation system is a quotient system of a subsystem of first-order term instantiation. The general unification algorithm is developed as an application of the basic theory. Its soundness is rigorously proved, and its completeness and efficiency are verfied for certain classes of instantiation systems. Appropriate applications of the algorithm include unification of first-order terms, order-sorted terms, and first-order formulas modulo alpha-conversion, as well as equational unification using simple congruences.

Download or read book European Workshop on Planning written by Joachim Hertzberg and published by Springer Science & Business Media. This book was released on 1991-08-28 with total page 136 pages. Available in PDF, EPUB and Kindle. Book excerpt: Planning - formulating a course of action - and related fields like scheduling or reasoning about action have a long research tradition in artificial intelligence. However, there seems to have been a communications problem among European planners, with many of them unaware of good work done in neighboring countries. This volume contains ten papers presented at the European Workshop on Planning held in Sankt Augustin, Germany, March 1991. The purpose of the workshop was to provide a forum for presenting work in planning and related areas done by European researchers. The papers provide a snapshot of planning research at present being done in Europe. They describe work in the areas of plan generation, logical approaches to planning, planning under uncertainty, planning with time, and semantics of plans.

Download or read book Algebraic Specification Techniques in Object Oriented Programming Environments written by Ruth Breu and published by Springer Science & Business Media. This book was released on 1991-12-04 with total page 248 pages. Available in PDF, EPUB and Kindle. Book excerpt: The main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques. The design method pursued relies fundamentally on the structuring of systems based on the notion of data types. Depending on the level of abstraction, data types are described in an object-oriented way by algebraic specifications or by machine-executable object-oriented programs. The treatment involves two main aspects. First, object-oriented programs have to be related by a notion of correctness that models the transition from specifications to program implementations. The author presents a notion of correctness which relies on the idea of abstraction functions. Second, in order to obtain an integrated design environment, a uniform structuring concept for object oriented programs and algebraic specifications has to be provided. Inheritance, subtyping and clientship are three central notions of object-oriented structuring. Theauthor uses them to develop the kernel of a typed object- oriented programming language. The monograph provides the formal foundation for a unified framework of algebraic specifications and object-oriented programs. A major guideline is the development of a design method supporting the structured design and reuse of software in this environment.

Download or read book Information Modelling and Knowledge Bases XXX written by T. Endrjukaite and published by IOS Press. This book was released on 2019-01-03 with total page 570 pages. Available in PDF, EPUB and Kindle. Book excerpt: Information modeling and knowledge bases have become essential subjects in the last three decades, not only in academic communities related to information systems and computer science, but also in the areas of business where information technology is applied. This book presents the proceedings of the 28th International Conference on Information Modelling and Knowledge Bases (EJC2018), held in Riga, Latvia from 4–8 June 2018. The aim of the conference was to bring together experts with a common interest in the understanding and solving of problems on information modelling and knowledge bases, as well as those from different areas of computer science and other disciplines who apply the results of research to practice. The 39 accepted papers collected here cover a variety of topics, including: conceptual modeling; knowledge and information modeling and discovery; linguistic modeling; cross-cultural communication and social computing; multimedia data modeling and systems; and environmental modeling and engineering. The book will be of interest to researchers and practitioners alike, and to anyone wanting a better understanding of current advances in information technology.

Download or read book Information Modelling and Knowledge Bases XXVII written by T. Welzer and published by IOS Press. This book was released on 2016-02-04 with total page 364 pages. Available in PDF, EPUB and Kindle. Book excerpt: Information modeling has become an increasingly important topic for researchers, designers and users of information systems. In the course of the last three decades, information modeling and knowledge bases have become essential, not only with regard to information systems and computer science in an academic context, but also with the use of information technology for business purposes. This book presents 29 papers selected and upgraded from those delivered at the 25th International Conference on Information Modelling and Knowledge Bases (EJC 2015), held in Maribor, Slovenia, in June 2015. The aim of the conference is to bring together experts from different areas of computer science and other disciplines, including philosophy and logic, cognitive science, knowledge management, linguistics, and management science, with a view to understanding and solving problems and applying research results to practice. Areas covered by the papers include: conceptual modeling; knowledge and information modeling and discovery; linguistic modeling; cross-cultural communication and social computing; environmental modeling and engineering; and multimedia data modeling and systems. The book will be of interest to all those whose work involves the development or use of information modeling and knowledge bases.

Download or read book The Semantics of Prepositions written by Cornelia Zelinsky-Wibbelt and published by Walter de Gruyter. This book was released on 2011-09-06 with total page 537 pages. Available in PDF, EPUB and Kindle. Book excerpt: