first-order logic

collocation in English

meanings of logic

These words are often used together. Click on the links below to explore the meanings. Or, see other collocations with logic.
logic
noun[U]
uk /ˈlɒdʒ.ɪk/ us /ˈlɑː.dʒɪk/
a particular way of thinking, especially one that is reasonable and based on ...
See more at logic

Examples of first-order logic

These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.
The majority of the work in knowledge discovery via evolutionary computation has used various restricted forms of first-orderlogic as a hypothesis language.
In deduction modulo, the notions of language, term and proposition are that of many-sorted first-orderlogic.
We introduce aggregates in the context of many-sorted first-orderlogic.
The problem of set equality is usually formally addressed within first-orderlogic.
A key difference is that the information once lifted is interpreted through relational database queries, while we use first-orderlogic.
However, the reader is expected to be familiar with first-orderlogic although the appendix introduces first-order languages.
We still speak in terms of first-orderlogic even for normal databases, as most of the first-order framework of deductive databases remains applicable.
Higher-order procedures are useful within first-orderlogic programming as a tool to structure programs and build abstractions.
Another difference is that our logic aims to make the best of first-orderlogic with equality to represent general aliasing situations.
In deductive synthesis, a specification is successively transformed using synthesis laws proven in an underlying framework (typically first-orderlogic).
But this semantics is not based on classical first-orderlogic, and its computation model is also not based on resolution.
The logics studied in this setting are typically first-orderlogic endowed with some sort of aggregation operators, which are used to express queries.
In this context of first-orderlogic, we have concentrated on the study of the proofs of quantified formulas.
To this end, we have designed a semantic formalism which strikes a compromise between variable-free slot-filler lists and more powerful representations, such as first-orderlogic.
Though using only a small subset of first-orderlogic, they develop proof systems for a variety of meta-programming tasks including evaluation, type inference and compilation.
These ontologies constitute an integrated model formalised using first-orderlogic.
For instance, in first-orderlogic, there are a class of terms and a class of formulas.
Three knowledge representation schemes are introduced; description logic, first-orderlogic and modal logic, along with an explanation of their expressiveness and computational requirements.
These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.
Want to learn more?
Go to the definition of logic
See other collocations with logic

随便看

反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。