检索结果-内蒙古大学图书馆

16th International Joint Conference on Artificial Intelligence, IJCAI 1999

作者： Foo, Norman Y. Pagnucco, Maurice Nayak, Abhaya C. Department of Artificial Intelligence School of Computer Science and Engineering University of New South Wales NSW 2052 Australia Knowledge Systems Group School of MPCE Macquarie University NSW 2109 Australia

Diagrammatic reasoning comprises phenomena that range from the so-called "free-rides" (e.g. almost immediate understanding of visually perceived relationships) to conventions about tokens. Such reasoning must involve cognitive processes that are highly perceptual in content. In the domain of mathematical proofs where diagrams have had a long history, we have an opportunity to investigate in detail and in a controlled setting the various perceptual devices and cognitive processes that facilitate diagrammatically based arguments. This paper continues recent work by examining two kinds of diagrammatic proofs, called Categories 1 and 3 by Jamnik, et. al. 97], the first being one in which generalization of a diagram instance is implied, and the second being one in which an infinite completion is represented by an ellipsis. We provide explanations of why these proofs work, a semantics for ellipses, and conjectures about the underlying cognitive processes that seem to resonate with such proofs.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Automatic revision of simulation models

引用

IEEE Intelligent Systems and Their Applications 1998年第2期13卷 75-81页

作者： Pos, Anita Akkermans, Hans Top, Jan Unilever Res. Lab. Vlaardingen Netherlands Free University Amsterdam Netherlands ATO-DLO Netherlands Systems Engineering Group Unilever Research Netherlands University of Twente Netherlands Unilever Res. Lab. Vlaardingen 3130 AC Vlaardingen PO Box 114 Netherlands Dept. Applic.- Bus.-oriented Info. Free University Amsterdam Netherlands State University Groningen Netherlands Free Univ. Amsterdam Computer Science Dept. NL-1081 HV Amsterdam De Boelelaan 1081a Netherlands AKMC Knowledge Management NL-1831 BV Koedijk Klareweid 19 Netherlands Production Management Department ATO-DLO Netherlands ATO-DLO AA Wageningen PO Box 6700 Netherlands

007, an intelligent modeling assistant, helps users formulate explicit, testable requirements and assess the current model. It then executes generic repair plans and revises the model until requirements are met.

关键词： Automatic Revision Intelligent Modeling Assistant Simulation Models

来源：评论

学校读者我要写书评

暂无评论

Inductive properties of states 10th

引用

10th Australian Joint Conference on Artificial Intelligence, AI 1997

作者： Foo, Norman Peppas, Pavlos Zhang, Yan Knowledge Systems Group School of Computer Science and Engineering University of New South Wales NSW2052 Australia Knowledge Systems Group Department of Computing School of MPCE Macquarie University NSW2109 Australia Knowledge Systems Group Department of Computing University of Western Sydney NepeanNSW2747 Australia

ISBN: (纸本)3540637974

In the situation calculus states are often distinguished from situations by the assumption that situations are paths in a rooted tree while a state is a particular truth assignment to the fluents. It is then possible that two situations have end points that agree on all fluents, i.e., are the same state, and yet be distinct from the perspective of situations. This has the merit of making inductive proofs simple as it introduces two axioms amounting to enforcing the rooted tree structure that are used as trivial bases for the inductions. In this paper we show that the tree structure is dispensable for induction when the underlying system is deterministic, thus elevating the state perspective to equal status. © Springer-Verlag Berlin Heidelberg 1997.

关键词： Forestry

来源：评论

学校读者我要写书评

暂无评论

Preferential semantics for causal fixpoints 10th

引用

10th Australian Joint Conference on Artificial Intelligence, AI 1997

作者： Peppas, Pavlos Pagnucco, Maurice Prokopenko, Mikhail Foo, Norman Knowledge Systems Group Department of Computing School of MPCE Macquarie University NSW2109 Australia Knowledge Systems Group School of Computer Science and Engineering University of New South Wales NSW2052 Australia Knowledge Systems Group CSIRO Mathematical and Information Sciences Locked Bag 17 North RydeNSW2113 Australia

ISBN: (纸本)3540637974

