Intellectics and Computational Logic

1. Front Matter

   Pages i-xi

   PDF

2. Prologue

   • Christoph Kreitz

   Pages 1-2

3. A Confluent Connection Calculus

   • Peter Baumgartner, Norbert Eisinger, Ulrich Furbach

   Pages 3-26

4. Prioritizing Default Logic

   • Gerhard Brewka, Thomas Eiter

   Pages 27-45

5. A Connection Calculus for Handling Incomplete Information

   • Stefan Brüning, Torsten Schaub

   Pages 47-66

6. The Connection Method, Constraints and Model Building

   • Ricardo Caferra, Nicolas Peltier

   Pages 67-84

7. Towards a Logical Characterisation of Sentences of the Kind “Sentence P is about Object C”

   • Robert Demolombe, Luis Fariñas del Cerro

   Pages 85-99

8. The Cut Rule in Theorem Proving

   • Elmar Eder

   Pages 101-123

9. Some Strengths of Nonmonotonic Reasoning

   • Uwe Egly, Hans Tompits

   Pages 125-141

10. Composing Re-Usable Synthesis Methods through Graph-Based Viewpoints

    • Jutta Eusterbrock

    Pages 143-158

11. Proof Structures and Matrix Graphs

    • Bertram Fronhöfer

    Pages 159-173

12. AI and Cognitive Science: Feedback Leads to a New Neural Concept

    • Christoph S. Herrmann

    Pages 175-188

13. Matrix-Based Constructive Theorem Proving

    • Christoph Kreitz, Jens Otten, Stephan Schmitt, Brigitte Pientka

    Pages 189-205

14. Complex Plans in the Fluent Calculus

    • Steffen Hölldobler, Hans-Peter Störr

    Pages 207-223

15. Querying Aol Knowledge Bases

    • Gerhard Lakemeyer, Hector J. Levesque

    Pages 225-244

16. Properties and Relations of Tableau and Connection Calculi

    • Reinhold Letz

    Pages 245-261

17. Concepts in Proof Planning

    • Erica Melis, Jörg H. Siekmann

    Pages 263-276

18. Proof = Guarantee + Explanation

    • J. A. Robinson

    Pages 277-294

19. Automated Theorem Proving in High-Quality Software Design

    • Johann Schumann

    Pages 295-312

20. A Complete Neural Network Algorithm for Horn-SAT

    • Antje Strohmaier

    Pages 313-325

`Intellectics' seeks to understand the functions, structure and operation of the human intellect and to test artificial systems to see the extent to which they can substitute or complement such functions. The word itself was introduced in the early 1980s by Wolfgang Bibel to describe the united fields of artificial intelligence and cognitive science.
The book collects papers by distinguished researchers, colleagues and former students of Bibel's, all of whom have worked together with him, and who present their work to him here to mark his 60th birthday. The papers discuss significant issues in intellectics and computational logic, ranging across automated deduction, logic programming, the logic-based approach to intellectics, cognitive robotics, knowledge representation and reasoning. Each paper contains new, previously unpublished, reviewed results. The collection is a state of the art account of the current capabilities and limitations of a computational-logic-based approach to intellectics.
Readership: Researchers who are convinced that the intelligent behaviour of machines should be based on a rigid formal treatment of knowledge representation and reasoning.

• Prolog
• Racter
• algorithms
• artificial intelligence
• automated deduction
• intelligence
• knowledge
• knowledge base
• knowledge representation
• logic
• neural network
• programming
• proving
• robot
• robotics

• Dresden University of Technology, Germany

  Steffen Hölldobler

Policies and ethics