Logics in artificial intelligence

Más información sobre el libro

The book features a comprehensive collection of invited talks and technical papers that explore various aspects of logic programming, data mining, and reasoning. Topics include the transition from inductive logic programming to relational data mining, the use of Answer Set Programming for search problems, and the handling of inconsistencies in ontologies. Key discussions cover selection strategies for basic superposition, event-condition-action logic programming, and distance-based database repairs. Theoretical frameworks such as natural deduction calculus for linear-time temporal logic and STIT extensions of ATL are examined. The book also addresses decidable fragments of logic programming, reinstatement issues in argumentation, and the comparison of action descriptions based on semantic preferences. Modal logics related to negotiation and preference, as well as numeric-valued fluents in action domains, are analyzed. It includes methods for deciding extensions of the theory of arrays and presents analytic tableau calculi for KLM rational logic. Practical tools for agent deliberation, answering queries on action descriptions, and recognizing rule replacements in answer-set programs are discussed, alongside implementations for various reasoning tasks. The collection serves as a valuable resource for researchers and practitioners interested in the intersection of logic, computation, and artificial intelligence.