Automatic theorem proving and fuzzy situational search for decisions
type: Item
instance of: scholarly article
title: Automatic theorem proving and fuzzy situational search for decisions
zbMATH Open document ID: 1034.68083
DOI: 10.1023/A:1012725620069
author: Yu. Ya. Samokhvalov
published in: Cybernetics and Systems Analysis
publication date: 2003-09-09T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1978441
zbMATH Keywords: automatic theorem proving
zbMATH Keywords: fuzzy logic
zbMATH Keywords: control over organizational systems
zbMATH Keywords: verbal description of data
zbMATH Keywords: quantitative approach to linguistic problems
zbMATH Keywords: membership function
zbMATH Keywords: linguistic recognition of situations
zbMATH Keywords: planning in systems of organizational control
zbMATH Keywords: situational search for decisions
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1978441