Topic
Negation
About: Negation is a research topic. Over the lifetime, 5503 publications have been published within this topic receiving 95766 citations. The topic is also known as: negation & logical complement.
Papers published on a yearly basis
1 / 2
Papers
[...]
TL;DR: It is shown that when the clause data base and the queries satisfy certain constraints, which still leaves us with a data base more general than a conventional relational data base, the query evaluation process will find every answer that is a logical consequence of the completed data base.
Abstract: A query evaluation process for a logic data base comprising a set of clauses is described. It is essentially a Horn clause theorem prover augmented with a special inference rule for dealing with negation. This is the negation as failure inference rule whereby ~ P can be inferred if every possible proof of P fails. The chief advantage of the query evaluator described is the effeciency with which it can be implemented. Moreover, we show that the negation as failure rule only allows us to conclude negated facts that could be inferred from the axioms of the completed data base, a data base of relation definitions and equality schemas that we consider is implicitly given by the data base of clauses. We also show that when the clause data base and the queries satisfy certain constraints, which still leaves us with a data base more general than a conventional relational data base, the query evaluation process will find every answer that is a logical consequence of the completed data base.
2,322 citations
Book•
1 Jan 1982
TL;DR: The authors provide methodological preliminaries to discourse pragmatics, such as negation pronouns and grammatical agreement definiteness and referentiality, for simple sentences, subject, object and transitivity.
Abstract: Background methodological preliminaries - communicative function and syntactic structure word classes simple sentences - predications and case-roles case-marking typology - subject, object and transitivity word-order typology information-theoretic preliminaries to discourse pragmatics tense-aspect-modality negation pronouns and grammatical agreement definiteness and referentiality.
1,861 citations
1,811 citations
TL;DR: An approach for reasoning about events and time within a logic programming framework where the notion of event is taken to be more primitive than that of time and both are represented explicitly by means of Horn clauses augmented with negation by failure.
Abstract: We outline an approach for reasoning about events and time within a logic programming framework. The notion of event is taken to be more primitive than that of time and both are represented explicitly by means of Horn clauses augmented with negation by failure. The main intended applications are the updating of databases and narrative understanding. In contrast with conventional databases which assume that updates are made in the same order as the corresponding events occur in the real world, the explicit treatment of events allows us to deal with updates which provide new information about the past. Default reasoning on the basis of incomplete information is obtained as a consequence of using negation by failure. Default conclusions are automatically withdrawn if the addition of new information renders them inconsistent. Because events are differentiated from times, we can represent events with unknown times, as well as events which are partially ordered and concurrent.
1,675 citations
TL;DR: Ayer as mentioned in this paper defines, explains, and argues for the verification principle of logical positivism, and explains how the principle of verifiability may be applied to the problems of philosophy.
Abstract: Classic introduction to objectives and methods of schools of empiricism and linguistic analysis, especially of the logical positivism derived from the Vienna Circle, [i]Language, Truth, and Logic[/i] is a work of philosophy by Alfred Jules Ayer, published in 1936 when Ayer was only 26 (though it was in fact completed by age 24). It was crucial in bringing some of the ideas of the Vienna Circle and the logical empiricists to the attention of the English-speaking world. – This book defines, explains, and argues for the verification principle of logical positivism, sometimes referred to as the "criterion of significance" or "criterion of meaning". It explains how the principle of verifiability may be applied to the problems of philosophy. – Eight chapters: – I. The Elimination of Metaphysics; – II. The Function of Philosophy; – III. The Nature of Philosophical Analysis; – IV. The [i]A Priori[/i]; – V. Truth and Probability; – VI. Critique of Ethics and Theology; – VII. The Self and the Common World; – VIII. Solutions of Outstanding Philosophical Disputes.� M.-M. V.
1,420 citations
Related Topics (5)
Performance Metrics
| Year | Papers |
|---|---|
| 2026 | 8 |
| 2025 | 237 |
| 2024 | 295 |
| 2023 | 597 |
| 2022 | 888 |
| 2021 | 267 |