Forschungsschwerpunkte der Arbeitsgruppe
Formale Konzepte

Semantik von Logikprogrammen
Multiagentensysteme
Deduktionssysteme
Nichtklassische Logiken
Ontologische Grundlagen der Wissenspräsentation
Metatheorie formalisierter Theorien

Semantik von Logikprogrammen

Logikprogramme bestehen aus Fakten und Regeln. Wie in Datenbanken, will man auch in Logikprogrammen die Negation auf der Basis der "Closed-World Assumption" behandeln. Im Gegensatz zu Datenbanken erweist sich die CWA jedoch in Logikprogrammen als großes Problem. Modelltheoretisch geht es darum, ein Präferenzkriterium zu finden, das genau die durch die CWA intendierten Modelle definiert. Eine solche Definition sollte nicht von einer speziellen Regel-Syntax abhängen, sondern für möglichst viele Verallgemeinerungen normaler Logikprogramme, wie z.B. disjunktive Logikprogramme, gelten.

Publikationen der Arbeitsgruppe (Auswahl)

• H. Herre: Negation and Constructivity in Logic Programming; Journal of New Generation Computer Systems, Heft 4 (1988),S.295-305
• H. Herre: Das Inferenzproblem in der logischen Programmierung, in: Mathematische Grundlagen der Künstlichen Intelligenz (Hrsg. Grabowski,J.,K.P. Jantke, H. Thiele), Akademie-Verlag, Berlin 1989, S.161 - 187
• H. Herre: Constructive Negation in Logic Programming, Logic Colloqium 1990, Helsinki, Abstracts: S.38 (and Journal of Symbolic Logic, S.1127, 1991)
• H. Herre: Nonmonotonic Reasoning and Logic Programs; in: Proceedings of the first Workshop on Nonmonotonic and Inductive Logic;(Ed. J. Dix et al.); LNCS 543, S. 38-58
• H. Herre: Non-monotonic Reasoning for Clause Logic Programming in a general setting, GWAI'91, 15. Fachtagung für Künstliche Intelligenz, Informatik-Fachberichte 285 (1991), 43-48,
• H. Herre: Semantics of Nonmonotonic Reasoning in Logic Programming, in: Nonclassical Logic and Information Processing; LNCS 619, 1992, p. 104-124,
• H. Herre: Disjunctive Logic Programming, Constructivity and Strong Negation, (mit D. Pearce (2)) Jelia '92, LNCS 633 (1992), S. 391-410,
• H. Herre, R. Dyckhoff und P. Schroeder-Heister: Extensions of Logic Programming; 5th International Workshop, ELP'96, Leipzig; LNAI vol. 1050
• H. Herre und G. Wagner: Stable Models Are Generated by a Stable Chain, Journal of Logic Programming, 30(2): 165-177, 1997
• J. Engelfriet und H. Herre: Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults
• H. Herre und G. Wagner: Semantical Foundation of Extended Generalized Logic Programs
• J.J.Alferes, H.Herre und L.M. Pereira: Partial Models of Extended Generalized Logic Programs

[back to top]

Multiagentensysteme

sind Systeme von (möglicherweise verteilt operierenden) Agenten, die sowohl mit ihrer Umgebung als auch untereinander kommunizieren. Ein Agent ist ein software-konrolliertes Individuum mit einem mentalen Zustand und einem reaktiven und proaktiven Verhaltensrepertoire. Es gibt Software-Agenten (in technische Systeme eingebettete Agenten) und autonome Roboter.

Publikationen der Arbeitsgruppe (Auswahl)

• Gerd Wagner: Vivid Agents - How they Deliberate, How They React, How They Are Verified. Langfassung von G. Wagner: A Logical And Operational Model of Scalable Knowledge- And Perception-Based Agents, in W. Van de Velde and J. Perram (Eds.), Agents Breaking Away, Proc. of MAAMAW'96, Springer Lecture Notes in Artificial Intelligence 1038, 1996.
• Gerd Wagner: Conceptual Foundation of Artificial Agents, Habilitation Thesis, 1996
• Gerd Wagner: VIVA Knowledge-Based Agent Programming, Preprint.
• Gerd Wagner: Knowledge Systems: Artificial Agents, and Computational Dialectics, Technical Report, Univ. of Leipzig, 1999 Preprint.

[back to top]

Deduktionssysteme

Publikationen der Arbeitsgruppe (Auswahl)

• Heinrich Herre, David Pearce: Disjunctive Logic Programming, Constructivity and Strong Negation. Jelia'92, LNCS 633, p.391-410
• Heinrich Herre: Constructive Proof Systems. Report 1993
• Heinrich Herre, Jens Dietrich: Outline of Non-monotonic Model Theory. Report 1994
• H. Herre und J. Dietrich: Contributions to the Theory of Nonmonotonic Inference Systems
• H. Herre und G. Wagner: Declarative Semantics of Deduction Rules with Two Kinds of Negation
• H. Herre: Compactness Properties of Nonmonotonic Inference Operations; Jelia'94 (York), LNCS vol.838,p.19-33
• H. Herre: Generalized Compactness of Nonmonotonic Inference Operations, Journal of Applied Non-classical logic, 1995, S. 121-135
• H. Herre, J. Engelfriet, J. Treur: Nonmonotonic Belief State Frames and Reasoning Frames , Proc. of ECSQARU'95, LNAI, vol. 946, 189-196, Springer
• Jens Dietrich: Deductive Bases of Nonmonotonic Inference Operations .Report 1995
• Jens Dietrich: Inferenzframes. Dissertation 1995.
• H. Herre: Semantical Frames and Generalized Logic Programs Proc. LMPS'95, Florenz, S. 105
• H. Herre, J. Engelfriet, J. Treur: Nonmonotonic Reasoning with Multiple Belief Sets; FAPR'96 (Eds. D. Gabbay, Ohlbach). LNAI 1085 (1996), 331-344
• Jens Dietrich: On the Compactness of Nonmonotonic Logics. Report 1996.
• J. Engelfriet, H. Herre, Generated Preferred Models and Extensions of Nonmonotonic Systems, NAIC'98, Proc. of the 10th Netherlands/Belgium Conference on Artificial Intelligence, (eds. H. La Poutre, J.v.den Herik), p.287-288

[back to top]

Nichtklassische Logiken

Zur Modellierung intelligenter Agenten ist es oft vorteilhaft, kognitive Begriffe wie Wissen, Glauben, Pflicht, Erlaubnis etc. zu benutzen. Nichtklassische Logiken wie die epistemische oder deontische Logik, die ja entwickelt wurden, um solche Begriffe zu erfassen, stellen einen geeigneten Rahmen dafür dar.

Publikationen der Arbeitsgruppe (Auswahl)

• Ho Ngoc Duc: Reasoning about Rational, but Not Logically Omniscience Agents (Extended Abstract). In Dov M. Gabbay and Hans Jürgen Ohlbach (Eds.), Practical Reasoning, Proc. of the International Conference on Formal and Applied Practical Reasoning, FAPR'96. Langfassung zu erscheinen in: Journal of Logic and Computation.
• G. Wagner. Handling Inconsistency in Knowledge Systems. Special Issue of the Journal of Applied Non-Classical Logic 7:1-2 (1997)
• Ho Ngoc Duc: Resource-Bounded Reasoning about Knowledge, Dissertation, 1998
• J. Engelfriet, H. Herre und J. Treur: Nonmonotonic Reasoning with Multiple Belief Sets
• H. Herre, J. Jaspars, G. Wagner. Partial Logics with Two Kinds of Negation as a Foundation for Knowledge-Based Reasoning; in D. M. Gabbay and H. Wansing (eds.) What is Negation?, p.121-159, 1999, Kluwer Academic Publishers.

[back to top]

Ontologische Grundlagen der Wissenspräsentation

Die Forschung auf dem Gebiet der Ontologie gewinnt zunehmend an Bedeutung für die Wissensmodellierung, für die semantische Fundierung der Wissensrepräsentation und für die Entwicklung von Metamodellen im Bereich der praktischen Anwendungen. Für die Grundlegung dieses modernen Forschungsgebiets ist es von Bedeutung, die gemeinsamen wissenschaftlichen Prinzipien und Methoden herauszuarbeiten, die sich aus den gegenwärtigen Werkzeugen, Methodologien und den Anwendungen ergeben. Von besonderem Interesse sind Fragestellungen und Probleme der Konzeptualisierung von Wissen, der Wissensrepräsentation, der Verallgemeinerung und Vertiefung der axiomatisch-deduktiven Methode, der deskriptiven Metaphysik, der Semantik der natürlichen Sprache und der praktischen Anwendungen im Bereich der Medizin.

• Onto-Med

