Author:
Christoph Benzmüller
Affiliation:
Freie Universität Berlin, Germany
Keyword(s):
Combination of Logics, Context, Expressive Ontologies, Multi-agent Systems, Higher-order Logic, Semantic Embedding, Proof Automation.
Related
Ontology
Subjects/Areas/Topics:
Agents
;
Artificial Intelligence
;
Artificial Intelligence and Decision Support Systems
;
Distributed and Mobile Software Systems
;
e-Business
;
Enterprise Engineering
;
Enterprise Information Systems
;
Enterprise Ontologies
;
Formal Methods
;
Knowledge Engineering and Ontology Development
;
Knowledge Representation and Reasoning
;
Knowledge-Based Systems
;
Multi-Agent Systems
;
Ontologies
;
Simulation and Modeling
;
Software Engineering
;
Symbolic Systems
Abstract:
The mechanization and automation of combination of logics, expressive ontologies and notions of context are prominent current challenge problems. I propose to approach these challenge topics from the perspective of classical higher-order logic. From this perspective these topics are closely related and a common, uniform solution appears in reach.