Author: Claude Frasson
Publisher: Springer Science & Business Media
ISBN: 9783540556060
Category : Computers
Languages : en
Pages : 710
Book Description
This volume of the Encyclopaedia offers a systematic introduction and a comprehensive survey of the theory of complex spaces. It covers topics like semi-normal complex spaces, cohomology, the Levi problem, q-convexity and q-concavity. It is the first survey of this kind. The authors are internationally known outstanding experts who developed substantial parts of the field. The book contains seven chapters and an introduction written by Remmert, describing the history of the subject. The book will be very useful to graduate students and researchers in complex analysis, algebraic geometry and differential geometry. Another group of readers will consist of mathematical physicists who apply results from these fields.
Intelligent Tutoring Systems
Author: Claude Frasson
Publisher: Springer Science & Business Media
ISBN: 9783540556060
Category : Computers
Languages : en
Pages : 710
Book Description
This volume of the Encyclopaedia offers a systematic introduction and a comprehensive survey of the theory of complex spaces. It covers topics like semi-normal complex spaces, cohomology, the Levi problem, q-convexity and q-concavity. It is the first survey of this kind. The authors are internationally known outstanding experts who developed substantial parts of the field. The book contains seven chapters and an introduction written by Remmert, describing the history of the subject. The book will be very useful to graduate students and researchers in complex analysis, algebraic geometry and differential geometry. Another group of readers will consist of mathematical physicists who apply results from these fields.
Publisher: Springer Science & Business Media
ISBN: 9783540556060
Category : Computers
Languages : en
Pages : 710
Book Description
This volume of the Encyclopaedia offers a systematic introduction and a comprehensive survey of the theory of complex spaces. It covers topics like semi-normal complex spaces, cohomology, the Levi problem, q-convexity and q-concavity. It is the first survey of this kind. The authors are internationally known outstanding experts who developed substantial parts of the field. The book contains seven chapters and an introduction written by Remmert, describing the history of the subject. The book will be very useful to graduate students and researchers in complex analysis, algebraic geometry and differential geometry. Another group of readers will consist of mathematical physicists who apply results from these fields.
Diagnostic Test Approaches to Machine Learning and Commonsense Reasoning Systems
Author: Naidenova, Xenia
Publisher: IGI Global
ISBN: 1466619015
Category : Computers
Languages : en
Pages : 329
Book Description
The consideration of symbolic machine learning algorithms as an entire class will make it possible, in the future, to generate algorithms, with the aid of some parameters, depending on the initial users' requirements and the quality of solving targeted problems in domain applications. Diagnostic Test Approaches to Machine Learning and Commonsense Reasoning Systems surveys, analyzes, and compares the most effective algorithms for mining all kinds of logical rules. Global academics and professionals in related fields have come together to create this unique knowledge-sharing resources which will serve as a forum for future collaborations.
Publisher: IGI Global
ISBN: 1466619015
Category : Computers
Languages : en
Pages : 329
Book Description
The consideration of symbolic machine learning algorithms as an entire class will make it possible, in the future, to generate algorithms, with the aid of some parameters, depending on the initial users' requirements and the quality of solving targeted problems in domain applications. Diagnostic Test Approaches to Machine Learning and Commonsense Reasoning Systems surveys, analyzes, and compares the most effective algorithms for mining all kinds of logical rules. Global academics and professionals in related fields have come together to create this unique knowledge-sharing resources which will serve as a forum for future collaborations.
Complicated Methods of Logical Analysis Based on Simple Mathematics
Author: Boris Kulik
Publisher: Cambridge Scholars Publishing
ISBN: 1527580156
Category : Psychology
Languages : en
Pages : 195
Book Description
Those who want to understand logic, if they manage to pass at least an initial, though far from simple, modern course of study, eventually conclude that practically logic consists in formulating premises and a taken-from-nowhere assertion in an incomprehensible language and then proving or disproving cause-consequence links between them. Conversely, many topical tasks of logical analysis, such as forming and testing hypotheses, inferring consequences with predefined properties, and searching for, and analysis of, logical errors and inconsistencies in reasoning, among others, are outside the scope of this discourse. They are scattered haphazardly in works on theory of argumentation, non-classical logics, and artificial intelligence. This book demonstrates the capabilities of two relatively simple mathematical systems developed by the authors, namely E-structures and n-tuple algebra, which allow the modelling of various types of reasoning and solve the above and some other tasks of logical analysis.
Publisher: Cambridge Scholars Publishing
ISBN: 1527580156
Category : Psychology
Languages : en
Pages : 195
Book Description
Those who want to understand logic, if they manage to pass at least an initial, though far from simple, modern course of study, eventually conclude that practically logic consists in formulating premises and a taken-from-nowhere assertion in an incomprehensible language and then proving or disproving cause-consequence links between them. Conversely, many topical tasks of logical analysis, such as forming and testing hypotheses, inferring consequences with predefined properties, and searching for, and analysis of, logical errors and inconsistencies in reasoning, among others, are outside the scope of this discourse. They are scattered haphazardly in works on theory of argumentation, non-classical logics, and artificial intelligence. This book demonstrates the capabilities of two relatively simple mathematical systems developed by the authors, namely E-structures and n-tuple algebra, which allow the modelling of various types of reasoning and solve the above and some other tasks of logical analysis.
Intelligent Learning Environments: The Case of Geometry
Author: Jean-Marie Laborde
Publisher: Springer Science & Business Media
ISBN: 3642609279
Category : Computers
Languages : en
Pages : 285
Book Description
This book is a thoroughly revised result, updated to mid-1995, of the NATO Advanced Research Workshop on "Intelligent Learning Environments: the case of geometry", held in Grenoble, France, November 13-16, 1989. The main aim of the workshop was to foster exchanges among researchers who were concerned with the design of intelligent learning environments for geometry. The problem of student modelling was chosen as a central theme of the workshop, insofar as geometry cannot be reduced to procedural knowledge and because the significance of its complexity makes it of interest for intelligent tutoring system (ITS) development. The workshop centred around the following themes: modelling the knowledge domain, modelling student knowledge, design ing "didactic interaction", and learner control. This book contains revised versions of the papers presented at the workshop. All of the chapters that follow have been written by participants at the workshop. Each formed the basis for a scheduled presentation and discussion. Many are suggestive of research directions that will be carried out in the future. There are four main issues running through the papers presented in this book: • knowledge about geometry is not knowledge about the real world, and materialization of geometrical objects implies a reification of geometry which is amplified in the case of its implementation in a computer, since objects can be manipulated directly and relations are the results of actions (Laborde, Schumann). This aspect is well exemplified by research projects focusing on the design of geometric microworlds (Guin, Laborde).
Publisher: Springer Science & Business Media
ISBN: 3642609279
Category : Computers
Languages : en
Pages : 285
Book Description
This book is a thoroughly revised result, updated to mid-1995, of the NATO Advanced Research Workshop on "Intelligent Learning Environments: the case of geometry", held in Grenoble, France, November 13-16, 1989. The main aim of the workshop was to foster exchanges among researchers who were concerned with the design of intelligent learning environments for geometry. The problem of student modelling was chosen as a central theme of the workshop, insofar as geometry cannot be reduced to procedural knowledge and because the significance of its complexity makes it of interest for intelligent tutoring system (ITS) development. The workshop centred around the following themes: modelling the knowledge domain, modelling student knowledge, design ing "didactic interaction", and learner control. This book contains revised versions of the papers presented at the workshop. All of the chapters that follow have been written by participants at the workshop. Each formed the basis for a scheduled presentation and discussion. Many are suggestive of research directions that will be carried out in the future. There are four main issues running through the papers presented in this book: • knowledge about geometry is not knowledge about the real world, and materialization of geometrical objects implies a reification of geometry which is amplified in the case of its implementation in a computer, since objects can be manipulated directly and relations are the results of actions (Laborde, Schumann). This aspect is well exemplified by research projects focusing on the design of geometric microworlds (Guin, Laborde).
Conceptual Structures: Logical, Linguistic, and Computational Issues
Author: Bernhard Ganter
Publisher: Springer Science & Business Media
ISBN: 354067859X
Category : Computers
Languages : en
Pages : 580
Book Description
This book constitutes the refereed proceedings of the 8th International Conference on Conceptual Structures, ICCS 2000, held in Darmstadt, Germany in August 2000. The 38 revised full papers presented have been carefully reviewed and selected for inclusion in the proceedings. The book is divided in topical sections on concepts and language, conceptual onthology, conceptual graphs, formal semantics of conceptual structures, contextual logic and formal concept analysis, conceptual structures in practice, and computational aspects of conceptual structures.
Publisher: Springer Science & Business Media
ISBN: 354067859X
Category : Computers
Languages : en
Pages : 580
Book Description
This book constitutes the refereed proceedings of the 8th International Conference on Conceptual Structures, ICCS 2000, held in Darmstadt, Germany in August 2000. The 38 revised full papers presented have been carefully reviewed and selected for inclusion in the proceedings. The book is divided in topical sections on concepts and language, conceptual onthology, conceptual graphs, formal semantics of conceptual structures, contextual logic and formal concept analysis, conceptual structures in practice, and computational aspects of conceptual structures.
Artificial Intelligence: Methodology, Systems, Applications (Aimsa '94) - Proceedings Of The 6th International Conference
Author: Philippe Jorrand
Publisher: World Scientific
ISBN: 9814550531
Category :
Languages : en
Pages : 418
Book Description
Publisher: World Scientific
ISBN: 9814550531
Category :
Languages : en
Pages : 418
Book Description
Data Mining and Reverse Engineering
Author: Stefano Spaccapietra
Publisher: Springer
ISBN: 0387353003
Category : Computers
Languages : en
Pages : 502
Book Description
Searching for Semantics: Data Mining, Reverse Engineering Stefano Spaccapietra Fred M aryanski Swiss Federal Institute of Technology University of Connecticut Lausanne, Switzerland Storrs, CT, USA REVIEW AND FUTURE DIRECTIONS In the last few years, database semantics research has turned sharply from a highly theoretical domain to one with more focus on practical aspects. The DS- 7 Working Conference held in October 1997 in Leysin, Switzerland, demon strated the more pragmatic orientation of the current generation of leading researchers. The papers presented at the meeting emphasized the two major areas: the discovery of semantics and semantic data modeling. The work in the latter category indicates that although object-oriented database management systems have emerged as commercially viable prod ucts, many fundamental modeling issues require further investigation. Today's object-oriented systems provide the capability to describe complex objects and include techniques for mapping from a relational database to objects. However, we must further explore the expression of information regarding the dimensions of time and space. Semantic models possess the richness to describe systems containing spatial and temporal data. The challenge of in corporating these features in a manner that promotes efficient manipulation by the subject specialist still requires extensive development.
Publisher: Springer
ISBN: 0387353003
Category : Computers
Languages : en
Pages : 502
Book Description
Searching for Semantics: Data Mining, Reverse Engineering Stefano Spaccapietra Fred M aryanski Swiss Federal Institute of Technology University of Connecticut Lausanne, Switzerland Storrs, CT, USA REVIEW AND FUTURE DIRECTIONS In the last few years, database semantics research has turned sharply from a highly theoretical domain to one with more focus on practical aspects. The DS- 7 Working Conference held in October 1997 in Leysin, Switzerland, demon strated the more pragmatic orientation of the current generation of leading researchers. The papers presented at the meeting emphasized the two major areas: the discovery of semantics and semantic data modeling. The work in the latter category indicates that although object-oriented database management systems have emerged as commercially viable prod ucts, many fundamental modeling issues require further investigation. Today's object-oriented systems provide the capability to describe complex objects and include techniques for mapping from a relational database to objects. However, we must further explore the expression of information regarding the dimensions of time and space. Semantic models possess the richness to describe systems containing spatial and temporal data. The challenge of in corporating these features in a manner that promotes efficient manipulation by the subject specialist still requires extensive development.
Problem Solving: Methods, Programming and Future Concepts
Author: O.V. German
Publisher: Elsevier
ISBN: 9780080544830
Category : Mathematics
Languages : en
Pages : 421
Book Description
Problem solving is the very area of articifical intelligence AI which, probably, will never result in a complete set of formalized theories, in a pragmatic philosphy, or in a "universal" applied discipline. Studying questions concerning this area, encompasses different concepts, models and theories. This volume of the series looks at classifying problems, interpreting them, and the methods of solving them. The final chapter covers future concepts such as universal problem solving approach restoration, weak methods becoming strong, the role of formal logic in future developments, human factors and other paradigms. Different groups of readers such as mathematicians, specialists in computer sciences, and programmers will find this title of interest. Post-graduates and the students specializing in AI and applied mathematics will also find the work useful.
Publisher: Elsevier
ISBN: 9780080544830
Category : Mathematics
Languages : en
Pages : 421
Book Description
Problem solving is the very area of articifical intelligence AI which, probably, will never result in a complete set of formalized theories, in a pragmatic philosphy, or in a "universal" applied discipline. Studying questions concerning this area, encompasses different concepts, models and theories. This volume of the series looks at classifying problems, interpreting them, and the methods of solving them. The final chapter covers future concepts such as universal problem solving approach restoration, weak methods becoming strong, the role of formal logic in future developments, human factors and other paradigms. Different groups of readers such as mathematicians, specialists in computer sciences, and programmers will find this title of interest. Post-graduates and the students specializing in AI and applied mathematics will also find the work useful.
Artificial Intelligence
Author: P. Jorrand
Publisher: World Scientific
ISBN: 9814533971
Category : Artificial intelligence
Languages : en
Pages : 418
Book Description
Publisher: World Scientific
ISBN: 9814533971
Category : Artificial intelligence
Languages : en
Pages : 418
Book Description
Applications of Artificial Intelligence in Engineering VI
Author: George Rzevski
Publisher: Springer Science & Business Media
ISBN: 9401136483
Category : Science
Languages : en
Pages : 1017
Book Description
This book contains papers presented at the sixth International Conference on Application of Artificial Intelligence in Engineering held in Oxford, UK in was held in Southampton, UK July 1991. The first conference in this series the second in Cambridge, Massachusetts, USA in 1987, the third in 1986, 1989 in Palo Alto, California, USA in 1988, the fourth in Cambridge, UK in and the fifth in Boston, Massachusetts, USA in 1990. The conference series has now established itself as the unique forum for the presentation of the latest research, development and application of artificial intelligence (AI) in all fields of engineering. Consequently, books of conference proceedings provide a historical record of the application of AI in engineering design, analysis, simulation, planning, scheduling, monitoring, control, diagnosis, reliability and quality, as well as in robotics and manufacturing systems, from the early beginnings to mature applications of today. Whilst previously the field was dominated by knowledge-based systems, in this latest volume, for the first time, a significant proportion of papers cover the paradigms of neural networks and genetic algorithms. Learning and self organising behaviour of systems based on these paradigms are particularly important in engineering applications. From a large number of submitted proposals over sixty papers have been selected by members of the Advisory Committee who acted as referees. Pa pers have been grouped under the following headings.
Publisher: Springer Science & Business Media
ISBN: 9401136483
Category : Science
Languages : en
Pages : 1017
Book Description
This book contains papers presented at the sixth International Conference on Application of Artificial Intelligence in Engineering held in Oxford, UK in was held in Southampton, UK July 1991. The first conference in this series the second in Cambridge, Massachusetts, USA in 1987, the third in 1986, 1989 in Palo Alto, California, USA in 1988, the fourth in Cambridge, UK in and the fifth in Boston, Massachusetts, USA in 1990. The conference series has now established itself as the unique forum for the presentation of the latest research, development and application of artificial intelligence (AI) in all fields of engineering. Consequently, books of conference proceedings provide a historical record of the application of AI in engineering design, analysis, simulation, planning, scheduling, monitoring, control, diagnosis, reliability and quality, as well as in robotics and manufacturing systems, from the early beginnings to mature applications of today. Whilst previously the field was dominated by knowledge-based systems, in this latest volume, for the first time, a significant proportion of papers cover the paradigms of neural networks and genetic algorithms. Learning and self organising behaviour of systems based on these paradigms are particularly important in engineering applications. From a large number of submitted proposals over sixty papers have been selected by members of the Advisory Committee who acted as referees. Pa pers have been grouped under the following headings.