• DocumentCode
    389544
  • Title

    Reasoning about knowledge and causality

  • Author

    Mokhtari, Aïcha ; Nasri, Abdeslam

  • Author_Institution
    Departement d´´Informatique, USTHB, Alger, Algeria
  • Volume
    3
  • fYear
    2002
  • fDate
    6-9 Oct. 2002
  • Abstract
    This paper proposes a new formalism, CTOL, resulting from the integration of OL-nonmonotonic logic of only knowing which models the agent´s static knowledge when isolated from his/her environment- into CT -the causal theory based on the idea that nonmonotonic deduction must be modeled naturally by giving certain norms in the world. Thereby we provide a framework to reason about knowledge and causality.
  • Keywords
    formal logic; knowledge representation; nonmonotonic reasoning; software agents; CTOL; OL-nonmonotonic logic; agent static knowledge; causal theory; causality; knowledge representation; nonmonotonic deduction; only knowing; reasoning about knowledge; Calculus; Context awareness; Context modeling; Knowledge representation; Logic; Sliding mode control;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Systems, Man and Cybernetics, 2002 IEEE International Conference on
  • ISSN
    1062-922X
  • Print_ISBN
    0-7803-7437-1
  • Type

    conf

  • DOI
    10.1109/ICSMC.2002.1176102
  • Filename
    1176102
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=389544