Science of Computational Logic Introduction Steffen H olldobler - - PowerPoint PPT Presentation

▶

Oct 22, 2023 114 likes •168 views

Science of Computational Logic Introduction Steffen H olldobler International Center for Computational Logic Technische Universit at Dresden Germany Overview Content Literature Steffen H olldobler Science of

SLIDE 1

◮ Overview ◮ Content ◮ Literature

Steffen H¨

lldobler

Science of Computational Logic – Introduction 1

Science of Computational Logic – Introduction

Steffen H¨

lldobler

International Center for Computational Logic Technische Universit¨ at Dresden Germany

SLIDE 2

Overview

algorithm = logic + control propositional logic first order logic equational logic higher order logic multi valued logics modal logics temporal logics intuitionistic logics fuzzy logics non-monotonic logics calculus representation abstract machines search strategies heuristics automated theorem provers interactive proof systems SAT-solvers specification and verification deduction abduction induction reasoning by analogy case based reasoning evidential reasoning legal reasoning decision making natural language understanding logic programming constraint programming answer set programming functional programming theory of programming complexity theory tractability decidability automata theory model theory algebra inductive logic programming machine learning neural-symbolic integration human reasoning cognitive science knowledge representation and reasoning knowledge based systems logic data bases actions and causality logic and agents general game playing cognitive robotics systems design program development program analysis program synthesis program transformation software engineering Steffen H¨

lldobler

Science of Computational Logic – Introduction 2

SLIDE 3

Content of Lecture

◮ Description Logics ◮ Equational Logic ◮ Actions and Causality ◮ Deduction, Abduction, and Induction ◮ Non-Monotonic Reasoning ◮ Machine Learning ◮ Human Reasoning

Steffen H¨

lldobler

Science of Computational Logic – Introduction 3

SLIDE 4

Literature

◮ A manuscript is available ◮ In each chapter relevant secondary literature is specified. ◮ I expect you to study secondary literature. ◮ A web page for the literature will be generated.

Steffen H¨

lldobler

Science of Computational Logic – Introduction 4