Publikationen der Arbeitsgruppe (Auswahl)

• H. Herre: Semantical Completeness of Model-Based Diagnosis; Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems; EUROVAV'93 (24.-25. März, 1993) (eds. J. Cardenosa, P.Meseguer), 217-130,
• H. Herre: Contributions to Nonmonotonic Model Theory; in: Non-Classical Logics in Computer Science (ed. V. Marek, A. Nerode, P.H. Schmitt), Dagstuhl-Seminar-Report 73 (1993), S. 14,
• H. Herre: Theoretical Aspects of Logic-Based Knowledge-Processing; in Trends in Theoretical Computer Science, Schriftenreihe der Österreichischen Computer Gesellschaft, Bd. 89, 1996, 9-37
• R. Albrecht, H. Herre: Trends in Theoretical Informatics; Schriftenreihe der Österreichischen Computer Gesellschaft; Bd. 89, 1996, R. Oldenbourg Wien München 1996
• W. Degen, B. Heller, H. Herre: Contributions to the Ontological Foundation of Knowledge Modelling, Report Nr.2 (2001)
• W. Degen, B. Herre: What is an Upper Level Ontology
• W. Degen, B. Heller, H. Herre und B. Smith: GOL: Towards an Axiomatized Upper Level Ontology
• B. Heller, H. Herre: GOL: A General Ontological Language, Ontological Spring, Naumburg, S.182- 203
• G. Guizzardi, H. Herre, G. Wagner: On the General Ontological Foundatioin of Conceptual Modeling; ER 2002, LNCS vol. 1937, p.97-112
• G. Guizzardi, H. Herre, G. Wagner: Towards ontological foundations for conceptual models. ODBASE 2002, LNCS vol. 2519, p.1100-1117
• B. Heller, H. Herre: Ontological Categories in GOL
• Auer, S. & Herre, H. 2006. RapidOWL -- an Agile Knowledge Engineering Methodology. In: Proceedings of the Sixth International Andrei Ershov Memorial Conference "Perspectives of System Informatics", Novosibirsk, Akademgorodok, Russia, Jun 27-30.
• Herre, H., Heller, B. 2006. Semantic Foundations of Medical Information Systems Based on Top-Level Ontologies. Journal of Knowledge-Based Systems 19(2):107-112
• Auer, S. Herre, H. 2006. A Versioning and Evolution Framework for RDF Knowledge Bases. In: Proceedings of the Sixth International Andrei Ershov Memorial Conference "Perspectives of System Informatics", Novosibirsk, Akademgorodok, Russia, Jun 27-30.
• Burek, P.; Hoehndorf, R.; Loebe, F.; Visagie, J.; Herre, H. & Kelso, J. 2006. A top-level ontology of functions and its application in the Open Biomedical Ontologies. [Accepted for ISMB 2006, to appear in Bioinformatics]
• Herre, H. & Heller, B. 2005. Ontology of Time and Situoids in Medical Conceptual Modeling. In: Miksch, S.; Hunter, J. & Keravnou, E.T. (ed.) Proceedings of the 10th Conference on Artificial Intelligence in Medicine (AIME 05), Jul 23 - 27, Aberdeen, Scotland. Lecture Notes in Computer Science, Vol. 3581, p. 266-275. Berlin: Springer.
• Herre, H. & Loebe, F. 2005. A Meta-ontological Architecture for Foundational Ontologies. In: Meersman, R. & Tari, Z. (ed.) On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE: Proceedings of the OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, Oct 31 - Nov 4, 2005 (Part II). Lecture Notes in Computer Science, Vol. 3761, p. 1398-1415. Berlin: Springer.
• Guizzardi, G., Wagner, G., Herre, H. 2004. On the Foundations of UML as an Ontology Representation Language. In: Motta, E., Shadbolt, N., Stutt, A., Gibbins, N. (eds.) Engineering Knowledge in the Age of the Semantic Web: Proceedings of the 14th International Conference (EKAW 2004), Whittlebury Hall, UK, Oct 2004. Lecture Notes in Computer Science, Vol. 3257, p. 47-62. Berlin: Springer.
• Heller, B., Herre, H. 2004. Ontological Foundations of Medical Information Systems, New Trends in Software Methodologies, Tools and Techniques: Proceedings of the third SoMeT_W04 eds. Fujita, Hamido and Gruhn, Volker, Frontiers in Artificial Intelligence and Applications, Vol. 111, p. 3-17. Amsterdam: IOS Press.
• Heller, B., Herre, H., Lippoldt, K. The Theory of Top-Level Ontological Mappings and its Application to Clinical Trial Protocols. In: Motta, E., Shadbolt, N., Stutt, A., Gibbins, N. (eds.) Engineering Knowledge in the Age of the Semantic Web: Proceedings of the 14th International Conference (EKAW 2004), Whittlebury Hall, UK, Oct 2004. Lecture Notes in Computer Science, Vol. 3257, p. 1-14. Berlin: Springer.
• Heller, B., Herre, H., Lippoldt, K. 2004. Domain-Specific Concepts and Ontological Reduction within a Data Dictionary Framework. In: Rahm. E. (ed.) Data Integration in the Life Sciences. (DILS 2004), 2004 March 25-26. Leipzig. p. 47-62. Lecture Notes in Bioinformatics, Vol.2994. Heidelberg: Springer.
• Heller, B., Herre, H., Lippoldt, K., Löffler, M. 2004. Standardized Terminology for Clinical Trial Protocols Based on Ontological Top-Level Categories. In: Kaiser, K., Miksch, S., Tu, S.W. (eds.) Computer-based Support for Clinical Guidelines and Protocols. Proceedings of the Symposium on Computerized Guidelines and Protocols. (CGP 2004), 2004 April 13-14. Prague. p. 46-60. Studies in Health Technology and Informatics, Vol.101. Amsterdam: IOS-Press
• Heller, B., Herre, H. 2004. Ontological Categories in GOL. Axiomathes 14(1):57-76 Kluwer Academic Publishers
• Burek, P., Herre, H. 2003. Conceptual Modeling based on Upper-Level Ontologies and Meta-Ontological Foundations. In: Fähnrich, K.-P., Herre, H. (ed.) Content- und Wissensmanagement: Arbeiten aus dem Forschungsvorhaben PreBIS und Beiträge auf den Leipziger Informatik-Tagen 2003. Leipziger Beiträge zur Informatik, Vol. 1, p. 153-157. Leipzig: Leipziger Informatik Verbund (LIV).
• Heller, B., Herre, H. 2003 Formal Ontology and the Research Project GOL. In: Fähnrich, K.-P., Herre, H. (eds.) Content and Knowledge Management. Leipziger Informatik-Tage (LIT 2003), 2003 Sept 24-26. Leipzig.
• Guizzardi, G., Herre, H., Wagner, G. 2002. On the General Ontological Foundations of Conceptual Modeling. In: Proceedings of 21th International Conference on Conceptual Modeling, (ER2002), 2002 Okt 07-11; Tampere, Finland. pp. 97-112. Lecture Notes in Computer Science. Berlin: Springer.
• Guizzardi, G., Herre, H., Wagner, G. 2002. Towards Ontological Foundations for Conceptual UML Models. In: Meersman R, Tari Z., et al. (eds.) On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE. Proceedings of the International Conference on Ontologies, Databases and Applications of Semantics, (ODBASE), 2002 Okt 29-31. Irvine, California. pp. 1100-1117. Springer.Degen, W.,
• Heller, B., Herre, H., Smith, B. 2001. GOL: A General Ontological Language. In: Welty C., Smith B., (eds.) Proceedings of the International Conference on Formal Ontology in Information Systems, (FOIS 2001), 2001 Oct 17-19. Ogunquit. p. 34-46.

