From July 18 to Augus 31, 2019, we organize the 9th ICCL summer school. The summer school will be held in in Ulaanbaatar, Mongolia and is supported by the German Academic Exchange Service (DAAD).
The first summer school has been held 2005 in HUT, Vietnam and the second summer school has been held 2006 in UI Jakarta, Indonesia. The summer schools in 2007 and 2014 have been held in Vietnam and the summer schools in 2008, 2010 and 2012 have been held in Indonesia again. 2016, the summer school was held in Thailand.
The summer school is a platform for knowledge transfer within a very rapid increasing research community in the field of "Computational Logic". We will offer introductory courses covering the fundamentals of reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.
Automated and Cognitive Reasoning for Question Answering by Prof. rer. nat. habil. Ulrich Furbach (Universität Koblenz-Landau, Germany)
This course will cover first-order calculi with a focus on hyper tableaux. The calculus rules together with a comparison to other logical systems are introduced and an extension for efficient handling of equality is given. Various applications for a hyper-tableau-system are discussed and, in particular, the Cognitive Reasoning approach from the Corg-Project (http://corg.hs-harz.de) is presented. We present and discuss some benchmarks for commonsense reasoning (e.g. the Winograd challenge and COPA) and we demonstrate together with knowledge bases like SUMO and ConceptNet the problem of managing this huge amount of knowledge. All this is presented in the context of natural language question answering, in a way that the course participants can use the tools developed within the Corg-Project within a hands-on session.
Cognitive Computational Models of Human Thinking and Reasoning by apl. Prof. Dr. Dr. Marco Ragni (Freiburg University, Germany)
Since the times of Aristotle, humans have discussed what can be regarded as an acceptable inference striving the border of formal logical inferences and a form of ’natural deduction’ humans are applying. The ability to gain new insights from given knowledge by reasoning is one of the most fundamental cognitive abilities of humans. Psychological findings show a difference between inferences drawn by humans and those drawn by formal reasoning systems implementing classical logic. These differences can be found in all domains: in reasoning about relations, in reasoning about conditional statements, and in reasoning about syllo- gisms. In this course, I will first introduce several examples for each domain demonstrating specific effects in reasoning, including content effects and illusions. In a second step, different theories of reasoning will be presented and applied to different effects. In a third step, the theory will be evaluated and differences to other theories and alternative approaches will be discussed.
Please click here for downloading the lecture presentation 1.
Please click here for downloading the lecture presentation 2.
Please click here for downloading the lecture presentation 3.
Please click here for downloading the lecture presentation 4.
Please click here for downloading the lecture presentation 5.
Please click here for downloading the lecture presentation 6.
The course gives a comprehensive introduction into propositional and first-order logic: propositional formulas; interpretations and models; satisfiability, falsifiability, validity, unsatisfiability and their relations; truth tables; logical consequences; satisfiability problems (SAT); conjunctive normal form; SAT-solving; first-order formulas; substitutions; semantics. In the tutorials, participants will be asked to turn a real-world problem into an SAT-problem and to solve it using state-of-the-art SAT-solvers. This shall be organized in a competition where groups of up to three students will compete against each other. The competition will be organized using a digital platform, where participants can retrieve problem instances, compute their solution, and submit it for cross-checking and evaluation.
In the last 10 years, we have developed a new cognitive theory. It is based on the weak completion of logic programs, the three-valued Lukasiewizc logic, abduction, and revision, and has been successfully applied to adequately model various human reasoning tasks like the suppression task, the selection task, the belief bias effect, spatial reasoning as well as reasoning about conditionals. In the course, we will give an in-depth introduction to the new theory as well to its applications to different human reasoning tasks. In addition, we will do experiments in order to evaluate certain reasoning tasks, in particular, how humans reason with conditionals.
Please click here for downloading the lecture presentation.
Please click here for downloading the lecture notes.
Answer Set Programming for Timetabling Applications by Prof. Dr.-Ing. habil. Josef Schneeberger (Fachhochschule Deggendorf, Germany)
Answer Set Programming (ASP) offers an intuitive approach for practitioners to use computational logic for applications. Like other logic languages, problem descriptions have a well defined and precise semantics. Likewise, the computed results may be properly interpreted and the presence or absence of solutions can be tracked down to rules in the problem definition respectively program. In addition, ASP presents a process model to implement example programs which may be refined and refactored to accomplish new application needs and subsequent changes. We start by explicating this process model and the basic steps in ASP. A program is implemented specifying a problem description and an application model. A solution is computed by a grounding and a subsequent solving step. All programming examples can be followed by hands-on exercises using the Potassco System. The various parts of the ASP programming language are introduced: specification of constraints and intervals, usage of negation, arithmetic operations, and comparison predicates, aggregates and optimization constraints. As an application domain, various problems of university timetabling are discussed and examples are implemented. Furthermore, the integration with applications in particular web applications are discussed and demonstrated.
Please click here for downloading the lecture presentation.
Description Logics by PD Dr.-Ing. habil. Anni Yasmin Turhan (Technische Universität Dresden, Germany)
Description logics (DLs) are a family of knowledge representation formalism with a formal semantics that allows one to represent knowledge in a declarative way. Most DLs are decidable fragments of First-Order Logic. Based on their semantics, powerful reasoning services have been defined and their computation algorithms have been investigated for a range of DLs. Recently, DLs have received more attention because they are the underlying formalism for the standardized web ontology language OWL. This course will cover an introduction into the basic notions of description logics and their reasoning services. We will discuss reasoning procedures for these services and their complexity. Then, we will examine variants of DLs
that are studied in current research, such as similarity-based ones or non-monotonic ones.
Please click here for downloading the lecture presentation 1+2.
Please click here for downloading the lecture presentation 3+4.
Application and selection procedure
The summer school offers an opportunity for undergraduate students in their final year of study as well as master students from Mongolia, in neighboring Southeast Asian countries and in the Russian Federation. Students should have a good basic education in Computer Science, Mathematics, Artificial Intelligence and/or Cognitive Sciences and in particular, should be open to formal and/or logic-based approaches and their applications.
Applicants shall submit:
Applicants are also invited to submit their own scientific contributions, for example, on completed or ongoing projects, papers, etc., which they would like to present during the summer school.
Eligibility and Selection Criteria
Participants will be selected by a committee consisting of lecturers from Germany and colleagues from Mongolia.
The Summer School will be held in English language; thus a sufficient knowledge of English is required.
The qualifications of the applicants in the fields of logic, theoretical computer science, artificial intelligence and cognitive sciences are of particular importance.
|First Week: 18.08.2019 - 24.08.2019|
|09:00-09:45||ARRIVAL||Welcome||Schneeberger||Turhan||Ragni||Turhan||EXCURSION TO KARAKORUM|
|Second Week: 25.08.2019 - 31.08.2019|
|15:15-16:00||Alumni (Bold Z)||Talks by Participants||Intercultural Differences||DAAD & Study Opportunities Daniel Pottmann|
|HDS=Höldobler & Dietz Saldanha|
Accommodation: Ulaanbaatar hotel
In the heart of downtown Ulaanbaatar, lies the urban sanctuary of the luxury Hotel “Ulaanbaatar”, offering elegant five-star accommodation enhanced by friendly and efficient service. It is located in a restored 1959 landmark building and surrounded by the bustling crossroads of the city’s most popular downtown area. It is very near to the main building of Mongolian University of Science and Technology, where the summer school will be held. For more information about Ulaanbaatar hotel please click on https://www.ubhotel.mn/
Chair of the Summer School: Professor Steffen Hölldobler
Organizers of the Summer School: Prof. Sarantuya Tsedendamba from MUST, Professor Dr. rer. nat. habil. Steffen Hölldobler and Dr. rer. nat. Emmanuelle Dietz Saldanha from ICCL.
Local Organizers of the Summer School at MUST:
Prof. Sarantuya Tsedendamba, Prof. Narantsetseg Yadmaa, Baljinnyam Tsangia, Ariunaa Uuriintsetseg, Gantulga Dashdelger, Ganbayar Batbayar