Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Browse All Reviews > Computing Methodologies (I) > Artificial Intelligence (I.2) > Knowledge Representation Formalisms And Methods (I.2.4) > Predicate Logic (I.2.4...)  
 
Options:
 
  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
 
 
 
Display per page
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy