Formal  Reasoning

AITopics : Logic & Formal Reasoning : AAAI : 논리는 표준적이며 정확한 추론을 묘사하려는 것이다. AI 와 인지심리학, 인지과학에서의 보편적인 믿음은, 인간이 생각하는 방법을 표현하는 절차들이 있다는 것이며, 그것은 논리형의 규칙(알고리즘) 을 직접사용하거나 논리적 원리를 구현하는 다른 방법을 찾음으로써 컴퓨터상에서 구현될 수 있다. 이러한 경우 추론에 대한 연구는 바로 자연적인 (natural) 논리에 대한 연구를 의미한다.

논리 (Logic)   추론 (Reasoning)   인공지능 (Artificial Intelligence)   인지과학 (Cognitive Science)   인지 심리학 (Cognitive Psychology)

Formal Reasoning Group : Stanford : About

Computer Aided Formal Reasoning Group

Institutions

• The Cambridge's Automated Reasoning Group is concerned with the development and application of theorem proving methodologies. The Automated Reasoning Group uses primarily the proof environments HOL and Isabelle.
• A page on ="HTTP: deduktion-eng.html? www pub js-sfbsun.cs.uni-sb.de>mechanized deduction in the German-speaking region carries information on organizations and infrastructure of the German deduction community and links to the major research groups.
• The ESPRIT working group CCL (Construction of Computational Logics) WWW access to publications of the participating sites.
• Frank Pfennig of CMU maintans a bibliography on logical frameworks.
• LICS maintains a www page.
• University of Edinburgh Department of Computer Science features a page on Logic and Proof.
• University of Glasgow, Department of Computing Science
• Imperial College, Theory and Formal Methods Section
• HOL mechanical theorem proving system.
• IMPS is an Interactive Mathematical Proof System intended to provide organizational and computational support for the traditional techniques of mathematical reasoning. In particular, the logic of IMPS allows functions to be partial and terms to be undefined.
• The major goals of NASA Langley's Formal Methods Program are to make formal methods practical for use on life-critical systems developed in the United States, and to orchestrate the transfer of this technology to industry through use of carefully designed demonstration projects.
• Documents related to an ongoing conference on New Mathematical Foundations for Computer Science moderated by Christopher Landauer and Kristie Bellman.
• The Programming Research Group (PRG) at Oxford.
• Dale Miller maintains a page on lambda Prolog.
• SRI International has two intersting research groups: Formal Methods and Dependable Systems and Linear Logic and Proof Theory.
• The Formal Reasoning Group at Stanford's Computer Science Department provides a page on Theorem Provers. There also is Stanford's Theory Division.
• T?ingen's group has this ftp-directory
• Philosophy, Utrecht University

Systems

• Isabelle: the ftp area and bibliography.

People

• Jochen Burghardt has a nice collection of relevant links in the area of automated reasoning.

The World-Wide Web Virtual Library

• Formal Methods

Journals

• Formal Methods in System Design
• Formal Aspects of Computing
• Information and Computation