MoDeDok

Research Project: Model Based Deduction in Predicate Logic with a Document Management Application

July 2003 - June 2006

Abstract

Today model computation in propositional logic is used for complex tasks in planning, verification and diagnosis. For wider application fields extensions of language expressivity are necessary: for example full first order predicate logic, non-monotonic methods, preferred models, supported models, answer set programming and description logics. Within the project, application relevant aspects of such techniques are investigated and implemented efficiently. Practical adequacy of the approach is demonstrated with a case study from the field of document management. This project is funded by DFG.

Links

• Publications
• KRHyper Reasoning System
  • System Description
• Model Computation
• Answer Set Programming (Google)
• Related Projects:
  • In2Math
  • Trial Solution
• AI Research Group Home Page

People

• Head: Prof. Dr. Ulrich Furbach <uli@uni-koblenz.de>
• Research Scientist: Christoph Wernhard M.A. <wernhard@uni-koblenz.de>
• Students: Claudia Obermaier <obermaie@uni-koblenz.de>, Björn Pelzer <bpelzer@uni-koblenz.de>
• Past Members: PD Dr. Peter Baumgartner <peter@uni-koblenz.de> (Head),
  Alex Fuchs <alexander.fuchs@uni-koblenz.de> (Student)

Contact

Christoph Wernhard <wernhard@uni-koblenz.de>

Presentation Slide in HTML | PDF | Powerpoint