Abductive inference methods in problems of job planning in complex objects

DOI10.1134/S1064230710050126zbMath1269.68091MaRDI QIDQ357155

V. N. Vagin, K. Ju. Khotimchuk

Publication date: 30 July 2013

Published in: Journal of Computer and Systems Sciences International (Search for Journal in Brave)

zbMATH Keywords

abductive inferenceassumption-based truth maintenance systemsjob planning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Logical method for predicting situation development based on abductive inference

Cites Work

• Unnamed Item
• Unnamed Item
• A generic ATMS
• A logic for default reasoning
• Linear resolution with selection function