Semantic formalization of interactive reasoning functionality

DOI10.1002/int.10043zbMath1016.68109OpenAlexW2109210471MaRDI QIDQ4785094

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

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

Cites Work

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

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