STRUCTURED DOCUMENT LOGIC

This paper describes some practical and theoretical foundations of Structured Document Logic (SDL), which is a logical methodology for analyzing properties of Web documents, like XML or HTML. SDL can make benefits in searching of HTML pages, or in defining filters for web documents. Both syntax and semantics of SDL are described, and an efficient evaluation algorithm is also introduced

A logic-based approach for adaptive information filtering agents

Adaptive information filtering agents have been developed to alleviate the problem of information overload on the Internet. However, the explanatory power and the learning autonomy of these agents can be improved. Applying a logic-based framework for representation, learning, and matching in adaptive information filtering agents is promising since users' changing information needs can automatically be deduced by the agents. In addition, the inferred changes can be explained and justified based on formal deduction. This paper examines how the AGM belief revision logic can be applied to the learning processes of these agents