Logo des Repositoriums

Auflistung nach Schlagwort "Logic"

1 - 3 von 3
  • Konferenzbeitrag
    Accountable Trust Decisions: A Semantic Approach
    (Open Identity Summit 2020, 2020) Schlichtkrull, Anders; Mödersheim, Sebastian
    This paper is concerned with the question of how to obtain the highest possible assurance on trust policy decisions: when accepting an electronic transaction of substantial value or significant implications, we want to be sure that this did not happen because of a bug in a policy checker. Potential bugs include bugs in parsing documents, in signature checking, in checking trust lists, and in the logical evaluation of the policy. This paper focuses on the latter kind of problems and our idea is to validate the logical steps of the trust decision by another, complementary method. We have implemented this for the Trust Policy Language of the LIGHTest project and we use the completely independently developed FOL theorem prover RP_X as a complementary method.
  • Zeitschriftenartikel
    Anchoring Symbols to Percepts in the Fluent Calculus
    (KI - Künstliche Intelligenz: Vol. 25, No. 1, 2011) Fichtner, Matthias
    The knowledge representation of an embodied, intelligent, cognitive agent typically relies on symbols denoting objects of the world on the top level and perceptual, structured data on the bottom level. The process of determining and maintaining the correct connection between a symbolic object identifier and its perceptual image, both referring to the same physical object, is called symbol anchoring.The dissertation presented here suggests a formal and general approach to the symbol anchoring problem, which enhances previous approaches in terms of generality and expressiveness.
  • Zeitschriftenartikel
    The Tweety Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation
    (KI - Künstliche Intelligenz: Vol. 31, No. 1, 2017) Thimm, Matthias
    Tweety is a collection of Java libraries that provides a general interface layer for doing research in and working with different knowledge representation formalisms such as classical logics, conditional logics, probabilistic logics, and computational argumentation. It is designed in such a way that tasks like representing and reasoning with knowledge bases inside the programming environment are realizable in a common manner. Furthermore, Tweety contains libraries for dealing with agents, multi-agent systems, and dialog systems for agents, as well as belief revision, preference reasoning, preference aggregation, and action languages. A series of utility libraries that deal with e. g. mathematical optimization complement the collection.