Open Answer Set programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based algorithm for satisfiability checking w....
详细信息
We present algorithms for computing A-sufficient substitutions and constraint sets together with the definiens operation. These operations are primitive operations in the language GCLA. The paper first defines those p...
详细信息
The proceedings contain 17 papers. The topics discussed include: debugging Snomed CT using axiom pinpointing in the description logic EL+;leveraging SNOMED CT with a general purpose terminology server;LinKBase®...
The proceedings contain 17 papers. The topics discussed include: debugging Snomed CT using axiom pinpointing in the description logic EL+;leveraging SNOMED CT with a general purpose terminology server;LinKBase® and SNOMED: some distinct features and impact on NLP;exploiting fast classification of SNOMED CT for query and integration of health data;why do it the hard way? the case for an expressive description logic for SNOMED;SNOMED CT: browsing the browsers;interoperability of data models and terminology models: issues with using the SNOMED CT terminology;exploratory reverse mapping of ICD-10-CA to SNOMED CT;comparing SNOMED CT and the NCI thesaurus through semantic web technologies;essential SNOMED: simplifying SNOMED CT and supporting integration with health information models;representing clinical information using SNOMED clinical terms with different structural information models;and strategies for updating terminology mappings and subsets using SNOMED CT®.
The proceedings contain 12 papers. The special focus in this conference is on Principles of Document Processing. The topics include: Toward an operational theory of media;first steps to cross media publishing and mult...
ISBN:
(纸本)9783540636205
The proceedings contain 12 papers. The special focus in this conference is on Principles of Document Processing. The topics include: Toward an operational theory of media;first steps to cross media publishing and multimodal documents;disambiguation of SGML content models;SGML and exceptions;grammar-compatible stylesheets;object awareness in multimedia documents;a logic based formalism for temporal constraints in multimedia documents;towards automatic hypertextual representation of linear texts;using background contextual knowledge for documents representation;typed structured documents for information retrieval;transformation of documents and schemas by patterns and contextual conditions;tabular formatting problems and visual definition of virtual documents for the world-wide web.
A resolution method for logical meta-programming languages with reflexive power corresponding to the binary demo predicate is presented. The method is complete in the sense that it answers also queries with uninstanti...
详细信息
In this paper, we present a new approach to the logical formalization of ambiguous inheritance hierarchies. This approach involves the translation of inheritance nets into their corresponding hierarchical and stratifi...
详细信息
knowledgerepresentation has a long tradition in logic and philosophy. Automated reasoning with ontologies and categories had been discussed in philosophy, before it was formalized in artificial intelligence and e.g. ...
详细信息
knowledgerepresentation has a long tradition in logic and philosophy. Automated reasoning with ontologies and categories had been discussed in philosophy, before it was formalized in artificial intelligence and e.g. applied in information systems. But, most of our knowledge is implicit and unconscious, situated and personalized. It is not formally represented, but embodied knowledge, which is learnt by doing, applied by self-organization, and understood by bodily interacting with social environments. In a complex world, we must act and decide with incomplete and fuzzy knowledge under the conditions of bounded rationality. The bounded rationality of embodied minds is a challenge of informatics especially in the complex information world of Internet applications and Web services. It overcomes traditional concepts of mind-body dualism in the philosophy of mind, traditional knowledgerepresentation in AI, and rational agents ("homo oeconomicus") in economics. Personalized informatics opens a trans-disciplinary perspective for philosophy and working technology.
Service robots require interactive programming interfaces that allow users without programming experience to easily instruct the robots. Systems following the programming by Demonstration (PbD) paradigm that were deve...
详细信息
ISBN:
(纸本)3540669337
Service robots require interactive programming interfaces that allow users without programming experience to easily instruct the robots. Systems following the programming by Demonstration (PbD) paradigm that were developed within the last years are getting closer to this goal. However, most of these systems lack the possibility for the user to supervise and influence the process of program generation after the initial demonstration was performed. In this paper an approach is presented, that enables the user to supervise the entire program generation process and to annotate, and edit system hypotheses. Moreover, the knowledgerepresentation and algorithms presented enable the user to generalise the generated program by annotating conditions and object selection criteria via a 3D simulation and graphical user interface. The resulting PbD-system widens the PbD approach in robotics to programming based on human demonstrations and user annotations.
A meta-level extension of a logicprogramming language is presented. The resulting language, called ’LOG (read quote-log), provides meta-programming facilities similar to those of Prolog while preserving a declarativ...
详细信息
The proceedings contain 19 papers. The topics discussed include: topological representation of precontact algebras;relational semantics through duality;duality theory for projective algebras;relational approach to Boo...
详细信息
ISBN:
(纸本)3540333398
The proceedings contain 19 papers. The topics discussed include: topological representation of precontact algebras;relational semantics through duality;duality theory for projective algebras;relational approach to Boolean logic problems;static analysis of programs using omega algebra with tests;weak contact structures;on relational cycles;a framework for Kleene algebra with an embedded structure;non-termination in unifying theories of programming;towards an algebra of hybrid systems;relational correspondences for lattices with operators;control-flow semantics for assembly-level data-flow graphs;relational implementation of simple parallel evolutionary algorithms;lattice-based paraconsistent logic;verification of pushdown systems using omega algebra with domain;relational representability for algebras of substructural logics;Knuth-Bendix completion as a data structure;and time-dependent contact structures in Goguen categories.
暂无评论