Results 251 to 260 of about 261,741 (294)

KGMP: Augmenting retrieval knowledge graph with multi-hop perceptron. [PDF]

open access: yesPLoS One
Yang Z   +6 more
europepmc   +1 more source

Models, semantics and logical truth

Linguistics and Philosophy, 1988
To gauge the success of a model-theoretic semantics, we generally look first to the set of logical truths it produces, to the sentences that turn up true in all models. If we've got things right, these sentences ought to conform fairly well to our pretheoretic intuitions about the logical or analytic truths of the language in question.
openaire   +2 more sources

Disjunctive logic programming and possible model semantics

1998
We use Kripke structures of autoepistemic logic to classify various semantics for disjunctive logic programs with default negation. We have observed that nonmonotonic reasoning can be characterized by Kripke structures whose beliefs are justified. We also observed that two different types of negative introspection in autoepistemic reasoning present two
Li-Yan Yuan, Jia-Huai You, Randy Goebel
openaire   +1 more source

Semantic Web Model and Reasoning Based on F-logic

International Journal of Advancements in Computing Technology, 2012
In order to model context in pervasive computing environments, and support logic-based context reasoning, a core ontology modeling framework for OWL-S(Ontology Web Language for Services) and a reasoning mechanism using F-logic are proposed in this paper. It analyzes the construction of OWLS model type, gives F-logic axioms, derivation rules and methods
Tao He -   +3 more
openaire   +1 more source

Logical omniscience, semantics, and models of belief

Computational Intelligence, 1988
Logical omniscience may be described (roughly) as the state of affairs in which an agent explicitly believes anything which is logically entailed by that agent's beliefs. It is widely agreed that humans are not logically omniscient, and that an adequate formal model of belief, coupled with a correct semantic theory, would not entail logical omniscience.
openaire   +1 more source

Home - About - Disclaimer - Privacy