TERMIUM Plus®
The Government of Canada’s terminology and linguistic data bank.
BELIEF PREDICATE [2 records]
Record 1 - internal organization data 2023-04-14
Record 1, English
Record 1, Subject field(s)
- Computer Programs and Programming
- Artificial Intelligence
Record 1, Main entry term, English
- belief predicate
1, record 1, English, belief%20predicate
correct
Record 1, Abbreviations, English
Record 1, Synonyms, English
Record 1, Textual support, English
Record number: 1, Textual support number: 1 CONT
When a given proposition is included in the databases of all the agents, the belief predicates will be omitted... The belief predicate is explicitly specified only when the meta-theory refers to the belief of a specific agent... 2, record 1, English, - belief%20predicate
Record 1, French
Record 1, Domaine(s)
- Programmes et programmation (Informatique)
- Intelligence artificielle
Record 1, Main entry term, French
- prédicat de croyance
1, record 1, French, pr%C3%A9dicat%20de%20croyance
correct, masculine noun
Record 1, Abbreviations, French
Record 1, Synonyms, French
Record 1, Textual support, French
Record 1, Spanish
Record 1, Campo(s) temático(s)
- Programas y programación (Informática)
- Inteligencia artificial
Record 1, Main entry term, Spanish
- predicado de creencia
1, record 1, Spanish, predicado%20de%20creencia
proposal, masculine noun
Record 1, Abbreviations, Spanish
Record 1, Synonyms, Spanish
Record 1, Textual support, Spanish
Record 2 - internal organization data 2023-04-14
Record 2, English
Record 2, Subject field(s)
- Artificial Intelligence
Record 2, Main entry term, English
- closed belief
1, record 2, English, closed%20belief
correct
Record 2, Abbreviations, English
Record 2, Synonyms, English
Record 2, Textual support, English
Record number: 2, Textual support number: 1 CONT
In lambda calculus parlance, a functionally closed belief is called a logical predicate. 1, record 2, English, - closed%20belief
Record 2, French
Record 2, Domaine(s)
- Intelligence artificielle
Record 2, Main entry term, French
- croyance fermée
1, record 2, French, croyance%20ferm%C3%A9e
correct, feminine noun
Record 2, Abbreviations, French
Record 2, Synonyms, French
- croyance close 1, record 2, French, croyance%20close
correct, feminine noun
Record 2, Textual support, French
Record 2, Spanish
Record 2, Textual support, Spanish
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2025
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau
Features
Language Portal of Canada
Access a collection of Canadian resources on all aspects of English and French, including quizzes.
Writing tools
The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.
Glossaries and vocabularies
Access Translation Bureau glossaries and vocabularies.
- Date Modified: