Modular HEX-Programs

15.06.2008 - 31.12.2012
Research funding project
The goal of this project is to research and implement formalisms and reasoning techniques for providing a powerful reasoning framework in the context of modular logic programming and distributed reasoning by using declarative knowledge representation. In particular, we shall investigate the use of logic programming under the Answer-Set Semantics for realizing languages and tools which extend the capabilities of current approaches, in order to support modular knowledge bases under this semantics for local and distributed evaluation. Special attention will be given to the study of suitable models and algorithms for dealing with inconsistent and incomplete information of different kinds. Approximation-based reasoning methods shall be devised to speed up the evaluation of such kind of logic programs. Furthermore, we shall provide an implementation of the envisaged reasoning platform using the conceived approaches. The modules for advanced reasoning that will be developed may be useful for applications in several domains such as in multi-agent and multi-context systems for information integration, or for particular applications of Semantic Web reasoning. We will demonstrate the ability of the reasoning platform to support applications that access different sources of knowledge in a modular way and reason about them by means of a reference application in one of the domains mentioned.

People

Project leader

Project personnel

Institute

Grant funds

  • FWF - Österr. Wissenschaftsfonds (National) Austrian Science Fund (FWF)

Research focus

  • Computational Intelligence: 100%

Keywords

GermanEnglish
Logiklogic in computer Science
HEX-ProgrammeHEX-programs
Multi-Agenten Systememulti-agent systems
SchließenReasoning

Publications