In this paper we concentrate on the causal theory of action developed by McCain and Turner [2] for computing ramifications. Our aim here is to characterise this theory of action in terms of a preferentialstyle semantics in the spirit of Shoham [4]. Such a result would not only place McCain and Turner's theory in a uniform setting, facilitating comparison with other logics of action, but also give a clearer insight into the nature and behaviour of causality captured by their framework. We first show that this objective is not attainable via a traditional preferential semantics. However, preferential semantics is not abandoned entirely. Rather, it is augmented to arrive at the desired result. We maintain that two components — minimal change and causality — are essential in providing a (concise) solution to the frame and ramification problems. © Springer-Verlag Berlin Heidelberg 1997.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Developing an active heterogeneous database system

Developing an active heterogeneous database system

引用

Australian and New Zealand Conference on Intelligent Information Systems

作者： Shi-Ming Huang Jung-Kwi Liu Department of Computer Science and Engineering Database Knowledge Base Research Group Taipei Taiwan

ISBN: (纸本)0818682183

The heterogeneous environment is emerging in current information systems. Within this situation, it is desirable to maintain consistency across databases, i.e., to ensure that they do not contradict each other with respect to the existence or value of a real-world entity. Active rules have been widely used in modern database systems. Active databases contain the capability to automatically monitor the conditions which are defined over the database state and the ability to take an action when the state of the underlying database changes. They have provided a great contribution to the maintenance of data integrity and data consistency in database systems. This paper investigates how to integrate active rules into a heterogeneous database system environment.

关键词： database systems Transaction databases Satellite broadcasting computerized monitoring Artificial intelligence Condition monitoring data models Buildings computer science Maintenance engineering

来源：评论

学校读者我要写书评

暂无评论

A data dictionary system approach for database schema translation

A data dictionary system approach for database schema transl...

引用

IEEE International Conference on Systems, Man and Cybernetics

作者： Shi-Ming Huang Huei-Huang Chen Shin-Han Li J. Fong Database/knowledge base research group Department of Computer Science and Engineering Tatung Institute of Technology Taipei Taiwan Department of Computer Science City University of Hong Kong Hong Kong China

database system reengineering technique has been used to resolve the problem of converting from existing out-of-data database systems to new technique database systems in order to reduce the new system implementation cost. The technique consists of three parts: schema translation, data conversion, and program translation. The schema translation requires the transferring of existing database schema into the new database schema with better semantics. Recapturing the semantics is a complicated and difficult work. During the database design phase, the semantics has been lost from the conceptual data model to the logical data model. It is difficult to recapture it. After recapturing the semantics from the original conceptual database schema, we also need to have a sophisticated knowledge base to store the knowledge. The paper describes a new schema translation system, which can recapture the missing/hidden semantics of a database. The kernel of the system is an extended entity relationship (EER) data dictionary system (DDS), which can store all the semantics of the new database schema.

关键词： Dictionaries database systems Costs data conversion data models Object oriented databases Relational databases computer science File systems data mining

来源：评论

学校读者我要写书评

暂无评论

Influence of human engineering on manning levels and human performance on ships

引用

NAVAL ENGINEERS JOURNAL 1997年第5期109卷 67-76页

作者： Anderson, DE Oberman, FR Malone, TB Baker, CC David E. Anderson:has a bachelor of science degree in environmental engineering from Florida Technological University and a master's degree in environmental engineering from the University of Central Florida. He is a graduate of the Naval Sea Systems Command's Engineer-In-Training (EIT) Program. Mr. Anderson was instrumental in introducing the collective protection system (CPS) in the U.S. Navy developing the initial forward-fit package for the USS Gunston Hall and the engineering change proposal (ECP) for the USS Wasp. In 1990 he joined the Human Systems Integration (HSI) Division (SEA 55W5) where he was task leader for auxiliary ships. He is currently the HSI manager for the future technology variant of the SeaLift ship and the future carrier. Association of Scientists and Engineers 33rdAnnual Technical Symposium 26 April 1996. Fred R. Oberman:has B.A. and M.A. degrees from the University of Chicago and Loyola University (experimental psychology) and an M.S. degree in industrial engineering and operations research from Virginia Polytechnic Institute (VPI). He has more than 30 years experience in HSI management planning research analysis design and testing in government and private sector positions. He is currently responsible for NavSea HSI generic research and tool development efforts. He is responsible for Human Engineering Specifications and Standards (Commercial Hypertext) and is the NavSea 03D7 representative on HSI in Performance Specifications and for integration of HSI within Integrated Logistic Support (ILS). He has served as DoD HSI SubTAG chair and member of the Simulation and Modeling Test and Evaluation Display and Control Systems Human Computer Interaction Specifications and Standards and Systems Design Sub Tags as a member of the Society of Naval Architects and Marine Engineers (SNAME) Systems Safety Panel and a member of NATO RSG 14 on man-machine analysis. Thomas B. Malone: CHFEP received a Ph.D. in experimental psychology from Fordham University in 1964. He is president of Carlow