[back to top]

Metatheorie formalisierter Theorien

Publikationen der Arbeitsgruppe (Auswahl)

• H. Herre: Das Basistheorem und einige Anwendungen in der Modelltheorie (mit W. Rautenberg); Wiss. Zeitschrift der HU Berlin, Math.Nat. R. XIX(1970), 579 - 589
• H. Herre: Entscheidungsprobleme in der Theorie einer zweistelligen Relation; Dissertation A, 1971, Humboldt-Universität, 88 S.
• H. Herre: Entscheidungsprobleme in der elementaren Theorie einer zweistelligen Relation, ZML 18 (1972), 301-318
• H. Herre: Die Entscheidbarkeit der elementaren Theorie der n-separierten symmetrischen Graphen endlicher Valenz; ZML 18 (1972), 244-254
• H. Herre: Zur Metatheorie formaler Systeme (mit J. Hauck , M. Posegga); in: Quantoren, Modalitäten; Paradoxien (Hrsg. H. Wessel),S. 107-122, Deutscher Verlag der Wissenschaften, Berlin 1972
• H. Herre: Entscheidbarkeit der monadischen Theorie der 2. Stufe der n-separierten Graphen (mit K. Hauschild(1), W.Rautenberg); Wiss.Zeitschrift d. HU, Math.-Nat. Reihe XXI (1972), 507-511
• H. Herre: Entscheidbarkeit der Theorie der endlichen Bäume und verwandter Klassen endlicher Strukturen (K. Hauschild, W. Rautenberg); Wiss. Zeitschr. d. HU, Math.-Nat. R. XXI (1972)
• H. Herre: Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie II, (mit K. Hauschild, W. Rautenberg); ZML 18 (1972), 457-480
• H. Herre: Unentscheidbarkeit in der Graphentheorie, Bull. de l' Acad. Pol. d. Sci. vol. XXI (1973), 201-208
• H. Herre: Nonfinitely axiomatizable theories of graphs, Bull. de l' Acad. Pol. d.Sci. vol. XXII (1974), n. 12, 1187-1190
• H. Herre: Entscheidbarkeit von Theorien von Logiken mit verallgemeinerten Quantoren (mit H. Wolter), ZML, Bd. 21 (1975), 229-246
• H. Herre: Decidability of one unary function with added Quantifier there exists -many; Notices of the AMS, vol. 22 (1975), A-524
• H. Herre: Decidability of the theory T_<() of linear orderings with added quantifier ``there exist at least '' many for regular a Notices of the AMS vol. 23 (1976), A-449
• H. Herre: Decidability of theories in logics with additional monadic quantifiers, in:Proc. of the Symposium on Mathematical Logic in Oulo '74 and Helsinki; ed. by S. Miettinen and Väänänen,J., Reports from Departm. of Philosophy, University of Helsinki 2 (1977), 77-80
• H. Herre: Entscheidbarkeit der Theorie der linearen Ordnung in L( ) (mit H. Wolter); ZML 23 (1977), 273-282
• H. Herre: Model theoretic properties of graphs of bounded valency; Logic Colloquium 1977 (ASL), Wroclaw, Polen; S. 16-17
• H. Herre: Entscheidbarkeit der linearen Ordnung in L( ) für reguläres a (mit H. Wolter); ZML 24 (1978), 73-78
• H. Herre: Zum Entscheidungsproblem für Theorien in Logiken mit monadischen verallgemeinerten Quantoren (mit A.Pinus); ZML 24 (1978), 375-384
• H. Herre: Decidability of the theory of linear orderings with cardinality quantifier ( arbitrary) (mit H.Wolter), Notices of the AMS, vol. (1978)
• H. Herre: Entscheidbarkeit der linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. Chang-Quantor (mit H. Wolter), ZML (1979), 25, 345-358
• H. Herre: Modelltheoretische Eigenschaften endlich-valenter Graphen; ZML (1980), Bd. 26, 51-58
• H. Herre: Concerning the Monadic Theory of the Topology of Well-Orderings and Scattered Spaces (mit D.Seese); Bull. de l' Acad. Pol. d. Sci. vol. XXVIII, N.1-2 (1980)
• H. Herre: Untersuchungen zur Theorie der linearen Ordnung in Logiken mit Mächtigkeitsquantoren (mit H. Wolter), ZML (1981), 73-94
• H. Herre: Superstable Graphs (mit A. Mekler, Smith,K.W.), Fund. Math. CXVIII (1983), S. 75-79
• H. Herre: The Härtig quantifier. A survey (mit M. Krynicki, A.Pinus, J. Väänänen): Journal of Symbolic Logic, vol. 56,(1991), 1153-1183
• H. Herre: Decision Problems for Linear Orderings in Stationary Logic, Bulletin of the Section of Logic (Polish Academy of Sciences) vol. 20 (1991), No.3/4, 102-104
• H. Herre: Theories of finitely determinate linear orderings in Stationary Logic; in: Quantifiers: Logics, Models and Computation, (eds.: M. Krynicki, M. Mostowski, L.W. Szczerba), Kluwer academic publishers, 1995, S. 89-113
• H. Herre: Theory of linear order in extended logics; in: Quantifiers: Logics, Models and Computation, (eds.: M. Krynicki, M. Mostowski, L.W. Szczerba), Kluwer academic publishers, 1995, S. 139-192

[back to top]