Journal ArticleDOI
Multi-layer logic—A predicate logic including data structure as knowledge representation language
Setsuo Ohsuga,H Yamauchi +1 more
Reads0
Chats0
TLDR
A new style of information processing, requirements for knowledge representation and a knowledge representation satisfying these requirements are discussed, a knowledge processing system designed on this basis and a newstyle of problem solving using this system.Abstract:
A new generation computer is expected to be the knowledge processing system of the future. However, many aspects are yet unknown regarding this technology, and a number of fundamental concepts, directly concerning knowledge processing system design need investigation, such as knowledge, data, inference, communication, information management, learning, and human interface.read more
Citations
More filters
Book ChapterDOI
Toward web intelligence
TL;DR: An intelligent Web-based business-centric schematic diagram and the conceptual levels of WI are investigated, finding various ways to study WI and potential applications.
Journal ArticleDOI
Dynamically organizing KDD processes
TL;DR: This paper proposes an ontology to describe KDD agents, in the style of OOER (Object Oriented Entity Relationship) data model, and applies several AI planning techniques to solve the most difficult problem in a multiagent KDD system.
Journal ArticleDOI
Framework of knowledge-based systems: Multiple meta-level architecture for representing problems and problem-solving processes
TL;DR: The author asserts that a multiple meta-level architecture is necessary as well as a knowledge-representation language that can describe complex data structures as the basic framework of knowledge-based systems.
Journal ArticleDOI
How can knowledge-based systems solve large-scale problems?: model-based decomposition and problem solving
TL;DR: A knowledge-based system that can solve large-scale problems is discussed, provided with a new method which combines model building with hierarchical problem decomposition and a method of implementing the idea with the example of representation.
Proceedings Article
Toward a multi-strategy and cooperative discovery system
Ning Zhong,Setsuo Ohsuga +1 more
TL;DR: This paper tries to increase versatility and autonomy of GLS by multi-strategy and distributed cooperation, and extends GLS into a multi-agent, distributed and cooperative discovery system.
References
More filters
Book
The entity-relationship model: toward a unified view of data
TL;DR: A data model, called the entity-relationship model, is proposed that incorporates some of the important semantic information about the real world and can be used as a basis for unification of different views of data: the network model, the relational model, and the entity set model.
Book
Smalltalk-80: The Language and its Implementation
Adele E. Goldberg,David Robson +1 more
TL;DR: This book is the first detailed account of the Smalltalk-80 system and is divided into four major parts: an overview of the concepts and syntax of the programming language, a specification of the system's functionality, and an example of the design and implementation of a moderate-size application.
Book
A mathematical introduction to logic
TL;DR: A comparison of first- and second-order logic in the case of SETs shows that the former is more likely to be correct and the latter is less likely.
Book
Symbolic Logic and Mechanical Theorem Proving
TL;DR: This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving its applications and how it can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.