Semantic formalization of interactive reasoning functionality

DOI10.1002/INT.10043MaRDI QIDQ4785094zbMATH OpenOpenAlexFDO

Authors Jan Treur

Publication date 17 December 2002

Published in International Journal of Intelligent Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/int.10043

zbMATH Keywords

functionality descriptioninteractive reasoning process

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• Formal semantics of meta-level architectures: Dynamic control of reasoning
• A functional logic for higher level reasoning about computation
• Foundations of a functional approach to knowledge representation
• On the functional completeness of argumentation semantics

Cites work

• Executable temporal logic for non-monotonic reasoning
• Heuristic reasoning and relative incompleteness
• Input/output logics
• Prolegomena to a theory of mechanized formal reasoning
• Specification of nonmonotonic reasoning
• Temporal semantics of compositional task models and problem solving methods

Cited in

(3)

• Heuristic reasoning and relative incompleteness
• FUR: Understanding functional reasoning
• scientific article; zbMATH DE number 895659 (Why is no real title available?)

This page was built for publication: Semantic formalization of interactive reasoning functionality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4785094)