formally defined problem
[/ˈfɔːrməli dɪˈfaɪnd ˈprɒbləm/]
noun phrasepl: formally defined problems
problema formalmente definido
1. A problem that has been precisely specified with clear objectives, constraints, and parameters using formal mathematical or logical notation, leaving no ambiguity about what needs to be solved
In artificial intelligence research, a formally defined problem includes a precise state space, initial state, and goal state.
Na pesquisa de inteligência artificial, um problema formalmente definido inclui um espaço de estados preciso, um estado inicial e um estado objetivo.
2. A problem statement expressed with rigorous mathematical or computational formalism that can be implemented or analyzed algorithmically
The traveling salesman problem is a formally defined problem in combinatorial optimization.
O problema do caixeiro viajante é um problema formalmente definido em otimização combinatória.
This term is primarily used in academic, scientific, and computational contexts in both English-speaking and Portuguese-speaking countries. It reflects the importance of precision in mathematics, computer science, and engineering disciplines. In Brazil, the term is widely used in graduate programs and research institutions focused on artificial intelligence, operations research, and computer science.
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →