|
Browse All Reviews > Computing Methodologies (I) > Artificial Intelligence (I.2) > Knowledge Representation Formalisms And Methods (I.2.4) > Predicate Logic (I.2.4...)
|
|
|
|
|
|
|
|
|
1-9 of 9
Reviews about "Predicate Logic (I.2.4...)":
|
Date Reviewed |
|
Formalization of the resolution calculus for first-order logic Schlichtkrull A. Journal of Automated Reasoning 61(1-4): 455-484, 2018. Type: Article
Are you interested in proof assistants in which human experts guide automatic theorem provers to verify subgoals? The paper focuses on research dedicated to a theoretical aim: applying a special proof assistant to produce human-readabl...
|
Oct 26 2018 |
|
Probabilistic propositional logic Guggenheimer H., Polytechnic University, Brooklyn, NY, 1987. Type: Book
The abstract of this paper begins “the object of this work is the presentation of a mathematically sound basis for the application of the mathematical theory of probability to propositional logic as used in artificial intelli...
|
Jan 1 1989 |
|
A first-order conditional logic for prototypical properties Delgrande J. Artificial Intelligence 33(1): 105-130, 1987. Type: Article
This paper presents a logical system for representing knowledge about defaults and prototypical properties. A proof theory and semantics are provided for the system, and the soundness and completeness of the system are proved. The logi...
|
Sep 1 1988 |
|
Test-score semantics as a basis for a computational approach to the representation of meaning Zadeh L. (ed) Literary & Linguistic Computing 1(1): 24-35, 1986. Type: Article
Test-score semantics provides a representational scheme for statements such as, “Over the past few years, Stan made a lot of money.” Because of the presence of terms such as “few” and “...
|
Aug 1 1987 |
|
A syntactic theory of belief and action Haas A. Artificial Intelligence 28(3): 245-292, 1986. Type: Article
The theory, avoiding any notion of possible worlds, assumes that beliefs are sentences of first-order logic stored in the agent’s head. The standard first-order language used contains its own truth predicate (applicable to se...
|
May 1 1987 |
|
Comprehension by model-building as a basis for an expert system Cunningham J. Expert systems 85 (, Univ. of Warwick, Warwick, UK, 2721986. Type: Proceedings
This paper suggests that building models in a sorted first-order logic may be a useful inference mechanism in expert systems. Several kinds of inference that need to be performed in expert systems are presented, along with a discussion...
|
Apr 1 1987 |
|
Symbolic normalized acquisition and representation of knowledge Bouchon B., Laurière J. Information Sciences 37(1-3): 85-94, 1985. Type: Article
The authors describe a declarative language for expert systems using natural deduction and for addressing the problem of uncertainty. The authors’ desire to develop a non-resolution theorem prover for expert systems is a usef...
|
Nov 1 1986 |
|
Probabilistic logic Nilsson N. (ed) Artificial Intelligence 28(1): 71-88, 1986. Type: Article
Many expert systems make use of some form of confidence factors in order to deal with uncertain information. However, the methods used to combine these factors in the process of reasoning are usually ad hoc and devoid of any theoretica...
|
Sep 1 1986 |
|
Modeling production rules by means of predicate transition networks Giordana A., Saitta L. Information Sciences 35(1): 1-41, 1985. Type: Article
Predicate transition networks are presented as graphical models of production rules. Nodes called places represent predicates, and nodes called transitions allow interconnection among places so that the production rules can be programm...
|
Oct 1 1985 |
|
|
|
|
|
|