• DocumentCode
    1679342
  • Title

    A Dynamic Boolean Knowledge Base

  • Author

    Goossens, Daniel

  • Author_Institution
    Lab. d´´Inf. Av. de St.-Denis, Univ. Paris 8, St. Denis, France
  • Volume
    1
  • fYear
    2010
  • Firstpage
    227
  • Lastpage
    230
  • Abstract
    This paper presents an implemented architecture for easy conception and reorganization of a Boolean knowledge base. As new definitions are added through seamless interaction, the base spontaneously brings up intermingled taxonomies of concepts, which are crucial for knowledge navigation. Complex constraints may be programmatically added by grounding first-order rules. This is illustrated with an example from elementary school geometry.
  • Keywords
    Boolean algebra; knowledge based systems; complex constraint; dynamic Boolean knowledge base; first-order rule; knowledge navigation; Cognition; Computer architecture; Geometry; Knowledge based systems; Lattices; Navigation; Taxonomy; Boolean reasoning; knowledge navigation; knowledge representation;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Tools with Artificial Intelligence (ICTAI), 2010 22nd IEEE International Conference on
  • Conference_Location
    Arras
  • ISSN
    1082-3409
  • Print_ISBN
    978-1-4244-8817-9
  • Type

    conf

  • DOI
    10.1109/ICTAI.2010.40
  • Filename
    5670039
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1679342