The objectives of Human engineering (HE) are generally viewed as increasing human performance, reducing human error, enhancing personnel and equipment safety, and reducing training and related personnel costs. There are other benefits that are thoroughly consistent with the direction of the Navy of the future, chief among these is reduction of required numbers of personnel to operate and maintain Navy ships. The Naval Research Advisory Committee (NRAC) report on Man-Machine Technology in the Navy estimated that one of the benefits from increased application of man-machine technology to Navy ship design is personnel reduction as well as improving system availability, effectiveness, and safety The objective of this paper is to discuss aspects of the human engineering design of ships and systems that affect manning requirements, and impact human-performance and safety The paper will also discuss how the application of human engineering leads to improved performance, and crew safety, and reduced workload, all of which influence manning levels. Finally, the paper presents a discussion of tools and case studies of good human engineering design practices which reduce manning.

关键词： Human engineering

来源：评论

学校读者我要写书评

暂无评论

The activation of active rules in the heterogeneous database systems

The activation of active rules in the heterogeneous database...

引用

IEEE International Conference on Systems, Man and Cybernetics

作者： Shi-Ming Huang Jung-Kwi Liu Database Knowledge Base Research Group Department of Computer Science and Engineering Tatung Institute of Commerce and Technology

ISBN: (纸本)0780332806

Active rules have been widely used in the modern database systems. They have provided a great contribution to the maintenance of data integrity and data consistency in database systems. They also enable the system to become active instead of passive which traditional databases do. In passive databases the queries or transactions are executed only when explicitly requested by users. Active databases contain the capability to automatic monitor the conditions which defined over the database state and the ability to take an action when the state of the underlying database changes. This paper investigates how the active rule can be triggered in a heterogeneous database system environment.

关键词： database systems Transaction databases Prototypes Relational databases Object oriented databases computer science data engineering computerized monitoring Condition monitoring Production systems

来源：评论

学校读者我要写书评

暂无评论

A Simulation Model for the Compression of Audio Information

引用

International Journal of Modelling & Simulation 1996年第1期16卷 21-21页

作者： Kwong, S. Man, K. F. Department of Computer Science City University of Hong Kong Kowloon Hong Kong Department of Electronic Engineering City University of Hong Kong Kowloon Hong Kong University of Waterloo Control Data Canada Bell Northern Research City University of Hong Kong Department of Computer Science Cranfield Institute of Technology United Kingdom UK Aerospace Industry Electronic Engineering Department City University of Hong Kong IFAC Real-time Control Computing Working Group IFAC IEEE

Advances in signal processing allow us to model the audio signal in terms of mathematical representation. Compressed audio signal are also important for low-bit-rate media in order to minimize transmission cost. Applications such as movies on compact disc, audio conferencing, and digital television also require a good model for the audio compression. We present a model for compressed audio signal. By varying different modelling parameters, we obtain the simulation result of the proposed model of the audio coder. Simulation results found that it has a good compression Ssignal-to-noise ratio compared with NICAM, CD, and OCF coders.

关键词： Adaptive transform coding Discrete cosine transform Extended lapped transform Modified hermite transform Signal-to-noise ratio

来源：评论

学校读者我要写书评

暂无评论

Using genetic algorithms with grammar encoding to generate neural networks

Using genetic algorithms with grammar encoding to generate n...

引用

International Conference on Neural Networks

作者： E. Vonk L.C. Jain R. Johnson Control Systems and Computer Engineering Group (BSC) Department of Electrical Engineering University of Twente Netherlands Knowledge-based Engineering Systems Group School of Electronic Engineering University of South Australia Adelaide Australia Weapons Systems Division Defence Science and Technology Organisation Adelaide Australia

Kitano's approach to neural network design is extended in the sense that not just the neural network structure, but also the values of the weights are coded in the chromosome. Experimental results are presented de... 详细信息

关键词： Genetic algorithms Encoding Neural networks Biological cells knowledge engineering Systems engineering and theory Control systems Weapons Australia Testing

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：