Seminar Topic Assignment

Transcription

1 Knowledge-based Systems Group 184/3 WS 2017/18 Seminar Topic Assignment Institut für Informationssysteme Arbeitsbereich Wissensbasierte Systeme

2 Seminar Topics Seminars: Seminar in Theoretical Computer Science Seminar in Artificial Intelligence Seminar in Logic Seminar in Knowledge Representation and Reasoning Seminar in Cryptography Topics for master seminars: Refutation Calculi (Tompits) Quantum Logic: Basics and Proof Theory (Tompits) Natural Language Processing Cognitive Psychology and its Implications (Tompits) History of Logic (Tompits, Eiter) Data and Knowledge Processing (Eiter) Artificial Intelligence (Eiter) Cryptography (Egly) Solvers and Proof Systems for QBFs (Egly) Digital Transformation and AI (Egly) 1/15

3 Refutation Calculi 1. T. Skura. Refutation systems in propositional logic. Handbook of Philosophical Logic, J. Lukasiewicz. Aristotle s Syllogistic from the Standpoint of Modern Formal Logic A. Tamminga. Logics of rejection: two systems of natural deduction. Logique & Analyse, U. Wybraniec-Skardowska and J. Waldmajer. On pairs of dual consequence operations. Logica Universalis, T. Skura. A refutation theory. Logica Universalis, V. Goranko. Refutation systems in modal logic. Studia Logica, R. Dutkiewicz. The method of axiomatic rejection for the intuitionistic propositional calculus. Studia Logica, P. Bonatti, N. Olivetti. Sequent calculi for propositional nonmonotonic logics. ACM Transactions on Computational Logic, /15

4 Quantum Logic: Basics and Proof Theory M. L. Dalla Chiara and R. Giuntini. Quantum Logics. Handbook of Philosophical Logic Vol. 6, H. Nishimura. Gentzen Methods in Quantum Logic. Handbook of Quantum Logic and Quantum Structures, Natural Deduction System for Quantum Logic. In: P. Gibbins, Particles and Paradoxes, Cambridge University Press, N. Kamide. Proof Theory of Paraconsistent Quantum Logic. Journal of Philosophical Logic, /15

5 Natural Language Processing N. Indurkhya and F. J. Damerau, editors. Handbook of Natural Language Processing, Second Edition, From the Contents: 1. Semantic Analysis 2. Natural Language Generation 3. Corpus Creation 4. Part-of-Speech Tagging 5. Word Sense Disambiguation 6. An Overview of Modern Speech Recognition 7. Question Answering 8. Information Extraction 9. Report Generation 10. Ontology Construction 4/15

6 Cognitive Psychology and its Implications John R. Anderson: Cognitive Psychology and its Implications, Seventh Edition, 2009 From the Contents: 1. Perception 2. Attention and Performance 3. Mental Imagery 4. Representation of Knowledge 5. Human Memory 6. Problem Solving 7. Expertise 8. Reasoning 9. Judgement and Decision Making 10. Language Structure 11. Language Comprehension 12. Individual Differences in Cognition 5/15

7 History of Logic Additional topics not covered in the VO History of Logic. Topics: 1. Stoic and Megarian logic 2. Albert von Sachsen 3. Gottfried Wilhelm Leibniz ( ): Works about modal logic 4. Augustus de Morgan ( ) 5. George Boole ( ): Analysis of Clarke and Spinoza s ontological arguments (from The Laws of Thought ) 6. Charles Sanders Peirce ( ): Existential Graphs 7. The logic of Stanis law Leśniewski ( ) 8. Rudolf Carnap ( ): Abriss der Logistik, Meaning and Necessity: A Study in Semantics and Modal Logic, /15

8 History of Logic (II) Logicomix 7/15

9 History of Logic (II) Gödel and Carnap in Vienna, Tarski in Vienna 8/15

10 Data and Knowledge Processing Streaming Data stream query languages (CQEL, csparql, LARS, etalis,... ) complex event processing (ETALIS,... ) stream reasoning benchmarking applications Workshops on Stream Reasoning: TU Vienna, Nov 9-10, 2015, ISWC/Kobe, Oct 17, 2016 /Vienna Oct 22, 2017 TU Berlin Dec 8, 2016; Uni Zurich, Jan 2018 Theory, systems, applications 9/15

11 Data and Knowledge Processing Temporal Logics for Stream Reasoning linear time logic temporal equilibrium logic temporal description logics Reasoning about actions planning using ASP agent policies 10/15

12 Data and Knowledge Processing Answer Set Programming with external source access dlvhex system, triple(x, Y, Z) url(file), &rdf [File](X, Y, Z). // import RDF triples clingo, clingcon ASP + X, X = SMT, Description Logics, Constraint Solving,... Theory, systems, applications ASP with Uncertainty Markov Logic extensions Probabilistic ASP... incremental ASP evaluation 11/15

13 Artificial Intelligence Breakthroughs in AI Liberatus Alpha-Go... AI & Cognitive Science: can machines be conscious? AI Challenges: AngryBirds Allen AI Science Challenge Winograd Scheme Challenge... 12/15

14 Cryptography Modern hash functions like Blake, Grøstl, Keccak,... : Foundations and algorithms Blockchains Theory and applications 13/15

15 Solvers and Proof Systems for QBFs QBF solving more and more important for practical application (e.g., synthesis) What QBF solvers are available, what is their performance? Papers Janota, Marques-Silva: Solving QBF by clause selection, IJCAI 2015 Rabe, Tentrup: CAQE: A certifing QBF solver, FMCAD 2015 Tu et al.: QELL: QBF reasoning with extended clause learning and levelized SAT solving, SAT /15

16 Digital Transformation and AI Martin Ford: Rise of the Robots: Technology and the Threat of a Jobless Future, Basic Books, 2015 (paperback 2016) The Jobless Future Is A Myth (Steve Denning, Forbes) [link] 15/15