Temporal logic from ancient ideas to Artificial intelligence 1st Edition by Peter Øhrstrøm, Per Hasle ISBN 0792335864 9780792335863

Temporal logic from ancient ideas to Artificial intelligence 1st Edition by Peter Øhrstrøm, Per Hasle – Ebook PDF Instant Download/Delivery. 0792335864 ,9780792335863
Full download Temporal logic from ancient ideas to Artificial intelligence 1st Edition after payment

Product details:
ISBN 10: 0792335864
ISBN 13: 9780792335863
Author: Peter Øhrstrøm, Per Hasle

Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the rich contributions from ancient and medieval philosophy up to the downfall of temporal logic in the Renaissance. The modern rediscovery of the subject, which is especially due to the work of A. N. Prior, is described, leading into a thorough discussion of the use of temporal logic in computer science and the understanding of natural language.

Temporal logic from ancient ideas to Artificial intelligence 1st Edition Table of contents:

Part I: The Origins of Temporal Logic

2. Ancient Ideas of Time and Change

   • Early Concepts of Time in Philosophy
   • The Pre-Socratic Philosophers and Time
   • Plato and Aristotle’s Views on Time and Change
   • The Role of Time in Ancient Logic

3. Medieval and Early Modern Views on Time

   • Augustine’s Concept of Time
   • Time in Medieval Philosophy: Boethius and Thomas Aquinas
   • The Evolution of Logical Thought on Time in the Renaissance

4. Early Modern Temporal Logic: Descartes and Leibniz

   • Descartes’ View of Time and Motion
   • Leibniz’s Contributions to the Philosophy of Time
   • The Emergence of Formal Methods for Temporal Reasoning

---

Part II: The Development of Temporal Logic in the 20th Century

5. The Birth of Formal Temporal Logic

   • The Influence of Mathematical Logic on Temporal Thinking
   • The Development of Modal Logic
   • Arthur Prior and the Foundation of Temporal Logic
   • The Introduction of Tense Logic

6. Temporal Logic and Philosophy in the 20th Century

   • The Work of Quine and Davidson on Time and Meaning
   • The Expansion of Tense Logic into Modal Frameworks
   • Contemporary Philosophical Interpretations of Temporal Logic

7. Temporal Logic in Computer Science

   • The Role of Temporal Logic in Formal Verification
   • Temporal Logic in Automated Theorem Proving
   • Temporal Logic in Specification Languages and Model Checking
   • Case Study: Temporal Logic in Software Systems

---

Part III: Temporal Logic and Artificial Intelligence

8. Temporal Logic and AI Reasoning

   • Temporal Logic as a Framework for AI Reasoning
   • The Role of Temporal Logic in Planning and Decision-Making
   • Temporal Reasoning in Expert Systems and Knowledge Representation
   • Case Study: Temporal Logic in Autonomous Agents

9. Applications of Temporal Logic in AI and Robotics

   • Temporal Logic in Robot Behavior and Control Systems
   • Temporal Logic for Time-Based Problem Solving
   • Integrating Temporal Logic into Machine Learning Systems
   • Case Study: Temporal Logic in AI for Real-Time Systems

10. Challenges and Future Directions in Temporal Logic and AI

    • Current Challenges in Temporal Reasoning for AI
    • The Limitations of Temporal Logic in Complex Systems
    • Emerging Trends: Quantum Computing and Temporal Logic
    • Future Applications of Temporal Logic in Autonomous Systems and AI

---

Part IV: Philosophical and Theoretical Implications

11. The Philosophy of Time in Temporal Logic

    • The Debate on the Reality of Time: Presentism vs. Eternalism
    • Philosophical Implications of Temporal Logic in AI
    • The Question of Temporal Consciousness in Machines

12. Ethical Considerations in AI and Temporal Reasoning

    • The Ethics of Temporal Decision Making in AI Systems
    • How AI Systems Use Temporal Logic to Simulate Human Decision Making
    • Ethical Implications of Automated Systems with Temporal Logic
    • Case Study: Ethics in Autonomous Vehicles Using Temporal Logic

People also search for Temporal logic from ancient ideas to Artificial intelligence 1st Edition:

connection between artificial intelligence and human brain activities

temporal logic formula

temporal logic of actions

artificial intelligence ancient history