A Survey of Chain of Thought Reasoning: Advances, Frontiers and Future

Chain-of-thought reasoning, a cognitive process fundamental to human intelligence, has garnered significant attention in the realm of artificial intelligence and natural language processing. However, there still remains a lack of a comprehensive survey for this arena. To this end, we take the first step and present a thorough survey of this research field carefully and widely. We use X-of-Thought to refer to Chain-of-Thought in a broad sense. In detail, we systematically organize the current research according to the taxonomies of methods, including XoT construction, XoT structure variants, and enhanced XoT. Additionally, we describe XoT with frontier applications, covering planning, tool use, and distillation. Furthermore, we address challenges and discuss some future directions, including faithfulness, multi-modal, and theory. We hope this survey serves as a valuable resource for researchers seeking to innovate within the domain of chain-of-thought reasoning.Comment: 26 pages. Resources are available at https://github.com/zchuz/CoT-Reasoning-Surve

Event-B モデルの詳細化構造の計画とリファクタリングの支援手法

学位の種別: 課程博士審査委員会委員 : （主査）東京大学准教授 蓮尾 一郎, 東京大学教授 萩谷 昌己, 東京大学教授 小林 直樹, 東京大学教授 高野 明彦, 東京大学教授 千葉 滋University of Tokyo(東京大学

Advanced Knowledge Technologies at the Midterm: Tools and Methods for the Semantic Web

The University of Edinburgh and research sponsors are authorised to reproduce and distribute reprints and on-line copies for their purposes notwithstanding any copyright annotation hereon. The views and conclusions contained herein are the author’s and shouldn’t be interpreted as necessarily representing the official policies or endorsements, either expressed or implied, of other parties.In a celebrated essay on the new electronic media, Marshall McLuhan wrote in 1962:Our private senses are not closed systems but are endlessly translated into each other in that experience which we call consciousness. Our extended senses, tools, technologies, through the ages, have been closed systems incapable of interplay or collective awareness. Now, in the electric age, the very instantaneous nature of co-existence among our technological instruments has created a crisis quite new in human history. Our extended faculties and senses now constitute a single field of experience which demands that they become collectively conscious. Our technologies, like our private senses, now demand an interplay and ratio that makes rational co-existence possible. As long as our technologies were as slow as the wheel or the alphabet or money, the fact that they were separate, closed systems was socially and psychically supportable. This is not true now when sight and sound and movement are simultaneous and global in extent. (McLuhan 1962, p.5, emphasis in original)Over forty years later, the seamless interplay that McLuhan demanded between our technologies is still barely visible. McLuhan’s predictions of the spread, and increased importance, of electronic media have of course been borne out, and the worlds of business, science and knowledge storage and transfer have been revolutionised. Yet the integration of electronic systems as open systems remains in its infancy.Advanced Knowledge Technologies (AKT) aims to address this problem, to create a view of knowledge and its management across its lifecycle, to research and create the services and technologies that such unification will require. Half way through its sixyear span, the results are beginning to come through, and this paper will explore some of the services, technologies and methodologies that have been developed. We hope to give a sense in this paper of the potential for the next three years, to discuss the insights and lessons learnt in the first phase of the project, to articulate the challenges and issues that remain.The WWW provided the original context that made the AKT approach to knowledge management (KM) possible. AKT was initially proposed in 1999, it brought together an interdisciplinary consortium with the technological breadth and complementarity to create the conditions for a unified approach to knowledge across its lifecycle. The combination of this expertise, and the time and space afforded the consortium by the IRC structure, suggested the opportunity for a concerted effort to develop an approach to advanced knowledge technologies, based on the WWW as a basic infrastructure.The technological context of AKT altered for the better in the short period between the development of the proposal and the beginning of the project itself with the development of the semantic web (SW), which foresaw much more intelligent manipulation and querying of knowledge. The opportunities that the SW provided for e.g., more intelligent retrieval, put AKT in the centre of information technology innovation and knowledge management services; the AKT skill set would clearly be central for the exploitation of those opportunities.The SW, as an extension of the WWW, provides an interesting set of constraints to the knowledge management services AKT tries to provide. As a medium for the semantically-informed coordination of information, it has suggested a number of ways in which the objectives of AKT can be achieved, most obviously through the provision of knowledge management services delivered over the web as opposed to the creation and provision of technologies to manage knowledge.AKT is working on the assumption that many web services will be developed and provided for users. The KM problem in the near future will be one of deciding which services are needed and of coordinating them. Many of these services will be largely or entirely legacies of the WWW, and so the capabilities of the services will vary. As well as providing useful KM services in their own right, AKT will be aiming to exploit this opportunity, by reasoning over services, brokering between them, and providing essential meta-services for SW knowledge service management.Ontologies will be a crucial tool for the SW. The AKT consortium brings a lot of expertise on ontologies together, and ontologies were always going to be a key part of the strategy. All kinds of knowledge sharing and transfer activities will be mediated by ontologies, and ontology management will be an important enabling task. Different applications will need to cope with inconsistent ontologies, or with the problems that will follow the automatic creation of ontologies (e.g. merging of pre-existing ontologies to create a third). Ontology mapping, and the elimination of conflicts of reference, will be important tasks. All of these issues are discussed along with our proposed technologies.Similarly, specifications of tasks will be used for the deployment of knowledge services over the SW, but in general it cannot be expected that in the medium term there will be standards for task (or service) specifications. The brokering metaservices that are envisaged will have to deal with this heterogeneity.The emerging picture of the SW is one of great opportunity but it will not be a wellordered, certain or consistent environment. It will comprise many repositories of legacy data, outdated and inconsistent stores, and requirements for common understandings across divergent formalisms. There is clearly a role for standards to play to bring much of this context together; AKT is playing a significant role in these efforts. But standards take time to emerge, they take political power to enforce, and they have been known to stifle innovation (in the short term). AKT is keen to understand the balance between principled inference and statistical processing of web content. Logical inference on the Web is tough. Complex queries using traditional AI inference methods bring most distributed computer systems to their knees. Do we set up semantically well-behaved areas of the Web? Is any part of the Web in which semantic hygiene prevails interesting enough to reason in? These and many other questions need to be addressed if we are to provide effective knowledge technologies for our content on the web

Factors shaping the evolution of electronic documentation systems

The main goal is to prepare the space station technical and managerial structure for likely changes in the creation, capture, transfer, and utilization of knowledge. By anticipating advances, the design of Space Station Project (SSP) information systems can be tailored to facilitate a progression of increasingly sophisticated strategies as the space station evolves. Future generations of advanced information systems will use increases in power to deliver environmentally meaningful, contextually targeted, interconnected data (knowledge). The concept of a Knowledge Base Management System is emerging when the problem is focused on how information systems can perform such a conversion of raw data. Such a system would include traditional management functions for large space databases. Added artificial intelligence features might encompass co-existing knowledge representation schemes; effective control structures for deductive, plausible, and inductive reasoning; means for knowledge acquisition, refinement, and validation; explanation facilities; and dynamic human intervention. The major areas covered include: alternative knowledge representation approaches; advanced user interface capabilities; computer-supported cooperative work; the evolution of information system hardware; standardization, compatibility, and connectivity; and organizational impacts of information intensive environments

Towards a clinical trial ontology using a concern-oriented approach

Not yet availablePer ridurre i costi e migliorare la qualita\u27 della ricerca nei trial clinici (CT) e\u27 necessario un approccio piu\u27 sistematico all\u27automazione dei CT per rinforzare l\u27interoperabilita\u27 a vari livelli del processo di ricerca. Per questo scopo e\u27 stato sviluppato un modello concettuale di CT. Alla base di ogni approccio di modellizzazione ci sono criteri di partizione che ci permettono di dominare la complessita\u27 dell\u27universo da modellare. In questo rapporto noi introduciamo un metodo originale di analisi basato sui concern degli stakeholder per partizionare il domino concettuale dei CT in sotto-domini orientati agli stakeholder. Le rappresentazioni mentali degli stakeholder relative a ciascun concern sono identificati come cluster di concetti collegati ad altri concetti. Noi consideriamo ciascun cluster come una base razionale per il relativo concern. I concetti trovati nelle basi razionali popolano l\u27universo del discorso specifico per ogni stakeholder e compongono il vocabolario degli stakeholder. Alcuni concetti sono condivisi con altri stakeholder, mentre altri sono specifici di uno stakehoder; alcuni concetti sono specifici dei CT, mentre altri sono concetti medici o generali. In questo modo un\u27ontologia orientata ai concern per i CT puo\u27 essere creata. Il metodo e\u27 illustrato utilizzando i criteri di selezione dei soggetti, una componente di un progetto di CT, ma puo\u27 essere usato per ogni altra componente del protocollo del CT. La tassonomia del vocabolario dei concetti dei CT e la rete delle relative basi razionali ci fornisce una struttura possibile per lo sviluppo del software specialmente se si adotta una soluzione basata su architetture orientate ai servizi

Using phase space attractors to evaluate system safety constraint enforcement : case study in space shuttle mission control procedure rework

Thesis (Ph. D.)--Massachusetts Institute of Technology, Engineering Systems Division, 2009.Vita. Cataloged from PDF version of thesis.Includes bibliographical references (p. 390-409).As the complexity and influence of engineering systems in modern society increases, so too does their potential to create counterintuitive and catastrophic accidents. Increasingly, the accidents encountered in these systems are defying the linearized notions of accident causality that-though developed for the simpler engineered systems of the past-are prevalently used for accident prevention today. In this dissertation, an alternative approach to accident prevention based on systems theory-the Systems-Theoretic Accident Model and Processes (STAMP) and STAMP-based hazard analysis (STPA)-is augmented with the notion of using phase space attractors to evaluate how well STAMP safety control structures enforce system safety constraints. Phase space attractors are mathematical results that emerge from the behavior of systems with dynamic structures that draw or constrain these systems to specific regions of their phase space in spite of a range of conditions. Accordingly, the goal in using this notion for the evaluation of safety constraint enforcement is to identify and analyze the attractors produced by a safety control structure to determine if it will adequately "attract" the system to safe states in spite of a range of unforeseeable conditions. Support for this approach to evaluating STAMP safety control structures is provided through the study of a safety control structure in an existing complex, socio-technical system. This case study is focused on a safety control process-referred to as Procedure Rework-used in Space Shuttle Mission Control to update procedures during in-flight operations as they are invalidated by changes in the state of the Space Shuttle and its environment.(cont.) Simulation models of procedure rework are developed through physical and human factors principles and calibrated with data from five Space Shuttle missions; producing simulation results with deviations from the historical data that are-as characterized by Theil Inequality Statistics-small and primarily due to cycles and noise that are not relevant to the models' purpose. The models are used to analyze the attractor produced by the Procedure Rework Process across varied conditions, including a notional crewed spacecraft mission to a distant celestial body. A detrimental effect in the process is identified-and shown to be potentially far more severe than light delay on a mission to a distant celestial body-and approaches to mitigating the effect are explored. Finally, the analysis conducted is described as a generalizeable process for using phase space attractors to evaluate system safety constraint enforcement in engineering systems.by Brandon D. Owens.Ph.D

A computer-based design history tool

In current practice, design documentation often fails to support the activities of design understanding, communication, and redesign. A Design History Tool has been developed to improve current design documentation. This tool is a computerized design history that represents and plays back important information generated during the process of designing a mechanical system. This tool not only documents the final design results, but also documents the constraints developed and decisions made in the evolution of a product from initial specifications to final detailed design. This tool supports design understanding, communication, and redesign. It allows designers, manufacturing engineers, and management personnel to review and examine an existing design. For playback, the Design History Tool provides four major browsing capabilities: a} browsing design artifacts from isometric drawing, design hierarchy, to details of a product; b) browsing design evolution from the initial specifications to the final detailed design; c) browsing design rationales and alternatives behind each design decision; and d) browsing constraint dependencies. To enhance the browsing capabilities, different interfaces have been developed to allow the users to efficiently retrieve and easily understand the design information